Integrating semi-formal and formal software specification techniques
- 1 May 1998
- journal article
- Published by Elsevier in Information Systems
- Vol. 23 (3-4) , 159-178
- https://doi.org/10.1016/s0306-4379(98)00007-6
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- STATEMATE: a working environment for the development of complex reactive systemsIEEE Transactions on Software Engineering, 1990
- The entity-relationship model—toward a unified view of dataACM Transactions on Database Systems, 1976