Verification and Testing of S-ER Representations.

@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}
}

ACM SIGMOD Anthology

• 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/An2-1 or /cdrom

• 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

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