Programming in MODULA-2 (3rd corrected ed.)
Programming in MODULA-2 (3rd corrected ed.)
The C++ programming language
Initial computability, algebraic specifications, and partial algebras
Initial computability, algebraic specifications, and partial algebras
Parameterized programming in OBJ2
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Multivalued dependencies and a new normal form for relational databases
ACM Transactions on Database Systems (TODS)
Practical Application of IDEF1 as a Database Development Tool
Proceedings of the First International Conference on Data Engineering
Onion: a development methodology for data-dominant systems
Onion: a development methodology for data-dominant systems
Hi-index | 0.00 |
This paper describes the Onion development methodology for building data-dominant systems, i.e., systems where the primary concern is the integrity of the data store. Onion shows how to identify, specify, and implement a hierarchy of abstract data types (ADTs) as building blocks, based on an IDEF1 conceptual data model. Also, Onion shows how the building blocks can be used to synthesize system-level operations. The ADTs are specified algebraically and implemented in a language that supports ADTs, such as Ada. The methodology is illustrated using a library information system as an example.