Technique for validating Booch object-oriented designs from extensions to the Descartes specification language

Proceedings of the High-Assurance Systems Engineering Workshop

Volumn , Issue , 1997, Pages 40-47

  Pichai, Ramkumar V ^a   Urban, Joseph E ^a  

^a ARIZONA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; OBJECT ORIENTED PROGRAMMING; RAPID PROTOTYPING;

DESCARTES PROGRAMMING LANGUAGE; SOFTWARE VALIDATION;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0030652450     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)