631 search results - page 4 / 127 » An Integrated Formal Model of Scenarios Based on Statecharts |
TCBB
2008
13 years 7 months ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
ISSRE
2000
IEEE
13 years 11 months ago
2000
IEEE
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
ROOM
2000
13 years 8 months ago
2000
For the specification of object-oriented systems, usually several models representing different views are developed. The necessary integration of views is often delayed until impl...
DAGSTUHL
2003
13 years 8 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
IFM
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. We report on the notation and tool integration framework developed in the application-oriented research project Espress. The framework is based on a Z core and provides m...