- Experiences maintaining
- Abstract games for infinite state processes Perdita Stevens ?
- Trust and compliance: today's online environment, pregnancy and personalisation
- Intracellular modelling of viral infections Perdita Stevens
- On Use Cases and Their Relationships in the Unified Modelling Language
- Design Patterns Perdita Stevens, University of Edinburgh
- SoSyM manuscript No. (will be inserted by the editor)
- Modelling recursive calls with UML state Jennifer Tenzer ? and Perdita Stevens ??
- A revolution in UML tool use? Tool adaptation, extension and
- Observational mucalculus Julian Bradfield ? and Perdita Stevens ??
- Systems Reengineering Patterns Perdita Stevens (Perdita.Stevens@dcs.ed.ac.uk) and
- The Edinburgh Concurrency Workbench user manual (Version 7.1)
- Perdita Stevens, University of Edinburgh Concurrency and threads
- Performance modelling with UML and stochastic process algebras
- A revolution in UML tool use? Tool adaptation, extension and
- Intro to Design Patterns: after-course work 2 July 2010
- Introduction to object orientation Perdita Stevens, University of Edinburgh
- Introduction to Java Perdita Stevens, University of Edinburgh
- Intro to Java: after-course work 22 April 2010
- Introduction to the Unified Modeling Language Perdita Stevens, University of Edinburgh
- More on Patterns Perdita Stevens, University of Edinburgh
- Web Development in Java Perdita Stevens, University of Edinburgh
- Dagstuhl Seminar on Bidirectional Transformations (BX) Zhenjiang Hu
- Model-driven development, traceability and games
- A simple game-theoretic approach to checkonly QVT Relations
- SoSyM manuscript No. (will be inserted by the editor)
- A landscape of bidirectional model transformations
- Bidirectional model transformations in QVT: semantic issues and open questions
- UML and Concurrency Perdita Stevens
- Small-scale XMI programming: a revolution in UML tool use?
- This note has a parallel existence as a draft of an article invited for trial issue of IEE Infor-matics, aimed at a general computer-literate audience. Suggestions for improvement in the next
- Advanced Tools for UML: now and in the future
- Documentation for Python Extractor / Reflector Catherine Canevet, Matthew Prowse
- Documentation for Java Extractor / Reflector Catherine Canevet, Matthew Prowse
- Getting value from UML tools Perdita Stevens
- Systems reengineering patterns Perdita Stevens and Rob Pooley, Dept of Computer Science, University of Edinburgh
- More on object orientation Perdita Stevens, University of Edinburgh
- Towards an algebraic theory of bidirectional transformations
- CRC cards: a tool for thinking objects Perdita Stevens, University of Edinburgh
- Software Reengineering Patterns Rob Pooley (rjp@dcs.ed.ac.uk) and Perdita Stevens
- Intro to UML: after-course work 22 April 2010
- Functional programming languages for verification tools: experiences with ML and Haskell
- Towards an algebraic theory of bidirectional transformations
- GUIDE: Games with UML for Interactive Design Exploration
- Playing games with UML tools Perdita Stevens
- Analysing UML 2.0 activity diagrams in the software performance engineering process
- Has the Pattern Emperor any Clothes? A Controversy in Three Acts
- Informatics http://www.dcs.ed.ac.uk/home/pxs
- The Edinburgh Concurrency Workbench user manual (Version 7.1)
- Intro to OO: after-course work 12 March 2010
- A simple game-theoretic approach to checkonly QVT Relations
- More on the Unified Modeling Language Perdita Stevens, University of Edinburgh
- On the interpretation of binary associations in the Unified Modelling Language
- Inheritance, subtyping and polymorphism Perdita Stevens, University of Edinburgh
- A simple game-theoretic approach to checkonly QVT Relations Perdita Stevens
- Recursive checkonly QVT-R transformations with general when and where clauses via the
