ALBERT: A formal language and its supporting tools for requirements engineering
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 322-325
- https://doi.org/10.1007/bfb0053600
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Integrating semi-formal and formal software specification techniquesInformation Systems, 1998
- On the use of a formal requirements engineering language: The Generalized Railroad Crossing ProblemRequirements Engineering, 1997