Designing Hierarchical State Machines Using Frame Notation
Discover Frame, a textual markdown language for system design that enables quickly specifying system behavior as automata.
Lightweight Software Modeling with JetUML
JetUML lets you quickly sketch informal UML diagrams that you can easily integrate in other documents. Use the full power of UML only when you really need it.
Incremental verification of software models
If we want software verification techniques to be more adopted in the industry, we need to move to incremental verification approaches, where we reuse previous analysis to avoid reevaluating the whole model every time it is modified.
Towards the Optical Character Recognition of DSLs
We propose a few techniques to improve the quality of OCR over DSLs. The key idea is to use information about the DSL specification (e.g. lexicon, grammar) itself to drive the recognition process.
Automatic Generation of Workflow-Aware Domain Models
A lightweight approach to generate domain models that automatically respect and enforce your business process definition
Automatic Generation of Behavioural Scripts from UML sequence diagrams
Specification of sequence diagrams is not easy. They are more complex than they appear to be and support provided by most UML modeling tools is often limited (e.g. no advanced checking).
Modeling: all you need to know
