Conceptual database design: an Entity-relationship approach
Conceptual database design: an Entity-relationship approach
Understanding the new SQL: a complete guide
Understanding the new SQL: a complete guide
The deductive synthesis of database transactions
ACM Transactions on Database Systems (TODS)
A relational model of data for large shared data banks
Communications of the ACM
Fundamentals of Database Systems
Fundamentals of Database Systems
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
On the Derivation of Executable Database Programs from Formal Specifications
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength 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
An Overview of a Method and its Support Tool for Generating B Specifications from UML Notations
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
ACM SIGSOFT Software Engineering Notes
Information and Software Technology
Translation of Z specifications to executable code: Application to the database domain
Information and Software Technology
Hi-index | 0.00 |
This paper presents a formal approach for the development of trustworthy database applications. This approach consists of three complementary steps. Designers start by modeling applications using UML diagrams dedicated to database applications domain. These diagrams are then automatically translated into B specifications suitable not only for reasoning about data integrity checking but also for the derivation of trustworthy implementations. In this paper, we present a process based on the B refinement technique for the derivation of a SQL relational implementation, embedded in the JAVA language (JAVA/SQL), from a B specification obtained by the first translation phase.