Formal incremental requirements specification of service-oriented automotive software systems

Proceedings - Second IEEE International Symposium on Service-Oriented System Engineering, SOSE 2006

Volumn , Issue , 2006, Pages 130-133

  Hartmann, J ^a   Rittmann, S ^a   Wild, D ^a   Scholz, P ^b  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b Fachhochschule Landshut   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL INCREMENTAL REQUIREMENTS; FORMAL SERVICE DESCRIPTION LANGUAGE; PRECONDITIONS; SOFTWARE SYSTEMS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LANGUAGES; REQUIREMENTS ENGINEERING; WEB SERVICES;

SOFTWARE ARCHITECTURE;

EID: 35048855563     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SOSE.2006.16     Document Type: Conference Paper

References (6)

1. L. de Alfaro and T. A. Henzinger: Interface automata. Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE), ACM Press, 2001, pp. 109-120.
2. M. Broy: Service-Oriented Systems Engineering: Specification and Design of Services and Layered Architectures - The Janus Approach. In: Engineering Theories of Software Intensive Systems, pp. 47-81. Springer, 2005.
3. M. Broy and K. Stolen: Specification and Development of Interactive Systems: FOCUS on Streams, Interfaces, and Refinement. Springer, 2001.
4. J. Hartmann, S. Rittmann, P. Scholz, and D. Wild: A compositional approach for functional requirement specifications of automotive software systems. Accepted at the International Workshop on Automotive Requirements Engineering (AuRE), 2006.
5. C. Heitmeyer, M. Archer, R. Bharadwaj, and R. Jeffords: Tools for constructing requirements specifications: The SCR toolset at the age often, International Journal of Computer Systems Science and Engineering, 20(1), January 2005, pp. 19-35.
6. R. Schlör and W. Damm: Specification and Verification of System-level Hardware designs using Timing Diagrams, Proc. IEEE EDAC-EuroASIC'93, Paris (France), Feb. 1993, pp. 518-524.