ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

SOFSPEC: A Pragmatic Approach to Automated Specification Verification.

Erika Nyari, Harry M. Sneed: SOFSPEC: A Pragmatic Approach to Automated Specification Verification. ER 1983: 651-660
@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}
}
BibTeX

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 1, ER 1979-1998" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

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
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ER 1983 Proceedings: Copyright by ER Institute, ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:09:36 2009