Extra-functional contract support in components

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

Volumn 3054, Issue , 2004, Pages 217-232

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

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; GLOBAL POSITIONING SYSTEM; LOGIC PROGRAMMING; PROGRAM TRANSLATORS; SOFTWARE ENGINEERING;

AUTOMATIC TRANSLATION; COMPONENT ASSEMBLY; CONSTRAINT LOGIC PROGRAMMING LANGUAGES; CONTEXT DEPENDENCY; GPS (GLOBAL POSITIONING SYSTEM); INDIVIDUAL COMPONENTS; REQUIRED INTERFACES; SOFTWARE COMPONENT;

QUALITY OF SERVICE;

EID: 33747392005     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24774-6_20     Document Type: Article

References (22)

1. nd ed. Addison-Wesley (2002).
2. OMG: "CORBA Components, v3.0". Adopted specification (06/2002).
3. OMG: "UML Superstructure 2.0" (08/2003).
4. Beugnard, A., Jézéquel, J.-M., Plouzeau, N., Watkins, D.: "Making components contract aware". Computer, pp. 38-45, IEEE Computer Society ( 07/1999).
5. OMG: "UML2.0 Object Constraint Language RfP" (07/2003).
6. nd ed. Prentice Hall (1997).
7. Frolund, S., Koistinen, J.: "QoS specification in distributed object systems". Distributed Systems Engineering, vol. 5, July 1998, The British Computer Society.
8. McHale, C.: "Synchronization in concurrent object-oriented languages:expressive power, genericity and inheritance". Doctoral dissertation, Trinity College, Dept. of computer science, Dublin (1994).
9. http://www.qccs.org, Quality Control of Component-based Software (QCCS) European project home page.
10. Weis, T. and al.: "Model metamorphosis". IEEE Software, September 2003, p. 46-51.
11. th ACM Symposium on principles of programming languages (POPL'87), pp-111-119, ACM (1987).
12. Cleary, J.G.: "Logical arithmetic". Future computing systems 2, no. 2, pp-125-149 (1987).
13. Bézivin, J., Parcel, N., Jézéquel, J.M., Langlois, B., Pollet, D.: "Reflective model driven engineering". Proceedings of UML 2003, San Francisco, volume 2863 of LNCS, pages 175-189. Springer (10/2003).
14. W3C: "Synchronized Multimedia Integration Language 2.0 specification". http://www.w3.org/TR/smil20.
15. TINA-C: 'TINA object definition language manual". Report no. TP_NM_002_2.2_96 (1996).
16. Becker, C., Geiths, K.: "QoS, aspects of distributed programs". Proceedings of international workshop on aspect-oriented programming at ICSEE'98, Kyoto, Japan (1998).
17. Daniels, J., Traversen, B., Vignes, S.: "Integration of QoS in distributed objects systems". Proceedings of IFIP TC6 WG6.1 2nd international working conference on Distributed Applications and Interoperable Systems (DAIS'99), Helsinki, Finland, pp. 31-43 (1999).
18. Aagedal, J.O.: "Quality of service support in development of distributed systems". Ph.D thesis report, University of Oslo, Dept. Informatics (03/2001).
19. "v-QoS project home page": http://www.comp.lancs.ac.uk/ computing/users/lb/v-qos.html.
20. rd international symposium on Distributed Objects and Application (DOA'01), September 2001, Roma (It).
21. th ICSE workshop on component-based software engineering: component certification and system prediction, ICSE'01, Toronto (Ca).
22. Hissam, S.A., Moreno, G.A., Stafford, J., Wallnau, K.C.: "Packaging and deploying predictable assembly". Proceedings of IFIP/ACM working conference on component deployment (CD2002), pp. 108-124, Berlin, Germany (06/2002).