Formal specification – an analytic tool for (management) information systems
- 1 April 1992
- journal article
- Published by Wiley in Information Systems Journal
- Vol. 2 (2) , 121-160
- https://doi.org/10.1111/j.1365-2575.1992.tb00071.x
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Seven myths of formal methodsIEEE Software, 1990
- Electronic data interchange: How much competitive advantage?Long Range Planning, 1990
- The Malpractice MessPostgraduate Medicine, 1989
- A spiral model of software development and enhancementComputer, 1988
- The applicability of software engineering in information systems developmentInformation & Management, 1987
- The application of formal methods to the assessment of high integrity softwareIEEE Transactions on Software Engineering, 1986
- Applying Formal Specification to Software Development in IndustryIEEE Transactions on Software Engineering, 1985
- Educational programs in information systemsCommunications of the ACM, 1981
- Software EngineeringIEEE Transactions on Computers, 1976
- Programming with abstract data typesACM SIGPLAN Notices, 1974