AG Vernetzte Systeme Publikationen Jahr 1998 GoKrPe98a

 

R. Gotzhein, M. Kronenburg, C. Peper

SFB 501 Report 08/1998, Department of Computer Sciences, University of Kaiserslautern, Germany, 1998

Zusammenfassung

We apply a reuse approach to formally specify system requirements. The approach is based on requirement patterns, which are related to design patterns well-known in object-oriented software development. The focus of this paper is on the application-driven discovery of an interesting, non-trivial real-time requirement pattern, and its subsequent application. In particular, we demonstrate how a given natural language requirement for a real-time system has been transformed into a precise and concise formal specification using real-time temporal logic, with detailed justification of each step. Also, we stress the use of tailored logical (real-time) operators. Finally, we motivate and illustrate the reuse potential of requirement specifications by a diverse collection of examples.

---

	Übergeordnete Seite: Jahr 1998

	Feedback
	Zu den Kontaktdetails des Verantwortlichen dieser Seite

	English
	This page in english. Diese Seite auf englisch.