Steps towards a method for the formal modeling of dynamic objects
- 31 October 1991
- journal article
- Published by Elsevier in Data & Knowledge Engineering
- Vol. 6 (6) , 509-540
- https://doi.org/10.1016/0169-023x(91)90026-t
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- On visual formalismsCommunications of the ACM, 1988
- Species concepts, individuality, and objectivityBiology & Philosophy, 1987
- Data model issues for object-oriented applicationsACM Transactions on Information Systems, 1987
- An overview of JSDIEEE Transactions on Software Engineering, 1986
- Object-oriented developmentIEEE Transactions on Software Engineering, 1986
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985
- Process algebra for synchronous communicationInformation and Control, 1984
- Extending the database relational model to capture more meaningACM Transactions on Database Systems, 1979
- The entity-relationship model—toward a unified view of dataACM Transactions on Database Systems, 1976
- THE EFFECT OF ESSENTIALISM ON TAXONOMY—TWO THOUSAND YEARS OF STASIS (I)The British Journal for the Philosophy of Science, 1965