Framework for detecting interface violations in component-based software

International Conference on Software Reuse

Volumn , Issue , 1998, Pages 46-55

  Edwards, Stephen H ^a   Shakir, Gulam ^a   Weide, Bruce W ^a   Hollingsworth, Joseph ^a  

^a WEST VIRGINIA UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); FORMAL LOGIC; INTERFACES (COMPUTER); SOFTWARE ENGINEERING;

COMPONENT BASED SOFTWARE; INTERFACE CONTRACT VIOLATIONS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

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

References (19)