Integrating semi-formal and formal requirements


Share/Save/Bookmark

Wieringa, Roel and Dubois, Eric and Huyts, Sander (1997) Integrating semi-formal and formal requirements. In: 9th International Conference on Advanced Information Systems Engineering, CAiSE 1997, 16-20 June 1997, Barcelona, Spain (pp. pp. 19-32).

[img] PDF
Restricted to UT campus only
: Request a copy
251kB
Abstract:In this paper, we report on the integration of informal, semiformal and formal requirements specification techniques. We present a framework for requirements 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:Conference or Workshop Item
Copyright:© 1997 Springer
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/67606
Official URL:http://dx.doi.org/10.1007/3-540-63107-0_2
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page