PARIS: a system for reusing partially interpreted schemas
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Keynote address - data abstraction and hierarchy
OOPSLA '87 Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum)
Classification of reusable modules
Software reusability: vol. 1, concepts and models
ICSE '89 Proceedings of the 11th international conference on Software engineering
Reasoning about object-oriented programs that use subtypes
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Retrieving re-usable software components by polymorphic type
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Specification-level interoperability
Communications of the ACM - Special issue on software engineering
An Information Retrieval Approach for Automatically Constructing Software Libraries
IEEE Transactions on Software Engineering
Computing similarity in a reuse library system: an AI-based approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
Type isomorphisms in a type-assignment framework
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Visualization of a document collection: the vibe system
Information Processing and Management: an International Journal
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Signature matching: a tool for using software libraries
ACM Transactions on Software Engineering and Methodology (TOSEM)
Cognitive tools for locating and comprehending software objects for reuse
ICSE '91 Proceedings of the 13th international conference on Software engineering
Storing and retrieving software components: a refinement based system
ICSE '94 Proceedings of the 16th international conference on Software engineering
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Introduction to Modern Information Retrieval
Introduction to Modern Information Retrieval
Thoughts on a Larch/ML and a New Application for LP
Proceedings of the first First International Workshop on Larch
Designing an Object-Oriented Programming Language with Behavioural Subtyping
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Signature matching: a tool for using software libraries
ACM Transactions on Software Engineering and Methodology (TOSEM)
The use of description logics in KBSE systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Storing and Retrieving Software Components: A Refinement Based System
IEEE Transactions on Software Engineering
A model for compound type changes encountered in schema evolution
ACM Transactions on Database Systems (TODS)
Supporting component-based reuse in CARE
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
A survey of software reuse libraries
Annals of Software Engineering
Efficient Specification-Based Component Retrieval
Automated Software Engineering
Type Management: A Key to Software Reuse in Open Distributed Systems
EDOC '97 Proceedings of the 1st International Conference on Enterprise Distributed Object Computing
A Specification-Based Software Construction Framework for Reuse
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Formal Methods for Component Software: The Refinement Calculus Perspective
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Components, Contracts, and Connectors for the Unified Modelling Language UML
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Connector Modeling Method for Component Extraction
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Modelling Formal Integrated Component Retrieval
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Truth vs Knowledge: The Difference Between What a Component Does and What We Know It Does
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
A semantic-based approach to component retrieval
ACM SIGMIS Database
SPARTACAS Automating Component Reuse and Adaptation
IEEE Transactions on Software Engineering
A basic model for components implementation of software architecture
ACM SIGSOFT Software Engineering Notes
A formal approach to specifying and testing the interoperation between components
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
Shortening retrieval sequences in browsing-based component retrieval using information entropy
Journal of Systems and Software
A Component-Based Systems Development Approach
Journal of Integrated Design & Process Science
An Institutional Theory for #-Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards effects-based service description and integration in pervasive environments
Proceedings of the 3rd international workshop on Services integration in pervasive environments
WSMO-MX: A hybrid Semantic Web service matchmaker
Web Intelligence and Agent Systems
OWLS-MX: A hybrid Semantic Web service matchmaker for OWL-S services
Web Semantics: Science, Services and Agents on the World Wide Web
A framework for systematic synthesis of transactional middleware
Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
A methodology for e-service substitutability in a virtual district environment
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Structural and semantic similarity metrics for web service matchmaking
EC-Web'07 Proceedings of the 8th international conference on E-commerce and web technologies
E-service classification techniques to support discovery in a mobile multichannel environment
WISEW'03 Proceedings of the Fourth international conference on Web information systems engineering workshops
A combinatory framework of Web 2.0 mashup tools, OWL-S and UDDI
Expert Systems with Applications: An International Journal
The ESTEEM platform: enabling P2P semantic collaboration through emerging collective knowledge
Journal of Intelligent Information Systems
An extended planning mechanism to increase web service utilization
APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
Flexible interconnection of graph transformation modules
Formal Methods in Software and Systems Modeling
Managing dynamic repositories for digital content components
EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
Compatibility test and adapter generation for interfaces of software components
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
Adding fault-tolerance using pre-synthesized components
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
A novel component retrieval method based on weighted facet tree
The Journal of Supercomputing
Hi-index | 0.00 |