SOFSPEC: A Pragmatic Approach to Automated Specification Verification.

@inproceedings{DBLP:conf/er/NyariS83,
  author    = {Erika Nyari and
               Harry M. Sneed},
  editor    = {Carl G. Davis and
               Sushil Jajodia and
               Peter A. Ng and
               Raymond T. Yeh},
  title     = {SOFSPEC: A Pragmatic Approach to Automated Specification Verification},
  booktitle = {Proceedings of the 3rd Int. Conf. on Entity-Relationship Approach
               (ER'83)},
  publisher = {North-Holland},
  year      = {1983},
  isbn      = {0-444-86777-5},
  pages     = {651-660},
  ee        = {db/conf/er/NyariS83.html},
  crossref  = {DBLP:conf/er/83},
  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]

Allen L. Ambler: GYPSY: A Language for Specification and Implementation of Verifiable Programs. Language Design for Reliable Software 1977: 1-10 BibTeX

[3]

...

[4]

...

[5]

...

[6]

Daniel Teichroew, Ernest A. Hershey III: PSL/PSA: A Computer Aided Technique for Structured Documentation and Analysis of Information Processing Systems. IEEE Trans. Software Eng. 3(1): 41-48(1977) BibTeX

[7]

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

[8]

...

[9]

...

[10]

...

[11]

Douglas T. Ross, Kenneth E. Schoman Jr.: Structured Analysis for Requirements Definition. IEEE Trans. Software Eng. 3(1): 6-15(1977) BibTeX

[12]

...

[13]

...

[14]

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

[15]

Peter A. Ng, J. F. Paul: A Formal Definition of Entity-Relationship Models. ER 1979: 211-230 BibTeX

[16]

Thomas J. McCabe: A Complexity Measure. IEEE Trans. Software Eng. 2(4): 308-320(1976) BibTeX

[17]

...

[18]

Peter A. Ng: Further Analysis of the Entity-Relationship Approach to Database Design. IEEE Trans. Software Eng. 7(1): 85-99(1981) BibTeX

[19]

William E. Riddle, Jack C. Wileden, John H. Sayler, Alan R. Segal, Allan M. Stavely: Behavior Modeling During Software Design. IEEE Trans. Software Eng. 4(4): 283-292(1978) BibTeX

[20]

Roger House: Comments on Program Specification and Testing. Commun. ACM 23(6): 324-331(1980) BibTeX