The Z notation: a reference manual
The Z notation: a reference manual
Information modeling: specification and implementation
Information modeling: specification and implementation
Understanding the differences between VDM and Z
ACM SIGSOFT Software Engineering Notes
A relational model of data for large shared data banks
Communications of the ACM
The Formal Specification of a Small Bookshop Information System
IEEE Transactions on Software Engineering
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
A Formal Semantics for Z and the Link between Z and the Relational Algebra
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
Deriving Relational Database Programs from Formal Specifications
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
Specification and Refinement in an Integrated Database Application Environment
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Generalising the Z Schema Calculus: Database Schemas and Beyond
APSEC '03 Proceedings of the Tenth Asia-Pacific Software Engineering Conference Software Engineering Conference
On the Generation of Object Databases using Booster
ICECCS '06 Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems
A formal approach based on UML and B for the specification and development of database applications
Automated Software Engineering
Information and Software Technology
A formal template language enabling metaproof
FM'06 Proceedings of the 14th international conference on Formal Methods
Hi-index | 0.00 |
Many authors have drawn parallels between the relational model of data and the formal description technique Z, yet none of these contributions have managed to be both close to the relational model in terms of providing a practical means of database design and fully formal in terms of providing an appropriate metamodel. We compare these various formalisms, and suggest how the use of the formal template approach of Amálio et al might help to overcome some of the issues faced. We demonstrate the application of this work via a short case study, and suggest further enhancements to the template language.