DocumentCode
2793656
Title
Object-oriented techniques based on specifications
Author
Berzins, Valdis
Author_Institution
Dept. of Comput. Sci., US Naval Postgraduate Sch., Monterey, CA, USA
fYear
1988
fDate
5-7 Oct 1988
Firstpage
437
Lastpage
438
Abstract
Object-oriented techniques form a promising approach for realizing an integrated computer-aided software development environment capable of detection and correcting errors early in the development process. The author discusses the connection between formal specifications, object-oriented data models, reusable components, and engineering databases
Keywords
formal specification; object-oriented programming; programming environments; software reliability; software tools; engineering databases; formal specifications; integrated computer-aided software development environment; object-oriented data models; reusable components; Computer errors; Computer science; Data engineering; Data models; Error correction; Formal specifications; Object oriented databases; Object oriented modeling; Programming; Software systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 1988. COMPSAC 88. Proceedings., Twelfth International
Conference_Location
Chicago, IL
Print_ISBN
0-8186-0873-0
Type
conf
DOI
10.1109/CMPSAC.1988.17211
Filename
17211
Link To Document