Describing, structuring and implementing objects
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 274-310
- https://doi.org/10.1007/bfb0019447
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Temporal Reasoning over Deontic SpecificationsJournal of Logic and Computation, 1991
- Logics of Modal Terms for Systems SpecificationJournal of Logic and Computation, 1990
- The prescription and description of state based systemsPublished by Springer Nature ,1989
- Specification and verification of database dynamicsActa Informatica, 1988
- The INFOLOG linear tense propositional logic of events and transactionsInformation Systems, 1986
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985
- Verification of Concurrent Programs. Part I. The Temporal Framework,Published by Defense Technical Information Center (DTIC) ,1981
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977
- On the criteria to be used in decomposing systems into modulesCommunications of the ACM, 1972
- Proof of correctness of data representationsActa Informatica, 1972