 | 2010 |
|---|
| 40 |       | Perdita Stevens:
Bidirectional model transformations in QVT: semantic issues and open questions.
Software and System Modeling 9(1): 7-20 (2010) |
| 2009 |
|---|
| 39 | | Perdita Stevens:
A Simple Game-Theoretic Approach to Checkonly QVT Relations.
ICMT 2009: 165-180 |
| 2008 |
|---|
| 38 | | Perdita Stevens:
Towards an Algebraic Theory of Bidirectional Transformations.
ICGT 2008: 1-17 |
| 2007 |
|---|
| 37 |  | Ed Brinksma,
David Harel,
Angelika Mader,
Perdita Stevens,
Roel Wieringa:
Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 |
| 36 | | Perdita Stevens:
A Landscape of Bidirectional Model Transformations.
GTTSE 2007: 408-424 |
| 35 | | Perdita Stevens:
Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions.
MoDELS 2007: 1-15 |
| 34 | | Jennifer Tenzer,
Perdita Stevens:
GUIDE: Games with UML for interactive design exploration.
Knowl.-Based Syst. 20(7): 652-670 (2007) |
| 2006 |
|---|
| 33 | | Ed Brinksma,
David Harel,
Angelika Mader,
Perdita Stevens,
Roel Wieringa:
06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS).
MMOSS 2006 |
| 32 | | Ed Brinksma,
David Harel,
Angelika Mader,
Perdita Stevens,
Roel Wieringa:
06351 Summary -- Methods for Modelling Software Systems (MMOSS).
MMOSS 2006 |
| 31 | | Jennifer Tenzer,
Perdita Stevens:
On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams.
Formal Asp. Comput. 18(4): 397-420 (2006) |
| 2005 |
|---|
| 30 | | Perdita Stevens:
A Practical Introduction to Games, Infinity and the Edinburgh Concurrency Workbench.
FIW 2005: 35-36 |
| 29 | | Martin Leucker,
Thomas Noll,
Perdita Stevens,
Michael Weber:
Functional programming languages for verification tools: a comparison of Standard ML and Haskell.
STTT 7(2): 184-194 (2005) |
| 28 | | Perdita Stevens,
Jon Whittle:
Guest editorial to the special issue on UML2003.
Software and System Modeling 4(4): 353-354 (2005) |
| 2004 |
|---|
| 27 | | C. Canevet,
Stephen Gilmore,
Jane Hillston,
Leïla Kloul,
Perdita Stevens:
Analysing UML 2.0 activity diagrams in the software performance engineering process.
WOSP 2004: 74-78 |
| 26 | | Joost-Pieter Katoen,
Perdita Stevens:
Guest editors' introduction: Advancements and extensions of verification techniques.
STTT 6(2): 99-101 (2004) |
| 2003 |
|---|
| 25 | | Perdita Stevens,
Jon Whittle,
Grady Booch:
«UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings
Springer 2003 |
| 24 | | Elie Najm,
Uwe Nestmann,
Perdita Stevens:
Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings
Springer 2003 |
| 23 | | Perdita Stevens:
UML and Concurrency.
Abstract State Machines 2003: 151-165 |
| 22 | | Jennifer Tenzer,
Perdita Stevens:
Modelling Recursive Calls with UML State Diagrams.
FASE 2003: 135-149 |
| 21 | | Hubert Baumeister,
Nora Koch,
Piotr Kosiuczenko,
Perdita Stevens,
Martin Wirsing:
UML for Global Computing.
Global Computing 2003: 1-24 |
| 20 | | Perdita Stevens:
Small-Scale XMI Programming: A Revolution in UML Tool Use?
Autom. Softw. Eng. 10(1): 7-21 (2003) |
| 2002 |
|---|
| 19 | | Joost-Pieter Katoen,
Perdita Stevens:
Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings
Springer 2002 |
| 18 | | Perdita Stevens:
Playing Games with Software Design.
COORDINATION 2002: 1 |
| 17 | | Julian C. Bradfield,
Juliana Küster Filipe,
Perdita Stevens:
Enriching OCL Using Observational Mu-Calculus.
FASE 2002: 203-217 |
| 16 | | Perdita Stevens,
Jennifer Tenzer:
Games for UML Software Design.
FMCO 2002: 467-486 |
| 15 | | Arie van Deursen,
Timothy Lethbridge,
Perdita Stevens:
Panel Introducion.
ICSM 2002: 248- |
| 14 | | Perdita Stevens:
Refinement in Z and object-Z: foundations and advanced applications.
Softw. Test., Verif. Reliab. 12(1): 61 (2002) |
| 13 | | Perdita Stevens:
On the interpretation of binary associations in the Unified Modelling Language.
Software and System Modeling 1(1): 68-79 (2002) |
| 2001 |
|---|
| 12 | | Perdita Stevens:
On Use Cases and Their Relationships in the Unified Modelling Language.
FASE 2001: 140-155 |
| 11 | | Perdita Stevens:
On Associations in the Unified Modelling Language.
UML 2001: 361-375 |
| 1999 |
|---|
| 10 | | Perdita Stevens:
UML for Describing Product-Line Architectures?
ECOOP Workshops 1999: 199 |
| 9 | | Andy Evans,
Robert B. France,
Guy Genilloud,
Brian Henderson-Sellers,
Perdita Stevens:
Aggregation.
ECOOP Workshops 1999: 55-56 |
| 8 | | Perdita Stevens:
Some Issues in the Software Engineering of Verification Tools.
TACAS 1999: 435-438 |
| 7 | | Rick Dewar,
Ashley D. Lloyd,
Rob Pooley,
Perdita Stevens:
Identifying nd communicting expertise in systems reengineering: a patterns approach.
IEE Proceedings - Software 146(3): 145-152 (1999) |
| 1998 |
|---|
| 6 | | Perdita Stevens:
Abstract Games for Infinite State Processes.
CONCUR 1998: 147-162 |
| 5 | | Perdita Stevens,
Rob Pooley:
Systems Reengineering Patterns.
ECOOP Workshops 1998: 85-86 |
| 4 | | Perdita Stevens:
Report of Working Group on Reengineering Patterns.
ECOOP Workshops 1998: 89-92 |
| 3 | | Perdita Stevens,
Rob Pooley:
Systems Reengineering Patterns.
SIGSOFT FSE 1998: 17-23 |
| 2 | | Perdita Stevens,
Colin Stirling:
Practical Model-Checking Using Games.
TACAS 1998: 85-101 |
| 1 | | Perdita Stevens:
A Verification Tool Seveloper's Vade Mecum.
STTT 2(2): 89-94 (1998) |
