ADL - An interface definition language for specifying and testing software

ACM SIGPLAN Notices

Volumn 29, Issue 8, 1994, Pages 13-21

  Sankar, Sriram ^a   Hayes, Roger ^a  

^a SUN MICROSYSTEMS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; TESTING;

DATA DESCRIPTION LANGUAGES; FORMAL DOCUMENTATION; FORMAL SPECIFICATION; INTERFACE DEFINITION LANGUAGES; TESTING SOFTWARE; TESTING TECHNOLOGY;

SOFTWARE TESTING;

EID: 4444357936     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/185084.185096     Document Type: Conference Paper

References (0)