Lutess: A specification-driven testing environment for synchronous software

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1999, Pages 267-276

  Bousquet, L du ^a   Ouabdesselam, F ^a   Richier, J L ^a   Zuanon, N ^a  

^a LSR Laboratory   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; LOGIC PROGRAMMING; REQUIREMENTS ENGINEERING; TELECOMMUNICATION SYSTEMS;

SYNCHRONOUS REACTIVE SOFTWARE;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0032658035     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (23)