Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
The Vienna Development Method: The Meta-Language
The Vienna Development Method: The Meta-Language
Formal Description of Programming Concepts: A Software Engineering Viewpoint
MFCS '80 Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science
A Denotational Definition of the Semantics of DRC, A Domain Relational Calculus
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
Building Data Base Management Systems Through Formal Specification
Proceedings of the International Colloquium on Formalization of Programming Concepts
The VDM Principles of Software Specification and Program Design
Proceedings of the International Colloquium on Formalization of Programming Concepts
Programming in the META-Language: A Tutorial
The Vienna Development Method: The Meta-Language
Formalization of Data Base Models
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Final report of the ANSI/X3/SPARC DBS-SG relational database task group
ACM SIGMOD Record
A data modeling methodology for the design and implementation of information systems
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
Heterogeneous Databases: Proliferations, Issues, and Solutions
IEEE Transactions on Knowledge and Data Engineering
Language Support for Office Modelling
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
An informal approach to formal specifications
ACM SIGMOD Record
An informal approach to formal specifications
ACM SIGMOD Record
| Hi-index | 0.00 |