1. Preface of “Specification and Validation of Real Time and Embedded systems in UML”.
- Author
-
Graf, Susanne, Haugen, Oystein, Ober, Ileana, and Selic, Bran
- Subjects
EMBEDDED computer systems ,CONFERENCES & conventions ,COMPUTER software ,COMPUTER systems - Abstract
The ideas of the papers in this special section have originally been presented at the first edition of the workshop on Specification and Validation of Real Time and Embedded Systems (SVERTS) that was held as a satellite workshop of the UML 2003 Conference in San Francisco. The motivation for initiating this workshop was the fact that UML started to be used more and more also for modelling real-time and embedded software systems, whereas it was lacking features for appropriately modelling this kind of systems. Another motivation was the fact that UML was missing an accepted dynamic semantics, or at least a framework for defining profiles not just in terms of syntax, but also their semantics. The six papers in this section reflect all parts of this problem. [ABSTRACT FROM AUTHOR]
- Published
- 2006
- Full Text
- View/download PDF