853 search results - page 15 / 171 » A supporting system for verification among models of the UML |
APSEC
2004
IEEE
13 years 11 months ago
2004
IEEE
Existing ADLs (Architecture Description Languages) have an advantage of formally specifying the architecture of component-based systems. But ADLs have not come into extensive use ...
UML
2000
Springer
13 years 11 months ago
2000
Springer
The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it's support for building interactive systems is still acknowledged ...
ICSE
2001
IEEE-ACM
14 years 5 days ago
2001
IEEE-ACM
Design traceability has been widely recognized as being an integral aspect of software development. In the past years this fact has been amplified due to the increased use of lega...
UML
2001
Springer
14 years 4 days ago
2001
Springer
: This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It...
ASM
2008
ASM
13 years 9 months ago
2008
ASM
UML-B provides a graphical front end for Event-B. It adds support for class-oriented and state machine modelling. UML-B is similar to UML but has its own meta-model. UML-B provides...