Integrating Semi-formal and Formal Software Specification Techniques

Wieringa, Roel and Dubois, Eric (1998) Integrating Semi-formal and Formal Software Specification Techniques. Information Systems, 23 (3-4). pp. 159-178. ISSN 0306-4379

PDF
Restricted to UT campus only: Request a copy
1600Kb

Abstract:	In this paper, we report on the integration of informal, semiformal and formal system specification techniques. We present a framework for system specification called TRADE, within which several well-known semiformal specification techniques are placed. TRADE is based on an analysis of structured and object-oriented requirements specification methods. In this paper, we combine TRADE with the logic-based specification language Albert II and show that this leads to a coherent formal and semiformal requirements specification. We illustrate our approach with examples taken from a large distributed telecommunication application case study, performed in the context of the Esprit project 2RARE.
Item Type:	Article
Copyright:	© 1998 Elsevier
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Information Systems (IS)
Link to this item:	http://purl.utwente.nl/publications/61832
Official URL:	http://dx.doi.org/10.1016/S0306-4379(98)00007-6
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 118599