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. ,
SEC+, ACM SIGSOFT Software Engineering Notes, vol.32, issue.4, 2007. ,
DOI : 10.1145/1281421.1281426
Ontology-based discovery and integration, Third International Conference on the Applications of Digital Information and Web Technologies, 2010. ,
SEC: A search engine for component based software engineering, 21st Annual ACM Symposium on Applied Computing, p.18, 2006. ,
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. ,
Workflow patterns, Distrib. Parallel Databases, vol.14, issue.1, pp.5-51, 2003. ,
Mining specifications, POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.4-16, 2002. ,
Business process execution language for web services version 1, 2003. ,
Behavioural retrieval from class libraries, Proceedings of the Eighteenth Australasian Computer Science Conference, pp.13-20, 1995. ,
The Refinement Calculus: A Systematic Introduction, 1998. ,
DOI : 10.1007/978-1-4612-1674-2
High Integrity Software: The SPARK Approach to Safety and Security, 2003. ,
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. ,
Formal specification and prototyping of corba systems, pp.474-494, 1999. ,
The use of mediation and ontology technologies for software component information retrieval, International Symposium on Software Reusability, 2001. ,
The INQUERY retrieval system, Proceedings of the Third International Conference on Database and Expert Systems Applications, pp.78-83, 1992. ,
Extending corba interfaces with p-calculus for protocol compatibility. TOOLS'00, pp.292-333, 2000. ,
Dynamically bounding browsable retrieval spaces an application to galois lattices, Proceedings of RIAO 94: Intelligent Multimedia Information Retrieval Systems and Management, 1994. ,
A lattice conceptual clustering system and its application to browsing retrieval, Machine Learning, 1996. ,
Order-theoretical ranking, Journal of the American Society for Information Science, vol.51, issue.7, pp.587-601, 2000. ,
GANNET: a machine learning approach to document retrieval, Journal of Management Information Systems, vol.11, issue.3, pp.7-41, 1995. ,
Reusing analogous components, IEEE Transactions on Knowledge and Data Engineering, vol.9, issue.2, pp.341-349, 1997. ,
Behavioral specification of distributed software component interfaces, 1999. ,
Classifying software components using design characteristics, Proceedings. The 10th Knowledge-Based Software Engineering Conference (Cat. No.95TB100008), pp.139-146, 1995. ,
La Bandera, Proc. of the Intl. Conf. On Software Engineering, pp.263-276, 2000. ,
DOI : 10.2307/40069397
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. ,
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. ,
Introduction to lattices and order, 1990. ,
Owl web ontology language 1.0 reference, 2002. ,
Lassie: A knowledge-based software information system, Communications of the ACM, vol.34, issue.5, pp.34-49, 1991. ,
Neural network-based retrieval from software reuse repositories, Neural Networks and Pattern Recognition in Human Computer Interaction, pp.215-228, 1992. ,
A multi-agent system infrastructure for software component market-place: An ontological perspective, 2002. ,
Task modeling with reusable problem-solving methods, Artif. Intell, vol.79, issue.2, pp.293-326, 1995. ,
Lclint:a tool for using specifications to check code, InProceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 1994. ,
On the coherence of component protocols, Proceedings of the ETAPS Workshop on Software Composition, 2003. ,
The unified problem-solving method development language UPML, Knowledge and Information Systems, vol.5, issue.1, pp.83-131, 2003. ,
Ontologies and electronic commerce, Intelligent Systems, vol.16, pp.8-14, 2001. ,
The unified problem-solving method development language upml, Knowledge and Information Systems, vol.5, 1999. ,
Facet-based classification scheme for industrial automation software components, 2001. ,
Specifying business components in virtual engineering communities, Ninth Americas Conference on Information Systems, pp.1937-1947, 2003. ,
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. ,
Browsing a component library using non-functional information, Procs. International Conference on Reliable Software Technologies -Ada Europe'99, pp.332-343, 1999. ,
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. ,
ODE SWS: A framework for designing and composing semantic web services, IEEE Intelligent Systems, pp.24-31, 2004. ,
The process specification language (psl) theory and applications, pp.63-74, 2003. ,
Tracking down software bugs using automatic anomaly detection, Proceedings of the International Conference on Software Engineering, 2002. ,
Discovering algebraic specifications from java classes, 15th European conference on objectoriented programming, 2003. ,
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. ,
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. ,
Foundations of the trace assertion method of module interface specification, IEEE Trans. Softw. Eng, vol.27, issue.7, pp.577-598, 2001. ,
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. ,
Improving the effectiveness of information retrieval with clustering and fusion, Computational Linguistics and Chinese Language Processing, pp.109-125, 2001. ,
Resource description framework (rdf) model and syntax specification. W3C -World Wide Web Consortium, p.3, 1999. ,
The semantic web, Scientific American, vol.284, issue.5, 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-00768415
An extended static checker for modula-3, Proc. Compiler Construction: Seventh Int'l Conf. (CC '98), pp.302-305, 1998. ,
A software framework for matching based on semantic web technology, Proc. 12th Int. World Wide Web Conf., World Wide Web Consortium, p.48, 2003. ,
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. ,
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. ,
Software thesaurus: A tool for reusing software objects, Proceedings of the Fourth International Symposium on Assessment of Software Tools (SAST '96), p.99, 1996. ,
Rdf primer, W3C Recommendation, p.3, 2004. ,
Information retrieval with conceptual graph matching. roc. DEXA-2000, 11th International Conference and Workshop on Database and Expert Systems Applications, pp.4-8, 2000. ,
Storing and retrieving software components: a component description manager, Proc. of the 2000 Australian Software Engineering Conf, pp.107-117, 2000. ,
Toward an engineering discipline of software reuse, IEEE Software, vol.16, issue.5, pp.22-31, 1999. ,
Reuse software: Issues and research directions, IEEE Trans. Software Eng, vol.21, issue.6, pp.528-562, 1995. ,
SPARTACAS: automating component reuse and adaptation, IEEE Transactions on Software Engineering, vol.30, issue.9, pp.587-600, 2004. ,
Software component search based on behavioral specification, Proc. of International Symposium on Future Software Technology, 2001. ,
Behavioural analysis of the enterprise javabeans component architecture, Model Checking Software Proceedings of the 8th International SPIN Workshop, pp.163-182, 2001. ,
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. ,
Ontology development 101:a guide to creating your fisrt ontology, 2001. ,
Verification of concurrent software with flavers, 19th Int'l Conf. Software Eng, pp.594-595, 1997. ,
Java Beans Programming from the Ground Up, 1998. ,
A complete fuzzy decision tree technique. Fuzzy Sets System, pp.221-254, 2003. ,
Computing similarity in a reuse library system, an ai-based approach, ACM Transactions on Software Engineering and Methodology, pp.205-228, 1992. ,
Modelling component libraries for reuse and evolution, the Proceedings of the First Workshop on Model-based Reuse, 2002. ,
Metamodeling architecture of web ontology languages, International Semantic Web Working Sympsuim (SWWS), pp.131-149, 2001. ,
Semantic matching of web services capabilities, 1st Intl. Semantic Web Conference, 2002. ,
The trace assertion method of module interface specification, 1989. ,
Efficient specification-based component retrieval, Automated Software Engineering, vol.6, issue.2, pp.139-170, 1999. ,
Efficient incremental algorithms for dynamic detection of likely invariants, SIGSOFT Softw. Eng. Notes, vol.29, issue.6, pp.23-32, 2004. ,
Behaviour sampling: A technique for automated retrieval of reusable components, Proceedings of the 14th International Conference on Software Engineering, pp.349-360, 1992. ,
Self classifying reusable components generating decision trees from test cases, International Conference on Software Eng. and Knowledge Eng, 2000. ,
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. ,
Using non-functional requirements to select components: A formal approach, Fourth Workshop Iberoamerican on Software Engineeringand Software Environment, 2001. ,
A component oriented notation for behavioral specification and validation, OOPSLA Workshop on Specification and Verification on Component Based Systems, 2001. ,
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. ,
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. ,
Agora: A search engine for software components, IEEE Internet Computing, pp.62-70, 1998. ,
Owl ontology web language guide, W3C Recommendation, p.3, 2004. ,
Un environnement de recherche et d'intégration de composant logiciel, Seventh Conference On computer Sciences, 2002. ,
SEC: A search engine for component based software development, SAC '06: Proceedings of the 2006 ACM symposium on Applied computing, pp.1745-1750, 2006. ,
Sec+: an enhanced search engine for component-based software development, SIGSOFT Softw. Eng. Notes, vol.32, issue.4, p.4, 2007. ,
An integration ontology for components composition, International Journal of Web Portals, pp.35-42, 2010. ,
Ontology-based discovery and integration, The Third International Conference on the Applications of Digital Information and Web Technologies, 2010. ,
Modern Software Engineering Concepts and Practices: Advanced Approaches, chapitre Description, Classification and Discovery Approaches for Software Components: A Comparative Study, pp.196-219, 2011. ,
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. ,
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
Larks: Dynamic matchmaking among heterogeneous software agents in cyberspace, Autonomous Agents and Multi- Agent Systems, vol.5, pp.173-203, 2002. ,
Support for browsing in an intelligent text retrieval system, International Journal of Man-Machine Studies, vol.30, issue.6, pp.639-668, 1989. ,
Componentxchange: An e-exchange for software components. ICWI, pp.62-72, 2002. ,
Web-service semantic enabled implementation of machine vs.machine business negotiation, Proceedings of the IEEE International Conference on Web Services, 2004. ,
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. ,
Flexible interface matching for web-service discovery, Proceedings of the Fourth International Conference on Web Information Systems Engineering, WISE '03, p.147, 2003. ,
Automatic extraction of objectoriented component interfaces, SIGSOFT Softw. Eng. Notes, vol.27, issue.4, pp.218-228, 2002. ,
A component retrieval method based on facet-weight self-learning, AWCC, pp.437-448, 2004. ,
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. ,
Protocol specifications and components adaptors, ACM Trans. Prog. Lang. Syst, vol.19, issue.2, pp.292-333, 1997. ,
Context-aware browsing of large component repositories, Proceedings of 16th International Conference on Automated Software Engineering (ASE'01), pp.99-106, 2001. ,
Specification matching of software components, Proceeding. Third Symposium on the Foundations of Software Engineering (FSE3), ACM SIGSOFT, pp.1-17, 1995. ,
Enhancing component reuse using search techniques, Proceedings of IRIS 23, 2000. ,