Applying CLP to predict extra-functional properties of component-based models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3132, Issue , 2004, Pages 454-455

  Defour, Olivier ^a   Jézéquel, Jean Marc ^a   Plouzeau, Noël ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLIANCE CONTROL; COMPUTER CIRCUITS; COMPUTER PROGRAMMING LANGUAGES; FORECASTING; FUNCTIONS; LOGIC PROGRAMMING; RECONFIGURABLE HARDWARE; SOFTWARE ENGINEERING;

COMPONENT-BASED MODELS; COMPONENT-BASED SOFTWARE ENGINEERING; CONSTRAINT LOGIC PROGRAMMING; EXTRA-FUNCTIONAL PROPERTIES; FUNCTIONAL SYSTEMS; NON-LINEAR CONSTRAINTS; NONLINEAR FUNCTIONS; PRE AND POST CONDITIONS;

QUALITY OF SERVICE;

EID: 35048892454     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27775-0_35     Document Type: Article

References (4)

1. Defour O., Jézéquel J.M., Plouzeau N. Extra-functional contracts support in components Component Based Software Engineering (CBSE7), Edinburgh, May 2004.
2. Frolund S. and Koistinen J. QoS specification in distributed object systems Distributed Systems Engineering, vol. 5, July 1998, The British Computer Society
3. Stafford J. and Scott H. The Software Engineering Institute's Second Workshop on Predictable Assembly: Landscape of compositional predictability SEI Report CMU/SEI-2003-TN-029, 2003.
4. Szyperski C. Component software, beyond object oriented programming 2nd ed., Addison-Wesley, 2002