- 3/03 Invited talk, UML and
concurrency at ASM 2003
02
- 10/02 Modelling recursive calls with UML
state diagrams (or as ps) Joint with
Jennifer Tenzer. Accepted for FASE2003.
- 11/02 Invited talk, Playing Games with UML
tools at FMCO
02
- 8/02 Small-scale XMI
programming; a revolution in UML tool use? to appear in Journal of
Automated Software Engineering. © Kluwer. Extended and updated journal
version of XSE paper below.
- 6/02 On the interpretation of
binary associations in the Unified Modelling Language (also as ps) © Springer-Verlag in Journal of Software and Systems Modeling,
vol 1 no 1, September 2002. Extended and updated journal version of UML
paper below.
- 5/02 Joint with C. Canevet, S. Gilmore, J. Hillston.
Performance modelling
with UML and stochastic process algebras (also as
ps) In proceedings of
UK PEW 2002, May 2002.
- 4/02 Invited talk, Playing Games with Software Design at the
Coordination
conference. Here is the abstract
and the slides (ps) and slides (pdf)
- 12/01 Patterns in software maintenance: learning from experience
Chapter in Advances in Software Maintenance Management: Technologies
and Solutions to appear. (Mail me for a preprint)
- 11/01 Has the pattern emperor any clothes?
A controversy in three acts Joint with Luciana d'Adderio, Rick
Dewar and Ashley Lloyd. In ACM/SIGSOFT Software Engineering Notes, Jan/Feb
2002.
- 10/01 Joint with Julian Bradfield and Juliana Kuester Filipe: Enriching OCL using observational
mu-calculus in proceedings of FASE2002,
©
Springer-Verlag. A paper discussing how to express temporal contracts
in a version of the modal mu calculus incorporating OCL.
- 8/01 Functional programming languages for
verification tools: experiences with ML and Haskell with Martin
Leucker, Thomas Noll and Michael Weber, in the Draft
Proceedings of the Scottish Functional Programming Workship, 2001.
- 8/01 Book review of John Derrick and Eerke
Boiten's Refinement in Z and Object-Z. This is a preprint of an
article to appear in the Journal of Software Testing, Verification and
Reliability.
- 5/01Getting value from UML tools
a "class" given at UMLWorld2001. See XMI Hackers'
Homepage
- 3/01 Small-scale XMI programming: a revolution in
UML tool use? In XSE2001; journal version in progress.
- 5/01XMI and MOF: a mini-tutorial
given at XSE2001. See XMI Hackers'
Homepage
- 3/01 On associations in the Unified
Modelling Language in
proceedings of UML2001, © Springer-Verlag. A paper
discussing some problems of interpretation of associations in UML and
possible solutions (also as PDF).
- 10/00 On use cases and their relationships in
the Unified Modelling Language in FASE2001, © Springer-Verlag.
- 2/00 Web Wanderer column for a
trial edition of IEE Informatics, about web sites for patterns.
- 9/00 Advanced Tools for UML: now and in the
future tutorial given at UML2000. PDF version
- 4/99 UML for describing product-line
architectures? (.ps) or the same in PDF. A
position paper, presented at the ECOOP workshop on Object Technology for
Product-Line Architectures, June 1999.
- 10/98 Identifying and communicating
expertise in systems reengineering: a patterns approach with Rick
Dewar, Ashley Lloyd and Rob Pooley. In IEE Proceedings Software, vol 146 no
3. If you want to know about reengineering patterns this is probably the
best paper to read.
- 5/99 Talks on Modelling Product Line Architectures in UML.
Longer talk
given at Keele and
shorter (but later) variant
given at Edinburgh Jamboree. Actually these
are not so very finished: early ideas only.
- 2/99 A
Verification Tool Developer's Vade Mecum which appears as `opinion' in
`Sotware Tools for Technology Transfer (STTT); and a
short version Some Issues in the Software Engineering of Verification
Tools which appears in the proceedings of TACAS'99. To get these
you need the appropriate Springer subscription. Here is a rather different
tech report version for free.
- 6/98 In Proceedings of Software Engineering Education Symposium 98
Updating the software engineering curriculum at
Edinburgh University
The story of SEOC1/2.
- 8/98 In ECOOP Workshop Reader, as part of the
section on the
Workshop on Object Oriented Reengineering:
Report of the working group on reengineering
patterns
- 8/98 In VMCAI'98 (the version here is longer and includes proofs)
Abstract Interpretations of Games
and the
slides from the presentation.
If you want to know about abstract games, and are more interested in the
underlying theory than the algorithm for strategy search, this later paper
is probably a better place to start than the CONCUR paper.
- 7/98 Slides from talk at BCS Software Reuse SIG on Componentware
Development
Using UML in component-based development ++
- 3/98 In FICS'98, with Julian Bradfield
Observational mu calculus
and the
slides from the presentation.
- 4/98 In ACM-SIGSOFT FSE-6, with Rob Pooley
Systems Reengineering Patterns
and the slides from the presentation
(including a few I didn't actually use).
- 4/98 Position paper accepted for ECOOP workshop on OO
Reengineering, with Rob Pooley
abstract
and the rest and .ps
- 3/98 In CONCUR 98, © Springer-Verlag, see Springer
Abstract games for infinite state
processes and the
slides from the presentation (one slide
got hand-drawn though, and doesn't make sense in this version).
- 3/98 CSG report, with Rob Pooley
Systems Reengineering Patterns
- 5/2/98 ML Club talk:
Experiences with the ML module system, or, Why I Hate ML.
Slides,
code listing after slide 6,
code listing after slide 9
- 2/98 Position paper for SEBPC workshop, with Rob Pooley:
Software Reengineering Patterns
- 1/98 TACAS 98 paper, with Colin Stirling:
Practical Model-Checking using Games
plus the
slides from the talk.
Also a tech report version with proofs (the
proofs are not very elegant, though, and in fact are specialised versions
of the abstract game proofs).d
- 11/96 Systems lecture:
Perl: practical extraction and report language or pathologically
eclectic rubbish lister?
slides (complete
with the typo on slide 6, finding which is left as an exercise for any
reader!).
- 8/96 CONCUR 96 tool presentation:
Games with the Edinburgh Concurrency Workbench
slides and very short paper