Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Perdita Stevens
2010 – today
- 2013
[j15]Perdita Stevens: A simple game-theoretic approach to checkonly QVT Relations. Software and System Modeling 12(1): 175-199 (2013)- [c27]Julian C. Bradfield, Perdita Stevens: Enforcing QVT-R with mu-Calculus and Games. FASE 2013: 282-296
- 2012
- [j14]Perdita Stevens: Observations relating to the equivalences induced on model sets by bidirectional transformations. ECEASST 49 (2012)
- [c26]Julian C. Bradfield, Perdita Stevens: Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus. FASE 2012: 194-208
- 2011
- [j13]Zhenjiang Hu, Andy Schürr, Perdita Stevens, James F. Terwilliger: Dagstuhl seminar on bidirectional transformations (BX). SIGMOD Record 40(1): 35-39 (2011)
- [i1]Zhenjiang Hu, Andy Schürr, Perdita Stevens, James F. Terwilliger: Bidirectional Transformation "bx" (Dagstuhl Seminar 11031). Dagstuhl Reports 1(1): 42-67 (2011)
- 2010
- [j12]Perdita Stevens: Bidirectional model transformations in QVT: semantic issues and open questions. Software and System Modeling 9(1): 7-20 (2010)
2000 – 2009
- 2009
- [c25]
- 2008
- [c24]
- 2007
- [j11]Jennifer Tenzer, Perdita Stevens: GUIDE: Games with UML for interactive design exploration. Knowl.-Based Syst. 20(7): 652-670 (2007)
- [c23]
- [c22]Perdita Stevens: Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions. MoDELS 2007: 1-15
- [e4]Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa (Eds.): Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006. Dagstuhl Seminar Proceedings 06351, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
- 2006
- [j10]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)
- [c21]Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Summary -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
- [c20]Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
- 2005
- [j9]Perdita Stevens, Jon Whittle: Guest editorial to the special issue on UML2003. Software and System Modeling 4(4): 353-354 (2005)
- [j8]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)
- [c19]Perdita Stevens: A Practical Introduction to Games, Infinity and the Edinburgh Concurrency Workbench. FIW 2005: 35-36
- 2004
- [j7]Joost-Pieter Katoen, Perdita Stevens: Guest editors' introduction: Advancements and extensions of verification techniques. STTT 6(2): 99-101 (2004)
- [c18]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
- 2003
- [j6]Perdita Stevens: Small-Scale XMI Programming: A Revolution in UML Tool Use? Autom. Softw. Eng. 10(1): 7-21 (2003)
- [c17]
- [c16]Jennifer Tenzer, Perdita Stevens: Modelling Recursive Calls with UML State Diagrams. FASE 2003: 135-149
- [c15]Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing: UML for Global Computing. Global Computing 2003: 1-24
- [e3]Elie Najm, Uwe Nestmann, Perdita Stevens (Eds.): Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings. Lecture Notes in Computer Science 2884, Springer 2003, ISBN 3-540-20491-1
- [e2]Perdita Stevens, Jon Whittle, Grady Booch (Eds.): «UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings. Lecture Notes in Computer Science 2863, Springer 2003, ISBN 3-540-20243-9
- 2002
- [j5]Luciana D'Adderio, Rick G. Dewar, Ashley D. Lloyd, Perdita Stevens: Has the pattern emperor any clothes?: a controversy in three acts. ACM SIGSOFT Software Engineering Notes 27(1): 31-35 (2002)
- [j4]Perdita Stevens: On the interpretation of binary associations in the Unified Modelling Language. Software and System Modeling 1(1): 68-79 (2002)
- [j3]Perdita Stevens: Refinement in Z and object-Z: foundations and advanced applications. Softw. Test., Verif. Reliab. 12(1): 61 (2002)
- [c14]
- [c13]Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens: Enriching OCL Using Observational Mu-Calculus. FASE 2002: 203-217
- [c12]
- [c11]
- [e1]Joost-Pieter Katoen, Perdita Stevens (Eds.): 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. Lecture Notes in Computer Science 2280, Springer 2002, ISBN 3-540-43419-4
- 2001
- [b1]Perdita Stevens, Rob Pooley: UML - Softwareentwicklung mit Objekten und Komponenten: Version 1.3. Pearson Studium 2001, ISBN 978-3-8273-7003-7, pp. 1-305
- [c10]Perdita Stevens: On Use Cases and Their Relationships in the Unified Modelling Language. FASE 2001: 140-155
- [c9]
1990 – 1999
- 1999
- [j2]Rick G. 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)
- [c8]Andy Evans, Robert B. France, Guy Genilloud, Brian Henderson-Sellers, Perdita Stevens: Aggregation. ECOOP Workshops 1999: 55-56
- [c7]
- [c6]
- 1998
- [j1]
- [c5]
- [c4]
- [c3]
- [c2]
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:58 CEST by the dblp team