Utilizing an Executable Specification Language for an Information System.

@inproceedings{DBLP:conf/icde/UrbanUD84,
  author    = {Susan Darling Urban and
               Joseph E. Urban and
               Wayne D. Dominick},
  title     = {Utilizing an Executable Specification Language for an Information
               System},
  booktitle = {Proceedings of the First International Conference on Data Engineering,
               April 24-27, 1984, Los Angeles, California, USA},
  publisher = {IEEE Computer Society},
  year      = {1984},
  isbn      = {0-8186-0533-2},
  pages     = {348-355},
  ee        = {db/conf/icde/UrbanUD84.html},
  crossref  = {DBLP:conf/icde/84},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

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

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-6 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

Printed Edition

References

[1]

...

[2]

...

[3]

Anthony I. Wasserman: A Software Engineering View of Data Base Management. VLDB 1978: 23-35 BibTeX

[4]

...

[5]

Raymond T. Yeh, Jerry W. Baker: Toward a Design Methodology for DBMS: A Software Engineering Approach. VLDB 1977: 16-27 BibTeX

[6]

Joseph E. Urban: Software Development with Executable Functional Specifications. ICSE 1982: 418-419 BibTeX

[7]

...

[8]

...

[9]

...

[10]

...

[11]

...

[12]

...

[13]

Barbara Liskov, Stephen N. Zilles: Specification Techniques for Data Abstractions. IEEE Trans. Software Eng. 1(1): 7-19(1975) BibTeX

[14]

...

[15]

...