Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Towards a formal description of Ada
Towards a formal description of Ada
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
Database description with SDM: a semantic database model
ACM Transactions on Database Systems (TODS)
Extending the database relational model to capture more meaning
ACM Transactions on Database Systems (TODS)
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
Object management in distributed information systems
ACM Transactions on Information Systems (TOIS)
The Denotational Description of Programming Languages: An Introduction
The Denotational Description of Programming Languages: An Introduction
An entity-based database user interface
SIGMOD '80 Proceedings of the 1980 ACM SIGMOD international conference on Management of data
The Vienna Development Method: The Meta-Language
The Vienna Development Method: The Meta-Language
The Integrated Data Model: A Database Perspective
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper)
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
Mapping a semantic database model to the relational model
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
The EXODUS optimizer generator
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Implementation concepts for an extensible data model and data language
ACM Transactions on Database Systems (TODS)
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
A decision-based configuration process model
ICSE '90 Proceedings of the 12th international conference on Software engineering
DAIDA: an environment for evolving information systems
ACM Transactions on Information Systems (TOIS)
An annotated bibliography on object-orientation and deduction
ACM SIGMOD Record
The architecture of the EXODUS extensible DBMS
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
The Iris Architecture and Implementation
IEEE Transactions on Knowledge and Data Engineering
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
| Hi-index | 0.00 |
Formal specifications that precisely and correctly define the semantics of software systems become increasingly important as the complexity of such systems increase. The emerging set of semantic data models which support both structural and operational abstractions are excellent tools for formal specifications. In this paper we introduce a methodology, based on an object-oriented data model, for the design and development of large software systems. The methodology is demonstrated by applying the object-oriented data model to the specification of a database system which implements the given model. The specification serves several purposes: it formally defines the precise semantics of the operations of the data model, it provides a basis from which the corresponding database system software can be systematically derived, and it tests and demonstrates the adequacy of such a model for defining software systems in general. The design methodology introduced combines techniques from data modeling, formal specifications, and software engineering.