A Formal Software Specification Tool Using the Entity-Relationship Model.

@inproceedings{DBLP:conf/er/Nagui-Raiss94,
  author    = {Na\"{\i}ma Nagui-Ra\"{\i}ss},
  editor    = {Pericles Loucopoulos},
  title     = {A Formal Software Specification Tool Using the Entity-Relationship
               Model},
  booktitle = {Entity-Relationship Approach - ER'94, Business Modelling and
               Re-Engineering, 13th International Conference on the Entity-Relationship
               Approach, Manchester, U.K., December 13-16, 1994, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {881},
  year      = {1994},
  isbn      = {3-540-58786-1},
  pages     = {315-332},
  ee        = {db/conf/er/Nagui-Raiss94.html},
  crossref  = {DBLP:conf/er/94},
  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

[1]

...

[2]

...

[3]

...

[4]

Friedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper: Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming. IEEE Trans. Software Eng. 15(2): 165-180(1989) BibTeX

[5]

...

[6]

Mokrane Bouzeghoub, Elisabeth Métais: A Design Tool for Object Oriented Databases. CAiSE 1990: 365-392 BibTeX

[7]

Mokrane Bouzeghoub, Elisabeth Métais: Semantic Modeling of Object Oriented Databases. VLDB 1991: 3-14 BibTeX

[8]

...

[9]

Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976) BibTeX

[10]

Umeshwar Dayal, Barbara T. Blaustein, Alejandro P. Buchmann, Upen S. Chakravarthy, Meichun Hsu, R. Ledin, Dennis R. McCarthy, Arnon Rosenthal, Sunil K. Sarin, Michael J. Carey, Miron Livny, Rajiv Jauhari: The HiPAC Project: Combining Active Databases and Timing Constraints. SIGMOD Record 17(1): 51-70(1988) BibTeX

[11]

Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer: Principles of OBJ2. POPL 1985: 52-66 BibTeX

[12]

...

[13]

...

[14]

...

[15]

...

[16]

...

[17]

Charalampos I. Theodoulidis, Pericles Loucopoulos, Benkt Wangler: The Entity-Relationship Time Model and the Conceptual Rule Language. ER 1991: 181-204 BibTeX

[18]

John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977) BibTeX