The Computer Journal
Interacting with the FIELD environment
Software—Practice & Experience - Unix tools
The Pan language-based editing system for integrated development
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
An environment for documenting software features
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
A program integration algorithm that accommodates semantics-preserving transformations
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
The Proteus presentation system
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Signature matching: a key to reuse
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
LCLint: a tool for using specifications to check code
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Lightweight source model extraction
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Simplifying data integration: the design of the desert software development environment
Proceedings of the 18th international conference on Software engineering
Automatic code generation from design patterns
IBM Systems Journal
An experience using design patterns: lessons learned and tool support
Theory and Practice of Object Systems - Special issue on patterns
Supporting the restructuring of data abstractions through manipulation of a program visualization
ACM Transactions on Software Engineering and Methodology (TOSEM)
ACM Transactions on Software Engineering and Methodology (TOSEM)
Change impact analysis for object-oriented programs
PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
ESP: path-sensitive program verification in polynomial time
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
Open Source Development with CVS
Open Source Development with CVS
The Field Programming Environment: A Friendly Integrated Environment for Learning and Development
The Field Programming Environment: A Friendly Integrated Environment for Learning and Development
A Language Framework for Expressing Checkable Properties of Dynamic Software
Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
Formal Verification of UML Diagrams: A First Step Towards Code Generation
Workshop of the pUML-Group held together with the «UML»2001 on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists
Working with Patterns and Code
HICSS '00 Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 8 - Volume 8
Scalable Consistency Checking Between Diagrams-The ViewIntegra Approach
Proceedings of the 16th IEEE international conference on Automated software engineering
Constraining Software Evolution
ICSM '02 Proceedings of the International Conference on Software Maintenance (ICSM'02)
Using Specifications to Check Source Code
Using Specifications to Check Source Code
Guest Editors' Introduction: Model-Driven Development
IEEE Software
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Specifying and checking component usage
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Incremental Maintenance of Software Artifacts
ICSM '05 Proceedings of the 21st IEEE International Conference on Software Maintenance
Common Lisp: The Language
On the updatability of relational views
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
IEEE Software
FLAVERS: a finite state verification technique for software systems
IBM Systems Journal
Traceability and completeness checking for agent-oriented systems
Proceedings of the 2008 ACM symposium on Applied computing
TQL: A query language to support traceability
TEFSE '09 Proceedings of the 2009 ICSE Workshop on Traceability in Emerging Forms of Software Engineering
Partial constraint checking for context consistency in pervasive computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Incremental model synchronization in model driven development environments
CASCON '09 Proceedings of the 2009 Conference of the Center for Advanced Studies on Collaborative Research
Representativeness models of systems: smart grid example
Innovations in Systems and Software Engineering
Incremental consistency checking for complex design rules and larger model changes
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Managing environment and adaptation risks for the internetware paradigm
Theories of Programming and Formal Methods
Hi-index | 0.00 |
Software is multidimensional, but the tools that support it are not. This lack of tool support causes the software artifacts representing different dimensions to evolve independently and to become inconsistent over time. In order to properly support the evolution of software, one must ensure that the different dimensions evolve concurrently. We have built a software development tool, CLIME, that uses constraints implemented as database queries to ensure just this. Our approach makes the tool responsible for detecting inconsistencies between software design, specifications, documentation, source code, test cases, and other artifacts without requiring any of these to be a primary representation. The tool works incrementally as the software evolves, without imposing a particular methodology or process. It includes a front end that lets the user explore and fix current inconsistencies. This paper describes the basis for CLIME, the techniques underlying the tool, the interface provided to the programmer, the incremental maintenance of constraints between these artifacts, and our experiences.