S. Khemakhem, K. Drira, and M. Jmaiel, An experimental evaluation of SEC+, an enhanced search engine for component-based software development, In ACM SIGSOFT Software Engineering Notes, vol.33, issue.4, 2008.

S. Khemakhem, K. Drira, and M. Jmaiel, SEC+, ACM SIGSOFT Software Engineering Notes, vol.32, issue.4, 2007.
DOI : 10.1145/1281421.1281426

K. Conference-papers-[-c1-]-sofien-khemakhem, M. Drira, and . Jmaiel, Ontology-based discovery and integration, Third International Conference on the Applications of Digital Information and Web Technologies, 2010.

S. Khemakhem, K. Drira, and M. Jmaiel, SEC: A search engine for component based software engineering, 21st Annual ACM Symposium on Applied Computing, p.18, 2006.

S. Khemakhem, K. Drira, and M. Jmaiel, CSCLD: A Component for Software Component Library Discovering, Cinquièmes Journées Scientifiques des Jeunes Chercheurs en Génie Electrique et Informatique, GEI 2005, 2005.

A. , W. M. Hofstede, A. H. Kiepuszewski, B. Barros, and A. P. , Workflow patterns, Distrib. Parallel Databases, vol.14, issue.1, pp.5-51, 2003.

A. , G. Bodik, R. Et, L. , and R. J. , Mining specifications, POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.4-16, 2002.

A. , T. Curbera, F. Dholakia, H. Goland, Y. Klein et al., Business process execution language for web services version 1, 2003.

A. , S. Et, D. , and R. , Behavioural retrieval from class libraries, Proceedings of the Eighteenth Australasian Computer Science Conference, pp.13-20, 1995.

R. Back, W. Et, and J. V. , The Refinement Calculus: A Systematic Introduction, 1998.
DOI : 10.1007/978-1-4612-1674-2

J. Barnes, High Integrity Software: The SPARK Approach to Safety and Security, 2003.

B. , W. Et, P. , and D. L. , Using assertions about traces to write abstract specifications for software modules, Proceedings of the second conference on European cooperation in informatics, pp.111-130, 1978.

B. , R. Sy, O. Et, P. , and P. , Formal specification and prototyping of corba systems, pp.474-494, 1999.

B. , R. Mattoso, M. Et, W. , and C. , The use of mediation and ontology technologies for software component information retrieval, International Symposium on Software Reusability, 2001.

C. , J. P. Croft, W. B. Et, H. , and S. M. , The INQUERY retrieval system, Proceedings of the Third International Conference on Database and Expert Systems Applications, pp.78-83, 1992.

C. , C. Fuentes, L. Troya, J. M. Vallecillo, and A. , Extending corba interfaces with p-calculus for protocol compatibility. TOOLS'00, pp.292-333, 2000.

C. , C. Et, R. , and G. , Dynamically bounding browsable retrieval spaces an application to galois lattices, Proceedings of RIAO 94: Intelligent Multimedia Information Retrieval Systems and Management, 1994.

C. , C. Et, R. , and G. , A lattice conceptual clustering system and its application to browsing retrieval, Machine Learning, 1996.

C. , C. Et, R. , and G. , Order-theoretical ranking, Journal of the American Society for Information Science, vol.51, issue.7, pp.587-601, 2000.

C. , H. Et, K. , and J. , GANNET: a machine learning approach to document retrieval, Journal of Management Information Systems, vol.11, issue.3, pp.7-41, 1995.

C. , B. Et, J. , and J. , Reusing analogous components, IEEE Transactions on Knowledge and Data Engineering, vol.9, issue.2, pp.341-349, 1997.

C. , C. D. Et, R. , and S. , Behavioral specification of distributed software component interfaces, 1999.

C. , C. Wen-syan, and L. , Classifying software components using design characteristics, Proceedings. The 10th Knowledge-Based Software Engineering Conference (Cat. No.95TB100008), pp.139-146, 1995.

C. , J. C. Dwyer, M. B. Hatcliff, J. Laubach, S. Pasareanu et al., La Bandera, Proc. of the Intl. Conf. On Software Engineering, pp.263-276, 2000.
DOI : 10.2307/40069397

D. , E. , G. Fugini, M. Et, B. et al., A hierarchy-aware approach to faceted classification of objected-oriented components, ACM Transactions on Software Engineering and Methodology, vol.8, issue.3, pp.215-262, 1999.

D. , K. S. Et, T. , and A. A. , A technique for automatically organizing software libraries for software reuse, CASCON '94: Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research, p.12, 1994.

D. , B. A. Et, P. , and H. A. , Introduction to lattices and order, 1990.

D. , M. Connolly, D. Van, H. , F. Hendler et al., Owl web ontology language 1.0 reference, 2002.

