Deriving relational database programs from formal specifications-Reference-Cited by-同舟云学术

Deriving relational database programs from formal specifications

Published:1994 Issue: Volume: Page:703-723
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Barros Roberto S. M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58555-9_123.pdf

Reference19 articles.

1. Date C. J. An Introduction to Database Systems, volume 1. Addison-Wesley, Reading, Massachusetts, USA, fifth edition, 1990.

2. Codd E. F. “A Relational Model of Data for Large Shared Data Banks”. Communications of the ACM, 13(6):377–387, June 1970.

3. Spivey J. M. The Z Notation: A Reference Manual. Prentice Hall International (UK) Ltd., Hemel Hempstead, UK, second edition, 1992.

4. Potter B. F., Sinclair J. E., and Till D. An Introduction to Formal Specification and Z. Prentice Hall International (UK) Ltd., Hemel Hempstead, UK, 1991.

5. Workshops in Computing series;R. S. M. Barros,1992

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal relational database design: an exercise in extending the formal template language;Formal Aspects of Computing;2014-11

2. Towards Formally Templated Relational Database Representations in Z;Abstract State Machines, Alloy, B and Z;2010

3. Generating relational database transactions from eb 3 attribute definitions;Software & Systems Modeling;2008-10-18

4. Strategic Term Rewriting and Its Application to a Vdm-sl to Sql Conversion;FM 2005: Formal Methods;2005

5. Select Z Bibliography;ZUM ’98: The Z Formal Specification Notation;1998