On merging software extensions
Acta Informatica
A Prototyping Language for Real-Time Software
IEEE Transactions on Software Engineering
Integrating noninterfering versions of programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software engineering with abstractions
Software engineering with abstractions
The point of view notion for multiple inheritance
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Interfaces and specifications for the Smalltalk-80 collection classes
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Monotonic conflict resolution mechanisms for inheritance
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Combination of inheritance hierarchies
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Efficient handling of multiple inheritance hierarchies
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Building and maintaining analysis-level class hierarchies using Galois Lattices
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Software merge: semantics of combining changes to programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Program integration for languages with procedure calls
ACM Transactions on Software Engineering and Methodology (TOSEM)
Merging Changes to Software Specifications
RTSE '97 Proceedings of the International Workshop on Requirements Targeting Software and Systems Engineering
A Theory of Program Modifications
TAPSOFT '91 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD)
Incremental Inheritance Mechanism and its Message Evaluation Method
BIWIT '97 Proceedings of the 3rd Basque International Workshop on Information Technology (BIWIT '97)
Hi-index | 0.00 |
Software development as an enterprise is at a critical place in history. We are now developing needs for software faster than we can develop solutions. The future of software engineering is in providing computer-aided tools for automating as much of the evolution process as possible, so we can hope to meet the software needs of the future. Our argument is that software should not be built and then maintained, but should be evolved, from the first requirements analysis, to system retirement. If we build software for evolution, it is generally easier to make changes to that software, whether they are corrective, adaptive, or perfective. This paper outlines a method of applying changes to abstract types that extends a previous change-merging method for executable prototypes written in the Prototype System Description Language (PSDL). PSDL prototypes consist of a set of operators and a set of abstract data types. Previous work focused on merging changes to PSDL prototypes consisting of only operators. Our current work is aimed at providing a model for merging changes to PSDL types as well, thus completing the change merging method for complete prototypes. The model outlined in this paper reflects our latest results in this endeavor.