Invited Paper: Specifications in software development (at LICS 1992)

Authors: Jeannette M. Wing

Abstract

Summary form only given. Various kinds of specifications used during software development are presented through examples. The focus is on the practical aspects of the nature and use of formal specifications. Some open research problems that should be of particular interest are mentioned

BibTeX

  @InProceedings{Wing-Specificationsinsof,
    author = 	 {Jeannette M. Wing},
    title = 	 {Specifications in software development},
    booktitle =  {Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science (LICS 1992)},
    year =	 {1992},
    month =	 {June}, 
    pages =      {112},
    location =   {Santa Cruz, CA, USA}, 
    note =       {Invited Talk},
    publisher =	 {IEEE Computer Society Press}
  }