ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Verification and Testing of S-ER Representations.

Antonio L. Furtado, Paulo A. S. Veloso, José Mauro Volkmer de Castilho: Verification and Testing of S-ER Representations. ER 1981: 123-147
@inproceedings{DBLP:conf/er/FurtadoVC81,
  author    = {Antonio L. Furtado and
               Paulo A. S. Veloso and
               Jos{\'e} Mauro Volkmer de Castilho},
  editor    = {Peter P. Chen},
  title     = {Verification and Testing of S-ER Representations},
  booktitle = {Entity-Relationship Approach to Information Modeling and Analysis,
               Proceedings of the Second International Conference on the Entity-Relationship
               Approach (ER'81), Washington, DC, USA, October 12-14, 1981},
  publisher = {North-Holland},
  year      = {1981},
  isbn      = {0-444-86747-3},
  pages     = {123-147},
  ee        = {db/conf/er/FurtadoVC81.html},
  crossref  = {DBLP:conf/er/81},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 1, ER 1979-1998" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

References

[ANS]
...
[BEN]
R. L. Benneworth, C. D. Bishop, C. J. M. Turnbull, W. D. Holman, F. M. Monette: The Implementation of GERM, An Entity-Relationship Data Base Management System. VLDB 1981: 478-484 BibTeX
[CAF]
...
[CHE]
Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976) BibTeX
[DAT]
C. J. Date: An Introduction to Database Systems, 2nd Edition. Addison-Wesley 1977
BibTeX
[EHR]
Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber: Algebraic Specification Schemes for Data Base Systems. VLDB 1978: 427-440 BibTeX
[FVE]
...
[GTW]
...
[GUT]
John V. Guttag: Abstract Data Type and the Development of Data Structures. Commun. ACM 20(6): 396-404(1977) BibTeX
[HEW]
...
[HOA]
C. A. R. Hoare: Proof of Correctness of Data Representations. Acta Inf. 1: 271-281(1972) BibTeX
[JON]
...
[KNG]
James C. King: Symbolic Execution and Program Testing. Commun. ACM 19(7): 385-394(1976) BibTeX
[LIS]
Barbara Liskov, Alan Snyder, Russell R. Atkinson, Craig Schaffert: Abstraction Mechanisms in CLU. Commun. ACM 20(8): 564-576(1977) BibTeX
[POO]
...
[SAN]
Clesio Saraiva dos Santos, Erich J. Neuhold, Antonio L. Furtado: A Data Type Approach to the Entity-Relationship Approach. ER 1979: 103-119 BibTeX
[SHA]
...
[ULL]
Jeffrey D. Ullman: Principles of Database Systems, 1st Edition. Computer Science Press 1980
BibTeX
[VCF]
Paulo A. S. Veloso, José Mauro Volkmer de Castilho, Antonio L. Furtado: Systematic Derivation of Complementary Specifications. VLDB 1981: 409-421 BibTeX

Referenced by

  1. Paulo A. S. Veloso, Antonio L. Furtado: View Constructs for the Specification and Design of External Schemas. ER 1983: 637-650
  2. Paul K. Blackwell, Sushil Jajodia, Peter A. Ng: A View of Database Management Systems as Abstract Data Types. ER 1983: 661-668
  3. Peter P. Chen: A Preliminary Framework for Entity-Relationship Models. ER 1981: 19-28
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ER 1981 Proceedings: Copyright © by ER Institute, ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:09:32 2009