RCS—a system for version control
Software—Practice & Experience
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Version control in the Inscape environment
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Infuse: a tool for automatically managing and coordinating source changes in large systems
CSC '87 Proceedings of the 15th annual conference on Computer Science
An axiomatic basis for computer programming
Communications of the ACM
A Discipline of Programming
Organizing software in a distributed environment
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Computer-Aided Software Engineering in a distributed workstation environment
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Version control in the Inscape environment
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Models of software development environments
ICSE '88 Proceedings of the 10th international conference on Software engineering
SDA: A novel approach to software environment design and construction
ICSE '88 Proceedings of the 10th international conference on Software engineering
Rigi-A system for programming-in-the-large
ICSE '88 Proceedings of the 10th international conference on Software engineering
Software process modeling: a behavioral approach
ICSE '88 Proceedings of the 10th international conference on Software engineering
Foundations for the Arcadia environment architecture
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A graph transform model for configuration management environments
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
ICSE '89 Proceedings of the 11th international conference on Software engineering
Configuration management in BiiN SMS
ICSE '89 Proceedings of the 11th international conference on Software engineering
Graphical Configuration Programming
Computer
Problems of scale and process models
ISPW '88 Proceedings of the 4th international software process workshop on Representing and enacting the software process
A behavioral approach to software process modelling
ISPW '88 Proceedings of the 4th international software process workshop on Representing and enacting the software process
Configuration support for system description, construction and evolution
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Domain analysis: from art form to engineering discipline
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Automating software analysis and testing using a program transformation system
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
A practical approach to semantic configuration management
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
The logic of propagation in the inscape environment
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
The Evolving Philosophers Problem: Dynamic Change Management
IEEE Transactions on Software Engineering
A decision-based configuration process model
ICSE '90 Proceedings of the 12th international conference on Software engineering
Approximate Reasoning About the Semantic Effects of Program Changes
IEEE Transactions on Software Engineering
Models of Software Development Environments
IEEE Transactions on Software Engineering
Projecting Software Defects from Analyzing Ada Designs
IEEE Transactions on Software Engineering - Special issue on software measurement principles, techniques, and environments
A reverse engineering environment based on spatial and visual software interconnection models
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Personalized information structures
SIGDOC '93 Proceedings of the 11th annual international conference on Systems documentation
Abstractions for Software Architecture and Tools to Support Them
IEEE Transactions on Software Engineering - Special issue on software architecture
Models and languages for component description and reuse
ACM SIGSOFT Software Engineering Notes
Composition Validation and Subjectivity in GenVoca Generators
IEEE Transactions on Software Engineering
A process for consolidating and reusing design knowledge
ICSE '93 Proceedings of the 15th international conference on Software Engineering
The Graft-Host method for design change
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software evolution and “light” semantics (extended abstract)
Proceedings of the 21st international conference on Software engineering
Infuse: a tool for automatically managing and coordinating source changes in large systems
CSC '87 Proceedings of the 15th annual conference on Computer Science
Towards a taxonomy of software connectors
Proceedings of the 22nd international conference on Software engineering
Extracting and Restructuring the Design of Large Systems
IEEE Software
KBMS: A Knowledge-Based System for Modeling Software System Specifications
IEEE Transactions on Knowledge and Data Engineering
QDA - A Method for Systematic Informal Program Analysis
IEEE Transactions on Software Engineering
A Framework for Source Code Search Using Program Patterns
IEEE Transactions on Software Engineering
A model independent source code repository
CASCON '99 Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
Modeling and querying software repositories
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Representing architectural evolution
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
Modal Logic as a Design Notation
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
A Formal Method to Software Integration in Reuse
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Documenting-in-the-large vs. documenting-in-the-small
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Dependency solving: A separate concern in component evolution management
Journal of Systems and Software
Hi-index | 0.00 |
We present a formulation of interconnection models and present the unit and syntactic models — the primary models used for managing the evolution of large software systems. We discuss various tools that use these models and evaluate how well these models support the management of system evolution. We then introduce the semantic interconnection model. The semantic interconnection model incorporates the advantages of the unit and syntactic interconnection models and provides extremely useful extensions to them. By refining the grain of interconnections to level of semantics (that is, to the predicates that define aspects of behavior) we provide tools that are better suited to manage the details of evolution in software systems and that provide a better understanding of the implications of changes. We do this by using the semantic interconnection model to formalize the semantics of program construction, the semantics of changes, and the semantics of version equivalence and compatibility. Thus, with this formalization, we provide tools that are knowledgeable about the process of system construction and evolution and that work in symbiosis with the system builders to construct and evolve large software systems.