Source code search is an important activity for programmers working on a change task to a software system. As part of a larger project to improve tool support for finding informa...
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
Capturing and using design rationale is becoming a hot topic for software architects, as architectural design decisions are now considered first class entities that should be reco...
Techniques to update executing programs are needed to maintain software for which downtime is not an option. Without guidelines, dynamic update may provoke unreliable and unpredic...
In the context of open source development or software evolution, developers are often faced with test suites which have been developed with no apparent rationale and which may nee...