TU Darmstadt / ULB / TUbiblio

An Authoring Tool for Informal and Formal Requirements Specifications

Hähnle, Reiner ; Johannisson, Kristofer ; Ranta, Aarne
Kutsche, Ralf-Detlef ; Weber, Herbert (eds.) (2002):
An Authoring Tool for Informal and Formal Requirements Specifications.
In: Lecture Notes in Computer Science, 2306, pp. 233-248, Springer, Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, DOI: 10.1007/3-540-45923-5₁₆,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2002
Editors: Kutsche, Ralf-Detlef ; Weber, Herbert
Creators: Hähnle, Reiner ; Johannisson, Kristofer ; Ranta, Aarne
Title: An Authoring Tool for Informal and Formal Requirements Specifications
Language: German
Series: Lecture Notes in Computer Science
Series Volume: 2306
Publisher: Springer
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Event Title: Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings
Date Deposited: 27 Apr 2018 10:01
DOI: 10.1007/3-540-45923-5₁₆
URL / URN: https://doi.org/10.1007/3-540-45923-5_16
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details