Table of Contents
Table of ContentsP. Thiran, J. Hainaut, G. Houben, D. Benslimane
Wrapper-based Evolution of Legacy Information Systems
M. Brambilla,S. Ceri, P. Fraternali,
I. Manolescu
Process Modeling in Web
Applications
G. Snelting, T. Robschink,
J. Krinke
Efficient Path Conditions in
Dependence Graphs for Software Safety Analysis
R. Hierons
Avoiding
Coincidental Correctness in Boundary Value Analysis
A. Sinha, C. Smidtsz
HOTTest: A Model
Based Test Design Technique for Enhanced Testing of Domain Specific
Applications
A. Murphy,G. P. Picco,
G. Roman
Lime: A
Coordination Model and Middleware Supporting Mobility of Hosts and
Agents
S. Counsell, J. Crampton,
S. Swift
The
Interpretation and Utility of Three Cohesion Metrics for
Object-Oriented Design
M. Fisher II, G. Rothermel, D. Brown,
M. Cao, C. Cook, M. Burnett
Integrating
Automated Test Generation into the WYSIWYT Spreadsheet Testing
Methodology
W. Zhao, L. Zhang, Y. Liu, J. Sun,
F. Yang
SNIAFL:
Towards a Static Non-Interactive Approach to Feature
Location
R. Eshuis
Symbolic
model checking of UML activity diagrams
J. Dosem, D. Basin,
T. Lodderstedt
Model
Driven Security: from UML Models to Access Control
Infrastructures
C. Snook, M. Butler
UML-B:
Formal modelling and design aided by UML
Last modified: Mon May 30 14:50:41 CEST 2005