Reconciling operational and declarative specifications
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 221-238
- https://doi.org/10.1007/bfb0035134
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Declarative approach to information systems requirementsKnowledge-Based Systems, 1988
- The INFOLOG linear tense propositional logic of events and transactionsInformation Systems, 1986
- A requirements modeling language and its logicInformation Systems, 1986