Crystal: precise and
unobtrusive conflict warnings
Proactive detection of
collaboration conflicts
Communication
patterns of agile requirements engineering
First
workshop on developing tools as plug-ins (TOPI 2011)
Identifying opaque behavioural
changes
Identifying
program, test, and environmental changes that affect behaviour
Speculative
analysis: exploring future development states of software
Using twinning to
adapt programs to alternative APIs
Enhancing static
source code search with dynamic data
Exposing unforeseen
consequences of software change
Program
element matching for multi-version program analyses
An empirical study of code
clone genealogies
Design
snippets: partial design representations extracted from source code
Longitudinal program analysis
Architecture-centric
programming for adaptive systems
ArchJava:
connecting software architecture to implementation
Quickly detecting
relevant program invariants
An empirical study
of static call graph extractors
Improving
efficiency of symbolic model checking for state-based system requirements
Strategic
directions in software engineering and programming languages
Model checking large
software specifications
Decoupling change from design
Using
role components in implement collaboration-based designs
Software
reflexion models: bridging the gap between source and high-level models
Lightweight source model
extraction
Automated assistance for
program restructuring
Reconciling
environment integration and software evolution
Reconciling
environment integration and component independence
The
relationship between software development environments and the software
process
Voyeur: graphical views of
parallel programs
Applying
software process models to the full lifecycle is premature
Interconnecting
heterogeneous computer systems
Experiences with poker
Enhancement
through extension: the extension interpreter
An experience with parallelism in
Ada
Cheating Policy in a
Computer Science Department