Automating component-based system assembly

2007 ACM International Symposium on Software Testing and Analysis, ISSTA'07

Volumn , Issue , 2007, Pages 61-72

  Manolios, Panagiotis ^a   Vroon, Daron ^a   Subramanian, Gayatri ^a  

^a NONE

Author keywords

Component based software development; Integrated modular avionics; Pseudo boolean satisfiability; System assembly problem

Indexed keywords

INTEGRATED CONTROL; PROBLEM SOLVING; REQUIREMENTS ENGINEERING; SOFTWARE ENGINEERING; USER INTERFACES;

COMPONENT-BASED SOFTWARE DEVELOPMENT; INTEGRATED MODULAR AVIONICS; PSEUDO-BOOLEAN SATISFIABILITY; SYSTEM ASSEMBLY PROBLEMS;

OBJECT ORIENTED PROGRAMMING;

EID: 34548261774     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1273463.1273473     Document Type: Article

References (0)