Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern

R. Gotzhein, M. Kronenburg, C. Peper

5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'98), LNCS 1486, Springer 1998, pp. 65-74

Abstract

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 specication using real-time temporal logic. Finally, we motivate and illustrate the reuse potential of requirement specications by a diverse collection of examples.

Full paper

ps.gz (65kb)

	Superordinated page: Year 1998

	Feedback
	Go to the contact details of the person in charge of this page

	Deutsch
	This page in german. Diese Seite auf deutsch.