Automatic generation of tests for timing constraints from requirements

Proceedings of the Workshop on Object-Oriented Real-Time Dependable Systems (WORDS)

Volumn , Issue , 1997, Pages 199-206

  Clarke, Duncan ^a   Lee, Insup ^a  

^a UNIVERSITY OF KENTUCKY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER GRAPHICS; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONSTRAINT THEORY; PROGRAM TRANSLATORS; RESOURCE ALLOCATION;

ALGEBRA OF COMMUNICATING SHARED RESOURCES (ACSR); TIMING CONSTRAINTS;

REAL TIME SYSTEMS;

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

References (10)