Brokering Problem Solving Knowledge at the Internet, EKAW'99, European Knowledge Acquisition Workshop, volume 1621 of LNAI, 1999. ,
The Foundations of Esterel, Proof, Language, and Interaction, Essays in Honor of Robin Milner, 2000. ,
Object-Oriented Frameworks: Problems & Experiences Building Application Frameworks: Object Oriented Foundations of Framework Design, 1999. ,
Simplifying an Extensible Class Library Interface with OpenC++, OOPSLA'98, Worshop on Reflective Programming in C++ and Java, 1998. ,
A metaobject protocol for C++, OOPSLA'95, pp.285-299, 1995. ,
DOI : 10.1145/217839.217868
Pilotage de programmes pour le traitement d'images médicales, 1999. ,
Specification and Verification of Knowledge-Based Systems, Workshop on Validation, Verification and Refinement of Knowledge-Based Systems, ECAI, 1996. ,
Expert Systems : Principles and Case Studies, 1989. ,
Design Patterns: Elements of Reusable Object- Oriented Software, 1995. ,
Frameworks = (Components + Patterns), CACM, vol.10, issue.40, pp.39-42, 1997. ,
Model Checking The Art of the Meta-Object Protocol, 1991. ,
Aspect-oriented programming, p.97, 1997. ,
A New Definition of the Subtype Relation, ECOOP'93, pp.119-141, 1993. ,
Operational and compositional semantics of synchronous automaton compositions, LNCS: Concur, vol.630, 1992. ,
DOI : 10.1007/BFb0084815
PROTEGE-II: An Environment for Reusable Problem-Solving Methods and Domain Ontologies, IJCAI, 1993. ,
An evaluation of expert system development tools, Expert Systems, vol.63, issue.1, pp.166-182, 1986. ,
DOI : 10.1109/MC.1984.1659242
The Unified Modeling Language Reference Manual, 1999. ,
CommonKADS: a comprehensive methodology for KBS development, IEEE Expert, vol.9, issue.6, pp.28-37, 1994. ,
DOI : 10.1109/64.363263
Component Software -Beyond Object-Oriented Programming, 1998. ,
TASK: from the specification to the implementation, Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence, pp.80-88, 1996. ,
DOI : 10.1109/TAI.1996.560404
DSTM: a framework to operationalise and refine a problem solving method modeled in terms of tasks and methods, Expert Systems with Applications, vol.16, issue.2, pp.105-120, 1999. ,
DOI : 10.1016/S0957-4174(98)00065-7