Identifying Extended Entity-Relationship Object Structures in Relational Schemas
IEEE Transactions on Software Engineering
The Z notation: a reference manual
The Z notation: a reference manual
Measuring usability: preference vs. performance
Communications of the ACM
Mathematical Notation in Formal Specification: Too Difficult for the Masses?
IEEE Transactions on Software Engineering
A relational algebraic framework for VHDL models management
Transactions of the Society for Computer Simulation International
Synthesizing third normal form relations from functional dependencies
ACM Transactions on Database Systems (TODS)
IEEE Software
Blending Imperative and Relational Programming
IEEE Software
Converting Relational Database into XML Document
DEXA '01 Proceedings of the 12th International Workshop on Database and Expert Systems Applications
Constraint animation using an object-oriented declarative language
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
| Hi-index | 0.00 |
Literature has established the effectiveness of formal specifications for modeling specifications for computer system properties as well as for verifying program correctness. However, tools that can enable the typical commercial software developer to utilize formal methods are not in widespread use. A possible reason for this is that commercial tools can more easily be produced if industry-standard storage mechanisms such as relational database management systems (RDBMS) can be leveraged as repositories. This paper explores how to model and store formal specifications, specifically those based on the Zed method, in a relational database. We explore a technique for fully decomposing the predicate calculus to a relational database to provide a framework for manipulation and reverse generation of formal specifications and automating the implementation of relational states.