dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

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.

Copyright © 1981 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.


ACM SIGMOD Anthology

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

Printed Edition

Very Large Data Bases, 7th International Conference, September 9-11, 1981, Cannes, France, Proceedings. IEEE Computer Society 1981
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[1]
...
[2]
Edward A. Ashcroft, William W. Wadge: R/ for Semantics. ACM Trans. Program. Lang. Syst. 4(2): 283-294(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[5]
...
[6]
Keith L. Clark: Negation as Failure. Logic and Data Bases 1977: 293-322 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[7]
...
[8]
...
[9]
...
[10]
...
[11]
Irene Greif, Albert R. Meyer: Specifying Programming Language Semantics. POPL 1979: 180-189 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[12]
John V. Guttag: Abstract Data Type and the Development of Data Structures. Commun. ACM 20(6): 396-404(1977) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[13]
John V. Guttag, Ellis Horowitz, David R. Musser: Abstract Data Types and Software Validation. Commun. ACM 21(12): 1048-1064(1978) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[14]
...
[15]
C. A. R. Hoare: Proof of Correctness of Data Representations. Acta Inf. 1: 271-281(1972) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[17]
...
[18]
...
[19]
...
[20]
...
[21]
...
[22]
...
[23]
John McCarthy: Circumscription - A Form of Non-Monotonic Reasoning. Artif. Intell. 13(1-2): 27-39(1980) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[34]
Maarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742(1976) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Last update Mon Sep 17 22:00:37 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page