A method of refinement in UML-B
UML-B is a 'UML-like' graphical front-end for Event-B that provides support for object-oriented and state machine modelling concepts, which...
A pattern-based approach for improving model quality
UML class diagrams play a central role in modeling activities, and it is essential that class diagrams keep their...
Metamodel specialization for graphical language support
Most of current modeling languages are based on graphical diagrams. The concrete graphical syntax of these languages typically is...
A powertype-based metamodelling framework
Software development methodologies may be described in the context of an underpinning metamodel, but the precise mechanisms that permit...
Automatic generation of UML profile graphical editors for Papyrus
UML profiles offer an intuitive way for developers to build domain-specific modelling languages by reusing and extending UML concepts....
Automated formal verification of visual modeling languages by model checking
Graph transformation has recently become more and more popular as a general, rule-based visual specification paradigm to formally capture...
Formalization of UML state machines using temporal logic
The main purpose of this paper is to approach the use of formal methods in computing. In more specific...
Modeling learning technology systems as business systems
The design of Learning Technology Systems, and the Software Systems that support them, is largely conducted on an intuitive,...
Dinosaur meets Archaeopteryx? or: Is there an alternative for Rational’s Unified Process?
Since 1999, Rational's Unified Process (RUP) is being offered as a guideline for software projects using the Unified Modeling...
SAMM: an architecture modeling methodology for ship command and control systems
Ship command and control systems (SCCSs) are composed of large-scale, complex, real-time and software-intensive systems that complete tasks collaboratively....
