DocumentCode
2893821
Title
Specifications in software development
Author
Wing, Jeannette M.
Author_Institution
Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
fYear
1992
fDate
22-25 Jun 1992
Firstpage
112
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
Keywords
formal specification; formal specifications; software development; Algebra; Artificial intelligence; Government; Logic; Programming profession;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1992. LICS '92., Proceedings of the Seventh Annual IEEE Symposium on
Conference_Location
Santa Cruz, CA
Print_ISBN
0-8186-2735-2
Type
conf
DOI
10.1109/LICS.1992.185525
Filename
185525
Link To Document