M. Aben, Formal Methods in Knowledge Engineering, 1995.

J. R. Balder and J. M. Akkermans, TheME: an environment for building formal KADS-II models of expertise, pp.136-147, 1992.

P. Borras, D. Clément, T. Despeyroux, J. Incerpi, G. Kahn et al., CENTAUR: the system, Proc. of the 3rd Symp. on Softw. Dev. Env., ACM SIGSOFT'88, pp.14-24, 1988.
DOI : 10.1145/64135.65005

URL : https://hal.archives-ouvertes.fr/inria-00075774

D. Canamero and S. Gedolf, Coupling Modelling and Validation in COM- MET, Proc. of EUROVAV'93, 1993.

D. Fensel, J. Angele, and D. Landes, KARL, a Knowledge Acquisition and Representation Language, Proc. of the 11th Int. Conf. on Expert Syst. and their Appl, pp.513-528, 1991.
DOI : 10.1109/69.706055

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

S. Gedolf and A. Slodzian, From Verification to Modelling Guidelines, Future for Knowl. Acqu: Proc. of EKAW'94, pp.226-243, 1994.

. Ilog, Methodological Guide: Version 1.0, 1993.

I. Jacobs and L. Rideau, A Centaur Tutorial, 1992.
URL : https://hal.archives-ouvertes.fr/inria-00070028

W. Jonker, J. W. Spee, I. Vled, and M. Koopman, Formal approaches towards design in Software Engineering and their roles in KBS design, Proc. of IJCAI'91, 1991.

W. Jonker and J. W. Spee, Yet another formalization of KADS conceptual models, Current Dev. in Knowl. Acqu.: Proc. of EKAW'92, pp.211-229, 1992.
DOI : 10.1007/3-540-55546-3_42

G. Kahn, Natural semantics, Proc. of the 4th Annual Symp. on Theor. Aspects of Computer Science (STACS'87), pp.22-39, 1987.
DOI : 10.1007/BFb0039592

URL : https://hal.archives-ouvertes.fr/inria-00075953

I. Langevelde, A. W. Van-philipsen, and J. Treur, Formal Specification of Compositional Architectures, Proc. of ECAI'92, pp.272-276, 1992.

J. Laurent, Proposals for a valid terminology in KBS Validation, Proc. of ECAI'92, pp.829-834, 1992.

A. Newell, The knowledge level, Artificial Intelligence, vol.18, issue.1, pp.87-127, 1982.
DOI : 10.1016/0004-3702(82)90012-1

G. D. Plotkin, A Structural Approach to Operational Semantics. DAIMI FN-19, 1981.

R. Sacile, Using CommonKADS to build an expertise model for breast cancer prognosis and therapy, INRIA Research Report, p.2737, 1995.
DOI : 10.3109/14639239609009010

URL : https://hal.archives-ouvertes.fr/inria-00073956

G. Schreiber, B. J. Wielinga, R. De-hoog, H. Akkermans, and W. , CommonKADS: a comprehensive methodology for KBS development, IEEE Expert, vol.9, issue.6, pp.28-37, 1994.
DOI : 10.1109/64.363263

G. Schreiber, B. Wielinga, H. Akkermans, W. Van-de-velde, and A. Anjewierden, CML: The commonKADS conceptual modelling language, Future for Knowl. Acqu.: Proc. of EKAW'94, pp.1-25, 1994.
DOI : 10.1007/3-540-58487-0_1

G. Schreiber, B. Wielinga, and W. Jansweijer, The KACTUS View on the, Ontology Dev. and Use Workshop, 1994.

L. Steels, COMMET: a componential methodology for knowledge engineering, Esprit Project CONSTRUCT DWP, vol.24, issue.3, 1991.

L. Steels, The componential framework and its role in reusability, Second Generation Expert Systems, pp.273-298, 1993.
DOI : 10.1007/978-3-642-77927-5_13

A. Ten-teije, F. Van-harmelen, and M. Reiders, Si(ML) 2 : a prototype interpreter for a subset of (ML) 2, 1991.

P. Tourtier and S. Boyera, Validating at Early Stages with a Causal Simulation Tool A Future for Knowledge Acquisition, Proc. of EKAW'94, pp.303-317, 1994.

F. Van-harmelen and J. R. Balder, ML) 2 : a formal language for KADS models of expertise. Knowledge Acquisition, Special issue on "The KADS approach to knowl. eng, pp.127-161, 1992.

C. Vicat, J. Ganascia, and A. Busac, Modularity in knowledge acquisition: a step towards reusability, Proc. of KAW'95, pp.36-37, 1995.

B. Wielinga, W. Van-de-velde, G. Schreiber, and H. Akkermans, Expertise Model Definition Document, 1993.