D. , P. Brachman, R. J. Ballard, B. W. Et, S. et al., Lassie: A knowledge-based software information system, Communications of the ACM, vol.34, issue.5, pp.34-49, 1991.

E. , D. Et, S. , and K. , Neural network-based retrieval from software reuse repositories, Neural Networks and Pattern Recognition in Human Computer Interaction, pp.215-228, 1992.

E. , R. C. Et, D. , and O. , A multi-agent system infrastructure for software component market-place: An ontological perspective, 2002.

E. , H. Shahar, Y. Tu, S. W. Puerta, A. R. Et et al., Task modeling with reusable problem-solving methods, Artif. Intell, vol.79, issue.2, pp.293-326, 1995.

E. , D. Guttag, J. Horning, J. Et, T. et al., Lclint:a tool for using specifications to check code, InProceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 1994.

F. , A. , and Y. Guéhéneuc, On the coherence of component protocols, Proceedings of the ETAPS Workshop on Software Composition, 2003.

F. , D. Et, and A. , The unified problem-solving method development language UPML, Knowledge and Information Systems, vol.5, issue.1, pp.83-131, 2003.

F. , D. Mcguiness, D. Schulten, E. Keong, W. Lim et al., Ontologies and electronic commerce, Intelligent Systems, vol.16, pp.8-14, 2001.

F. , D. Motta, E. Harmelen, F. V. Benjamins, R. Crubezy et al., The unified problem-solving method development language upml, Knowledge and Information Systems, vol.5, 1999.

F. , V. Et, L. , and J. , Facet-based classification scheme for industrial automation software components, 2001.

F. , P. Et, L. , and P. , Specifying business components in virtual engineering communities, Ninth Americas Conference on Information Systems, pp.1937-1947, 2003.

F. , G. C. Furmanski, W. Et, P. , and T. , Evaluating new transparent persistence commodity models: Jdbc, corba pps and oledb for hpc t and e databases, Proceedings of the International Test and Evaluation Association (ITEA) Workshop on High Performance Computing for Test and Evaluation, pp.13-16, 1998.

F. , X. Pinyol, J. Et, V. , and J. , Browsing a component library using non-functional information, Procs. International Conference on Reliable Software Technologies -Ada Europe'99, pp.332-343, 1999.

F. , N. Et, P. , and U. , Probabilistic information retrieval as a combination of abstraction, inductive learning, and probabilistic assumptions, ACM Trans. Inf. Syst, vol.12, issue.1, pp.92-115, 1994.

G. , A. Gonzalez-cabero, R. Et, L. , and M. , ODE SWS: A framework for designing and composing semantic web services, IEEE Intelligent Systems, pp.24-31, 2004.

G. , M. Et, M. , and C. , The process specification language (psl) theory and applications, pp.63-74, 2003.

H. , S. Et, L. , and M. , Tracking down software bugs using automatic anomaly detection, Proceedings of the International Conference on Software Engineering, 2002.

H. , J. Et, D. , and A. , Discovering algebraic specifications from java classes, 15th European conference on objectoriented programming, 2003.

H. , C. Et, L. , and S. , Inductive query by examples (iqbe): A machine learning approach, Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), Information Sharing and Knowledge Discovery Track, 1994.

H. , B. Et, L. , and D. , The umls project: making the conceptual connection between users and the information they need, Bulletin of the Medical Library Association, vol.81, issue.2, 1993.

J. , R. Et, S. , and E. , Foundations of the trace assertion method of module interface specification, IEEE Trans. Softw. Eng, vol.27, issue.7, pp.577-598, 2001.

J. , R. Et, H. , and C. , Automatic generation of state invariants from requirements specifications, SIGSOFT '98/FSE-6: Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering, pp.56-69, 1998.

J. Zhang, J. Gao, M. Z. Et, W. , and J. , Improving the effectiveness of information retrieval with clustering and fusion, Computational Linguistics and Chinese Language Processing, pp.109-125, 2001.

L. , O. Et, S. , and R. R. , Resource description framework (rdf) model and syntax specification. W3C -World Wide Web Consortium, p.3, 1999.

L. , T. B. Hendler, J. Et, L. , and O. , The semantic web, Scientific American, vol.284, issue.5, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00768415

L. , K. Et, N. , and G. , An extended static checker for modula-3, Proc. Compiler Construction: Seventh Int'l Conf. (CC '98), pp.302-305, 1998.

L. , L. Et, H. , and I. , A software framework for matching based on semantic web technology, Proc. 12th Int. World Wide Web Conf., World Wide Web Consortium, p.48, 2003.

L. , H. Chen, M. Wang, F. Et, D. et al., Using a hierarchical thesaurus for classifying and searching software libraries, COMPSAC '97: Proceedings of the 21st International Computer Software and Applications Conference, pp.210-216, 1997.

