|
Volumn , Issue , 2001, Pages 771-772
|
4th ICSE workshop on component-based software engineering: Component certification and system prediction
a a a a |
Author keywords
Component certification; Compositional reasoning; Software architecture; Software component
|
Indexed keywords
COMPUTER ARCHITECTURE;
COMPUTER HARDWARE DESCRIPTION LANGUAGES;
ENGINEERING RESEARCH;
TECHNICAL PRESENTATIONS;
COMMUNITY MODEL;
COMPONENT CERTIFICATION;
COMPONENT-BASED SOFTWARE ENGINEERING;
COMPOSITIONAL REASONING;
SYSTEM PREDICTION;
COMPONENT SOFTWARE;
COMPONENT SYSTEMS;
COMPONENT TECHNOLOGIES;
ENGINEERING COMPONENTS;
SOFTWARE ARCHITECTURAL;
SOFTWARE-COMPONENT;
SOFTWARE ENGINEERING;
SOFTWARE ARCHITECTURE;
|
EID: 0035015012
PISSN: 02705257
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (4)
|
References (0)
|