532 search results - page 97 / 107 » The UML as a Formal Modeling Notation |
JOT
2008
13 years 7 months ago
2008
All readers of this paper most likely have knowledge of the software requirements discipline and of the use case notation, however not everyone is aware that with the progress of ...
ASE
2004
13 years 7 months ago
2004
er is concerned with an abstract exploration of code mobility constructs designed for use in settings where the level of granularity associated with the mobile units exhibits sign...
ISN
1999
Springer
13 years 12 months ago
1999
Springer
The ACTS FlowThru project aims to build a management system which supports the flow of management information across organisational and technological domains by reusing components ...
STTT
2010
13 years 6 months ago
2010
Kermeta is a meta-language for specifying the structure and behavior of graphs of interconnected objects called models. In this paper, we show that Kermeta is relatively suitable f...
FASE
2001
Springer
14 years 3 days ago
2001
Springer
Abstract. UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level,...