Seventh Annual IEEE Symposium on

Logic in Computer Science (LICS 1992)

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

Authors: Wing, J.M.


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


    author = 	 {Wing, J.M.},
    title = 	 {Specifications in software development},
    booktitle =  {Proceedings of the Seventh Annual IEEE Symp. on Logic in Computer Science, {LICS} 1992},
    year =	 1992,
    editor =	 {Andre Scedrov},
    month =	 {June}, 
    pages =      {112},
    location =   {Santa Cruz, CA, USA}, 
    note =       {Invited Talk},
    publisher =	 {IEEE Computer Society Press}