| |
In SAVCBS '07: Proceedings of the 2007 conference on Specification and verification of component-based systems (2007), pp. 95-98.
|
| |
In Second International Conference on Software Engineering and Formal Methods (SEFM'04) (2006), pp. 188-197.
|
| |
In Formal Techniques for Networked and Distributed Systems – FORTE 2007, Vol. 4574 (2007), pp. 1-18.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 4th International Workshop on Formal Aspects of Component Software (FACS 2007), Vol. 215 (29 June 2008), pp. 131-149.
|
| |
|
| |
ACM Trans. Comput. Syst., Vol. 2, No. 1. (February 1984), pp. 39-59.
|
| |
Software and Systems Modeling
|
| |
Science of Computer Programming In Formal Methods for Components and Objects: Pragmatic aspects and applications, Vol. 55, No. 1-3. (March 2005), pp. 161-183.
|
| |
Software Composition (2006), pp. 259-274.
|
| |
Software Architecture (2006), pp. 17-32.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 31, No. 2. (March 2006)
|
| |
In SAC '06: Proceedings of the 2006 ACM symposium on Applied computing (2006), pp. 1456-1461.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 2005), Vol. 160 (8 August 2006), pp. 41-55.
|
| |
Fundam. Inf., Vol. 40, No. 2-3. (1999), pp. 109-124.
|
| |
Commun. ACM, Vol. 49, No. 12.
|
| |
In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 187-197.
|
| |
ECOOP 2002 - Object-Oriented Programming: 16th European Conference Malaga, Spain, June 10-14, 2002. Proceedings (2002), pp. 185-193.
|
| |
In Proc. 13th ISCA Conference, Intelligent and Adaptive Systems and Software Engineering (July 2004)
|
| |
In Proc. 2nd Int. Wsh. Formal Aspects of Component Software (FACS'05), Vol. 160 (2006), pp. 75-96.
|
| |
In ProVeCS 2007 - Satellite Event of TOOLS Europe (2007)
|
| |
Software Composition (2006), pp. 18-33.
|
| |
In 13e Conference Francophone sur les Langages et Modeles a Objets (2007), pp. 19-34.
|
| |
In EMSOFT '07: Proceedings of the 7th ACM & IEEE international conference on Embedded software (2007), pp. 11-20.
|
| |
In GPCE '07: Proceedings of the 6th international conference on Generative programming and component engineering (2007), pp. 53-62.
|
| |
Software Engineering and Formal Methods, 2006. SEFM 2006. Fourth IEEE International Conference on In Software Engineering and Formal Methods, 2006. SEFM 2006. Fourth IEEE International Conference on (2006), pp. 3-12.
|
| |
Reuse of Off-the-Shelf Components (2006), pp. 58-72.
|
| |
Software, IEE Proceedings - In Software, IEE Proceedings -, Vol. 146, No. 6. (1999), pp. 277-290.
|
| |
Reuse of Off-the-Shelf Components (2006), pp. 87-100.
|
| |
Software Architecture, 2004. WICSA 2004. Proceedings. Fourth Working IEEE/IFIP Conference on (2004), pp. 57-66.
|
| |
Software Architecture, 2004. WICSA 2004. Proceedings. Fourth Working IEEE/IFIP Conference on In Software Architecture, 2004. WICSA 2004. Proceedings. Fourth Working IEEE/IFIP Conference on (2004), pp. 79-88.
|
| |
|
| |
Computer, Vol. 30, No. 7. (1997), pp. 31-42.
|
| |
Software Engineering for Adaptive and Self-Managing Systems, 2007. ICSE Workshops SEAMS '07. International Workshop on In Software Engineering for Adaptive and Self-Managing Systems, 2007. ICSE Workshops SEAMS '07. International Workshop on (2007), pp. 7-7.
|
| |
Software Maintenance and Reengineering, 2007. CSMR '07. 11th European Conference on In Software Maintenance and Reengineering, 2007. CSMR '07. 11th European Conference on (2007), pp. 49-57.
|
| |
|
| |
In Component Sofware Engineering: Putting the Pieces Together (2001), pp. 405-424.
|
| |
In Software Reuse: Advances in Software Reusability, 6th International Conference, {ICSR}-6, Vol. 1844 (2000), pp. 137-152.
|
| |
Software Engineering for Adaptive and Self-Managing Systems, 2007. ICSE Workshops SEAMS '07. International Workshop on (20-26 May 2007), pp. 7-7.
|
| |
Lecture Notes in Computer Science In MoDELS, Vol. 4199 (November 2006), pp. 1-15.
|
| |
In Proceedings of the Fourth International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT’07) (2007), pp. 45-52.
|
| |
Lecture Notes in Computer Science, Vol. 2290 (2002), pp. 13-21.
|
| |
In Proceedings Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications) (1998), pp. 15-24.
|
| |
In SAICSIT '05: Proceedings of the 2005 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries (2005), pp. 182-191.
|
| |
In Software Product Lines: Experience and Research Directions. Proceedings of the First Software Product Line Conference (August 2000), pp. 227-247.
|
| |
|
| |
|
| |
Lecture Notes in Computer Science : Software Product Lines (2004), pp. 331-331.
|
Search
