IEEE - Institute of Electrical and Electronics Engineers, Inc. - Formal and informal approaches for validation

Author(s): Tamai, T.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1991
Conference Location: Tokyo, Japan
Conference Date: 11 September 1991
Page(s): 534 - 535
ISBN (Paper): 0-8186-2152-4
DOI: 10.1109/CMPSAC.1991.170235
Regular:

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,... View More

Advertisement