Applying Entity-Relationship Concepts to Executable Specifications.

@inproceedings{DBLP:conf/er/SluizerL86,
  author    = {Suzanne Sluizer and
               Stanley Lee},
  editor    = {Stefano Spaccapietra},
  title     = {Applying Entity-Relationship Concepts to Executable Specifications},
  booktitle = {Entity-Relationship Approach: Ten Years of Experience in Information
               Modeling, Proceedings of the Fifth International Conference on
               Entity-Relationship Approach, Dijon, France, November 17-19,
               1986},
  publisher = {North-Holland},
  year      = {1986},
  isbn      = {0-444-70255-5},
  pages     = {183-194},
  ee        = {db/conf/er/SluizerL86.html},
  crossref  = {DBLP:conf/er/86},
  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]

Stanley Lee, Suzanne Sluizer: On Executable Specifications of Finite State Protocol Errors. ICDCS 1986: 458-465

[4]

...

[5]

William Kent: Fact-Based Data Analysis and Design. ER 1983: 3-53

[6]

Elisa Bertino: Distributed Database Design Using the Entity-Relationship Model. ER 1983: 189-203

[7]

Paulo A. S. Veloso, Antonio L. Furtado: View Constructs for the Specification and Design of External Schemas. ER 1983: 637-650

[8]

Robert Balzer: A 15 Year Perspective on Automatic Programming. IEEE Trans. Software Eng. 11(11): 1257-1268(1985)

[9]

Douglas R. Smith, Gordon Kotik, Stephen J. Westfold: Research on Knowledge-Based Software Environments at Kestrel Institute. IEEE Trans. Software Eng. 11(11): 1278-1295(1985)

[10]

S. Lee: On Executable Models for Rule-Based Prototyping. ICSE 1985: 210-215