Munro, Malcolm - Department of Computer Science, University of Durham

E-print Network

FAQ • HELP • SITE MAP • CONTACT US

Powered by Explorit

Advanced Search

Munro, Malcolm - Department of Computer Science, University of Durham

0740-7459/04/$20.00 2004 IEEE Published by the IEEE Computer Society IEEE SOFTWARE 7 1 evolution. While they address some aspects of
An Architectural Model for Service-Based Software with Ultra Rapid Evolution.
Prototype Implementations of an Architectural Model for Service-Based Flexible Software
IMPLEMENTING A DOCUMENT-BASED REQUIREMENTS TRACEABILITY: A CASE STUDY
Copyright 2001 CSREA. Published in The 2001 International Conference on
A REQUIREMENTS TRACEABILITY TO SUPPORT CHANGE IMPACT ANALYSIS
Software Architecture Visualization: An Evaluation Framework and Its Application
Weakest Precondition for General Recursive Programs Formalized in Coq
Moral Dominance Relations for Program Comprehension
Generalized partition testing via Bayes linear methods
Identifying Structural Features of Java Programs by Analysing the Interaction of Classes at Runtime
PROVIDING A USER CUSTOMISABLE TOOL FOR SOFTWARE VISUALISATION AT RUNTIME
A Post-Placement Side-Effect Removal Algorithm Mark Harman
Copyright 2002 IEEE Published in the First IEEE International Workshop on
An Architectural Model for Service-Based Flexible Software Keith Bennett, Jie Xu, Nicolas Gold, Malcolm Munro, and Zhuang Hong
Copyright 2002 IEEE Published in the First IEEE International Workshop on
N. LOOKER et al.: SIMULATING ERRORS IN WEB SERVICES I.J. of SIMULATION Vol. 5 No. 5 29 ISSN 1473-804x online, 1473-8031 print
Formal Verification of Communication Protocol using Type Theory
JOURNAL OF SOFTWARE MAINTENANCE: RESEARCH AND PRACTICE J. Softw. Maint: Res. Pract. 2000; 00:12 Prepared using smrauth.cls [Version: 2001/03/16 v1.01]