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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2793656
بازگشت