Systematic Derivation of Complementary Specifications.

Paulo A. S. Veloso, José Mauro Volkmer de Castilho, Antonio L. Furtado: Systematic Derivation of Complementary Specifications. VLDB 1981: 409-421

@inproceedings{DBLP:conf/vldb/VelosoCF81,
  author    = {Paulo A. S. Veloso and
               Jos{\'e} Mauro Volkmer de Castilho and
               Antonio L. Furtado},
  title     = {Systematic Derivation of Complementary Specifications},
  booktitle = {Very Large Data Bases, 7th International Conference, September
               9-11, 1981, Cannes, France, Proceedings},
  publisher = {IEEE Computer Society},
  year      = {1981},
  pages     = {409-421},
  ee        = {db/conf/vldb/VelosoCF81.html},
  crossref  = {DBLP:conf/vldb/81},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

A methodology is proposed for the systematic derivation of a series of complementary specifica- tions of a data base application. The starting point for this series is chosen so as to be obtainable without undue difficulty from an informal specification. Thereafter each formal specification is systematically derived from the preceding one. This multiplicity of specifications is further justified by their complementary nature. Having distinct aims, they jointly provide a multi-purpose, comprehensive characterization of the data base application. The formalisms employed can be categorized according to several criteria, including the usual definitional, denotational, operational characterizations of semantics. A simplified example is used throughout to illustrate the development.

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/vldb7588 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD1 or /dvd

Printed Edition

Very Large Data Bases, 7th International Conference, September 9-11, 1981, Cannes, France, Proceedings. IEEE Computer Society 1981
Contents

References

[1]: ...
[2]: Edward A. Ashcroft, William W. Wadge: R/ for Semantics. ACM Trans. Program. Lang. Syst. 4(2): 283-294(1982)
[3]: ...
[4]: Marco A. Casanova, Philip A. Bernstein: A Formal System for Reasoning about Programs Accessing a Relational Database. ACM Trans. Program. Lang. Syst. 2(3): 386-414(1980)
[5]: ...
[6]: Keith L. Clark: Negation as Failure. Logic and Data Bases 1977: 293-322
[7]: ...
[8]: ...
[9]: ...
[10]: ...
[11]: Irene Greif, Albert R. Meyer: Specifying Programming Language Semantics. POPL 1979: 180-189
[12]: John V. Guttag: Abstract Data Type and the Development of Data Structures. Commun. ACM 20(6): 396-404(1977)
[13]: John V. Guttag, Ellis Horowitz, David R. Musser: Abstract Data Types and Software Validation. Commun. ACM 21(12): 1048-1064(1978)
[14]: ...
[15]: C. A. R. Hoare: Proof of Correctness of Data Representations. Acta Inf. 1: 271-281(1972)
[16]: C. A. R. Hoare, Peter E. Lauer: Consistent and Complementary Formal Theories of the Semantics of Programming Languages. Acta Inf. 3: 135-153(1974)
[17]: ...
[18]: ...
[19]: ...
[20]: ...
[21]: ...
[22]: ...
[23]: John McCarthy: Circumscription - A Form of Non-Monotonic Reasoning. Artif. Intell. 13(1-2): 27-39(1980)
[24]: ...
[25]: ...
[26]: ...
[27]: ...
[28]: ...
[29]: ...
[30]: ...
[31]: ...
[32]: ...
[33]: James W. Thatcher, Eric G. Wagner, Jesse B. Wright: Data Type Specification: Parameterization and the Power of Specification Techniques. ACM Trans. Program. Lang. Syst. 4(4): 711-732(1982)
[34]: Maarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742(1976)