Model-based generation of SDL specifications for the early prototyping of reactive systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2599, Issue , 2003, Pages 158-169

  Metzger, Andreas ^a   Queins, Stefan ^b  

^a France   (Germany)

^b SOPHIST GmbH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; ITERATIVE METHODS; REQUIREMENTS ENGINEERING; SOFTWARE DESIGN; SOFTWARE ENGINEERING; VERIFICATION;

DOCUMENT GENERATION; EARLY PROTOTYPING; FORMAL DEVELOPMENT; ITERATIVE DEVELOPMENT; REACTIVE SYSTEM; SOFTWARE DEVELOPMENT PROCESS; SOFTWARE SYSTEMS; VALIDATION AND VERIFICATION;

SOFTWARE PROTOTYPING;

EID: 21144452061     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36573-7_11     Document Type: Article

References (9)

1. Budde, R., Kautz, K., Kuhlenkamp, K. et al.: Prototyping - An Approach to Evolutionary System Development. Springer-Verlag, Berlin Heidelberg New York (1992)
2. Metzger, A., Queins, S.: Specifying Building Automation Systems with PROBAnD, a Method Based on Prototyping, Reuse, and Object-orientation. In: Hofmann, P., Schurr, A. (eds.): OMER - Object-Oriented Modeling of Embedded Real-Time Systems. GI-Edition, Lecture Notes in Informatics (LNI), P-5. Bonner Köln Verlag (2002) 135-140
3. Mahdavi, A., Metzger, A., Zimmermann, G.: Towards a Virtual Laboratory for Building Performance and Control. In: Trappl, R. (ed.): Cybernetics and Systems 2002, Vol. 1. Austrian Society for Cybernetic Studies, Vienna (2002) 281-286
4. Mansurov, N., Vasura, D.: Approximation of (H)MSC semantics by Event Automata. In: Proceedings of the SDL Forum Society International Workshop on SDL and MSC (SAM 2000). Grenoble, France. (2000)
5. Khendek, F., Robert, G., Butler, G. et al.: Implementability of Message Sequence Charts. In: Proceedings of the SDL Forum Society International Workshop on SDL and MSC (SAM '98). Berlin, Germany. (1998)
6. Queins, S.: PROBAnD - Eine Requirements-Engineering-Methode zur systematischen, domänenspezifischen Entwicklung reaktiver Systeme. Dissertation. Department of Computer Science. University of Kaiserslautern (2002)
7. Metzger, A. et al.: PROTAGOnIST - Tools for Iterative Software Development. Web Site. Department of Computer Science. University of Kaiserslautern http://wwwagz.informatik.uni-kl.de/staff/metzger/protagonist/
8. Zimmermann, G.: A New Approach To Building Simulation Based on Communicating Objects. In: Lamberts, R. et al. (eds.): Proceedings of the Seventh International IBPSA Conference, Vol. 2. Rio de Janeiro, Brazil (2001) 707-714
9. Queins, S., Metzger, A.: The PROBAnD Railway Crossing Specification. Contribution to the SDL-2000 Design Contest of the 3rd SDL Forum Society International Workshop on SDL and MSC. Aberystwyth, Wales (2002) http://www.sdl-forum.org/SAM_contest/QueinsMetzger/