L. , T. Loh, W. Et, S. , and Y. , A comparison of prediction accuracy, complexity , and training time of thirty-three old and new classification algorithms, Mach. Learn, vol.40, issue.3, pp.203-228, 2000.

L. , J. Amescua, A. Velasco, and M. , Software thesaurus: A tool for reusing software objects, Proceedings of the Fourth International Symposium on Assessment of Software Tools (SAST '96), p.99, 1996.

M. , F. Et, M. , and E. , Rdf primer, W3C Recommendation, p.3, 2004.

M. , M. Aurelio, L. Et, A. , and G. , Information retrieval with conceptual graph matching. roc. DEXA-2000, 11th International Conference and Workshop on Database and Expert Systems Applications, pp.4-8, 2000.

M. , R. Montgomery, E. Ponnusamy, P. S. Wong, E. Et et al., Storing and retrieving software components: a component description manager, Proc. of the 2000 Australian Software Engineering Conf, pp.107-117, 2000.

M. , A. Et, and A. , Toward an engineering discipline of software reuse, IEEE Software, vol.16, issue.5, pp.22-31, 1999.

M. , H. Mili, F. Et, M. , and A. , Reuse software: Issues and research directions, IEEE Trans. Software Eng, vol.21, issue.6, pp.528-562, 1995.

M. , B. Et, A. , and P. , SPARTACAS: automating component reuse and adaptation, IEEE Transactions on Software Engineering, vol.30, issue.9, pp.587-600, 2004.

M. , A. Futatsugi, T. S. Seo, A. Et, I. et al., Software component search based on behavioral specification, Proc. of International Symposium on Future Software Technology, 2001.

N. , S. Et, T. , and T. , Behavioural analysis of the enterprise javabeans component architecture, Model Checking Software Proceedings of the 8th International SPIN Workshop, pp.163-182, 2001.

N. , S. Sophatsathit, P. Et, E. , and W. , Fuzzy subtractive clustering based indexing approach for software components classification, International Journal of Computer and Information Science, vol.5, issue.1, pp.63-72, 2004.

N. , F. Et, D. , and L. M. , Ontology development 101:a guide to creating your fisrt ontology, 2001.

N. , G. Clarke, L. Osterweil, L. Et, D. et al., Verification of concurrent software with flavers, 19th Int'l Conf. Software Eng, pp.594-595, 1997.

N. , J. Et, S. , and H. , Java Beans Programming from the Ground Up, 1998.

O. , C. Et, W. , and L. , A complete fuzzy decision tree technique. Fuzzy Sets System, pp.221-254, 2003.

O. , E. Hendler, J. Prieto-diaz, R. Braun, and C. , Computing similarity in a reuse library system, an ai-based approach, ACM Transactions on Software Engineering and Methodology, pp.205-228, 1992.

P. , M. C. Et, S. , and R. V. , Modelling component libraries for reuse and evolution, the Proceedings of the First Workshop on Model-based Reuse, 2002.

P. , J. Et, H. , and I. , Metamodeling architecture of web ontology languages, International Semantic Web Working Sympsuim (SWWS), pp.131-149, 2001.

P. , M. Kawamura, T. Payne, T. Et, S. et al., Semantic matching of web services capabilities, 1st Intl. Semantic Web Conference, 2002.

P. , D. L. Et, W. , and Y. , The trace assertion method of module interface specification, 1989.

P. , J. Et, A. , and P. , Efficient specification-based component retrieval, Automated Software Engineering, vol.6, issue.2, pp.139-170, 1999.

P. , J. H. Et, E. , and M. D. , Efficient incremental algorithms for dynamic detection of likely invariants, SIGSOFT Softw. Eng. Notes, vol.29, issue.6, pp.23-32, 2004.

P. , A. Et, P. , and L. , Behaviour sampling: A technique for automated retrieval of reusable components, Proceedings of the 14th International Conference on Software Engineering, pp.349-360, 1992.

P. , H. Et, M. , and T. , Self classifying reusable components generating decision trees from test cases, International Conference on Software Eng. and Knowledge Eng, 2000.

R. , S. E. Et, W. , and S. , Some simple effective approximations to the 2-poisson model for probabilistic weighted retrieval, SIGIR '94: Proceedings of the 17th annual international ACM SIGIR conference on Research and development in information retrieval, pp.232-241, 1994.

R. , N. S. Alves, C. F. Cunha, P. R. Castro, J. F. Et et al., Using non-functional requirements to select components: A formal approach, Fourth Workshop Iberoamerican on Software Engineeringand Software Environment, 2001.

R. , I. , M. Clerbout, and A. Bailly, A component oriented notation for behavioral specification and validation, OOPSLA Workshop on Specification and Verification on Component Based Systems, 2001.

S. , F. D. Loke, S. W. Rakotonirainy, A. Et, K. et al., Ui aware: A framework using data mining and collision detection to increase awareness for intersection users, Advanced Information Networking and Applications Workshops, International Conference on, pp.530-535, 2007.

S. , P. P. Et, F. , and D. , Layering the semantic web: Problems and directions, ISWC'02: Proceedings of the First International Semantic Web Conference on the Semantic Web, pp.16-29, 2002.

S. , R. Hissam, S. Et, W. , and K. , Agora: A search engine for software components, IEEE Internet Computing, pp.62-70, 1998.

S. , M. Welty, C. Et, M. , and D. , Owl ontology web language guide, W3C Recommendation, p.3, 2004.

S. , K. Khalil, D. Hamadou, A. B. Et, M. et al., Un environnement de recherche et d'intégration de composant logiciel, Seventh Conference On computer Sciences, 2002.

S. , K. Khalil, D. Et, M. , and J. , SEC: A search engine for component based software development, SAC '06: Proceedings of the 2006 ACM symposium on Applied computing, pp.1745-1750, 2006.

S. , K. Khalil, D. Et, M. , and J. , Sec+: an enhanced search engine for component-based software development, SIGSOFT Softw. Eng. Notes, vol.32, issue.4, p.4, 2007.

S. , K. Khalil, D. Et, M. , and J. , An integration ontology for components composition, International Journal of Web Portals, pp.35-42, 2010.

S. , K. Khalil, D. Et, M. , and J. , Ontology-based discovery and integration, The Third International Conference on the Applications of Digital Information and Web Technologies, 2010.

S. , K. Khalil, D. Et, M. , and J. , Modern Software Engineering Concepts and Practices: Advanced Approaches, chapitre Description, Classification and Discovery Approaches for Software Components: A Comparative Study, pp.196-219, 2011.

S. , P. D. Et, P. , and J. , Virtual environment architectures: Interoperability through software interconnection technology, Proc. of the Third Workshop on Enabling Technologies (WETICE '94): Infrastructure for Collaborative Enterprises, pp.211-224, 1994.

S. , E. A. Yin, X. Et, K. , and J. C. , Echo: a practical approach to formal verification, Proceedings of the 10th international Workshop on Formal Methods For industrial Critical Systems. FMICS '05, pp.44-53, 2005.
DOI : 10.1145/1134285.1134468

S. , K. Widoff, S. Klusch, M. Et, L. et al., Larks: Dynamic matchmaking among heterogeneous software agents in cyberspace, Autonomous Agents and Multi- Agent Systems, vol.5, pp.173-203, 2002.

T. , R. Et, C. , and W. , Support for browsing in an intelligent text retrieval system, International Journal of Man-Machine Studies, vol.30, issue.6, pp.639-668, 1989.

V. , S. Kumar, A. Deepak, G. Et, P. et al., Componentxchange: An e-exchange for software components. ICWI, pp.62-72, 2002.

V. , L. Zaremba, M. Moran, M. Et, B. et al., Web-service semantic enabled implementation of machine vs.machine business negotiation, Proceedings of the IEEE International Conference on Web Services, 2004.

V. , P. Zahedi, F. M. Et, J. , and H. , Knowledge-based repository scheme for storing and retrieving business components: a theoretical design and an empirical analysis, IEEE Transactions on Software Engineering, issue.7, pp.29649-664, 2003.

W. , Y. Et, S. , and E. , Flexible interface matching for web-service discovery, Proceedings of the Fourth International Conference on Web Information Systems Engineering, WISE '03, p.147, 2003.

W. , J. Martin, M. C. Et, L. , and M. S. , Automatic extraction of objectoriented component interfaces, SIGSOFT Softw. Eng. Notes, vol.27, issue.4, pp.218-228, 2002.

X. , X. Tang, J. Li, J. Et, W. et al., A component retrieval method based on facet-weight self-learning, AWCC, pp.437-448, 2004.

Y. , H. Et, E. , and L. , Towards a semantic-based approach for software reusable component classification and retrieval, ACM-SE 42: Proceedings of the 42nd annual Southeast regional conference, pp.110-115, 2004.

Y. , D. M. Et, S. , and R. E. , Protocol specifications and components adaptors, ACM Trans. Prog. Lang. Syst, vol.19, issue.2, pp.292-333, 1997.

Y. , Y. Et, F. , and G. , Context-aware browsing of large component repositories, Proceedings of 16th International Conference on Automated Software Engineering (ASE'01), pp.99-106, 2001.

Z. , A. M. Et, W. , and J. M. , Specification matching of software components, Proceeding. Third Symposium on the Foundations of Software Engineering (FSE3), ACM SIGSOFT, pp.1-17, 1995.

Z. , Z. Svensson, L. Snis, U. Srensen, C. Fgerlind et al., Enhancing component reuse using search techniques, Proceedings of IRIS 23, 2000.