Program abstraction and instantiation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Communicating sequential processes
Communications of the ACM
A knowledge-base environment for the development of software parts composition systems
ICSE '89 Proceedings of the 11th international conference on Software engineering
ACM Computing Surveys (CSUR)
A transformational approach to generating application-specific environments
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Behavior sampling: a technique for automated retrieval of reusable components
ICSE '92 Proceedings of the 14th international conference on Software engineering
Retrieving reusable software by sampling behavior
ACM Transactions on Software Engineering and Methodology (TOSEM)
Signature matching: a tool for using software libraries
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification matching of software components
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Storing and retrieving software components: a refinement based system
ICSE '94 Proceedings of the 16th international conference on Software engineering
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Role of Opportunism in the Software Design Reuse Process
IEEE Transactions on Software Engineering
Storing and Retrieving Software Components: A Refinement Based System
IEEE Transactions on Software Engineering
A hierarchy-aware approach to faceted classification of objected-oriented components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Corrigenda: a hierarchy-aware approach to faceted classification of object-oriented components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Specification-Based Browsing of Software Component Libraries
Automated Software Engineering
Reusing Software: Issues and Research Directions
IEEE Transactions on Software Engineering
Design Patterns: Abstraction and Reuse of Object-Oriented Design
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Beyond Generic Component Parameters
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Requirements interaction management
ACM Computing Surveys (CSUR)
Design patterns: abstraction and reuse of object-oriented design
Software pioneers
Software reuse: survey and research directions
Journal of Management Information Systems - Special section: Managing virtual workplaces and teleworking with information technology
Hi-index | 0.00 |
This paper describes PARIS, an implemented system that facilitates the reuse of partially interpreted schemas. A schema is a program and specification with abstract, or uninterpreted, entities. Different interpretations of those entities will produce different programs. The PARIS System maintains a library of such schemas and provides an interactive mechanism to interpret a schema into a useful program by means of partially automated matching and verification procedures.