DocumentCode
2615180
Title
Formal and informal approaches for validation
Author
Tamai, Tetsuo
Author_Institution
Grad. Sch. of Syst. Manage., Tsukuba Univ., Tokyo, Japan
fYear
1991
fDate
11-13 Sep 1991
Firstpage
534
Lastpage
535
Abstract
The author considers applying conventional approaches to validate OOS (object-oriented systems) and then investigates new aspects caused by the properties of OOS. He also focuses on two issues, each representing a typical property of the static aspect and the dynamic aspect. The issues examined are abstraction hierarchy consistency and concurrent behavior correctness
Keywords
object-oriented programming; program verification; abstraction hierarchy consistency; concurrent behavior correctness; dynamic aspect; object-oriented systems; static aspect; validation; Erbium; Inspection; Knowledge representation; Message passing; Object oriented modeling; Object oriented programming; Software engineering; Software libraries; Software quality; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 1991. COMPSAC '91., Proceedings of the Fifteenth Annual International
Conference_Location
Tokyo
Print_ISBN
0-8186-2152-4
Type
conf
DOI
10.1109/CMPSAC.1991.170235
Filename
170235
Link To Document