Specifying embedded systems with statecharts and Z: An agenda for cyclic software components

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

Volumn 1382, Issue , 1998, Pages 88-106

  Grieskamp, Wolfgang ^a   Heisel, Maritta ^b   Dörr, Heiko ^c  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b OTTO VON GUERICKE UNIVERSITY   (Germany)

^c DAIMLER AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; FORMAL SPECIFICATION; SAFETY ENGINEERING; SPECIFICATION LANGUAGES;

CASE-STUDIES; FORMAL SPECIFICATION TECHNIQUES; FORMAL TECHNIQUES; QUALITY OF SOFTWARES; SAFETY CRITICAL SYSTEMS; SAFETY-CRITICAL EMBEDDED SYSTEMS; SOFTWARE COMPONENT; VALIDATION CRITERIA;

EMBEDDED SYSTEMS;

EID: 84957050646     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053585     Document Type: Conference Paper

References (17)

1. E. Astesiano and G. Reggio. Formalism and Method. In M. Bidoit and M. Dauchet, editors, Proc. TAPSOFT'97, LNCS 1214, pages 93-114. Springer-Verlag, 1997.
2. R. Büssow, H. Dörr, R. Geisler, W. Grieskamp, and M. Klax. μSZ-ein Ansatz zur systematischen Verbindung von Z und Statecharts. Technical Report TR 96-32, Technische Universitãt Berlin, 1996.
3. R. Büssow, R. Geisler, and M. Klar. Specifying safety-critical embedded systems with statecharts and Z: a case study, this volume, 1997.
4. Robert Büssow and Wolfgang Grieskamp. Combinig Z and temporal interval logics for the formalization of properties and behaviors of embedded systems. In R. K. Shyamasundar and K. Ueda, editors, Advances in Computing Science-Asian '97, volume 1345 of LNCS, pages 46-56. Springer-Verlag, 1997.
5. E. Gamma, R. Helm, R. Johnson, and Vlissides. J. Design Patterns-Elements of Reusable Object-Oriented Software. Addison Wesley, Reading, 1995.
6. P. Garg and M. Jazayeri. Process-centered software engineering environments: A grand tour. In A. Fuggetta and A. Wolf, editors, Software Process, number 4 in Trends in Software, chapter 2, pages 25-52. Wiley, 1996.
7. D. Haxel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. Statemate: A working environment for the development of complex reactive systems. IEEE TSE, 16 No. 4, April 1990.
8. M. Heisel. Methodology and Machine Support for the Application of Formal Techniques in Software Engineering. Habilitation Thesis, TU Berlin, 1997.
9. M. Heisel and C. Sühl. Methodological support for formally specifying safety-critical software. In P. Daniel, editor, Proceedings 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP), pages 295-308. Springer-Verlag London, 1997.
10. Maxitta Heisel. Agendas-a concept to guide software development activites. In Proc. Systems Implementation 2000, 1998. to appear.
11. C. Heitmeyer, R. Jeffords, and B. Lebaw. Automated consistency checking of requirements specifications. ACM Transactions on Software Engineering and Methodology, 5(3): 231-261, July 1996.
12. K. Huff. Software process modelling. In A. Fuggetta and A. Wolf, editors, Software Process, number 4 in Trends in Software, chapter 2, pages 1-24. Wiley, 1996.
13. Kolyang, T. Santen, and B. Wolff. A structure preserving encoding of Z in Is-abelle/HOL. In J. von Wright, J. Grundy, and J. Harrison, editors, Theorem Proving in Higher-Order Logics, LNCS 1125. Springer-Verlag, 1996.
14. M. Shaw and D. Garlan. Software Architecture. IEEE Computer Society Press, Los Alamitos, 1996.
15. Jeanine Souquières and Nicole Levy. Description of specification developments. In Proc. of Requirements Engineering '93, pages 216-223, 1993.
16. J. M. Spivey. The Z Notation-A Reference Manual. Prentice Hall, 1992.
17. J. B. Wordsworth. Software Development with Z. Addison-Wesley, 1992.