| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Julian C. Bradfield, Perdita Stevens |
Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus.  |
FASE  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenjiang Hu, Andy Schürr, Perdita Stevens, James F. Terwilliger |
Dagstuhl seminar on bidirectional transformations (BX). |
SIGMOD Record |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenjiang Hu, Andy Schürr, Perdita Stevens, James F. Terwilliger |
Bidirectional Transformation "bx" (Dagstuhl Seminar 11031). |
Dagstuhl Reports |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Perdita Stevens |
Bidirectional model transformations in QVT: semantic issues and open questions. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
Bidirectional model transformation, Semantics, Model-driven development, QVT |
| 1 | Perdita Stevens |
A Simple Game-Theoretic Approach to Checkonly QVT Relations. |
ICMT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Perdita Stevens |
Towards an Algebraic Theory of Bidirectional Transformations. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jennifer Tenzer, Perdita Stevens |
GUIDE: Games with UML for interactive design exploration. |
Knowl.-Based Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa (eds.) |
Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006 |
MMOSS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Perdita Stevens |
A Landscape of Bidirectional Model Transformations. |
GTTSE |
2007 |
DBLP DOI BibTeX RDF |
bidirectional model transformation, bidirectional programming language, graph transformation, QVT, triple graph grammar |
| 1 | Perdita Stevens |
Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions. |
MoDELS |
2007 |
DBLP DOI BibTeX RDF |
bidirectional model transformation, QVT |
| 1 | Jennifer Tenzer, Perdita Stevens |
On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams. |
Formal Asp. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Protocol state machines, UML, Recursion, Object-oriented modelling, State machines, Callbacks |
| 1 | Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa |
06351 Summary -- Methods for Modelling Software Systems (MMOSS). |
MMOSS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa |
06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). |
MMOSS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Perdita Stevens, Jon Whittle |
Guest editorial to the special issue on UML2003. |
Software and System Modeling |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber 0002 |
Functional programming languages for verification tools: a comparison of Standard ML and Haskell. |
STTT |
2005 |
DBLP DOI BibTeX RDF |
Language adequacy, Haskell, ML, Verification tools, Functional programming languages |
| 1 | Perdita Stevens |
A Practical Introduction to Games, Infinity and the Edinburgh Concurrency Workbench. |
FIW |
2005 |
DBLP BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Perdita Stevens |
Guest editors' introduction: Advancements and extensions of verification techniques. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Testing, Tools, Probabilistic systems, Run-time verification |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Perdita Stevens |
Small-Scale XMI Programming: A Revolution in UML Tool Use? |
Autom. Softw. Eng. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
FMOODS |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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 |
UML |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jennifer Tenzer, Perdita Stevens |
Modelling Recursive Calls with UML State Diagrams. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing |
UML for Global Computing. |
Global Computing |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Perdita Stevens |
UML and Concurrency. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Perdita Stevens |
On the interpretation of binary associations in the Unified Modelling Language. |
Software and System Modeling |
2002 |
DBLP DOI BibTeX RDF |
UML, Association, Link |
| 1 | Perdita Stevens |
Refinement in Z and object-Z: foundations and advanced applications. |
Softw. Test., Verif. Reliab. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
TACAS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Perdita Stevens |
Playing Games with Software Design. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Perdita Stevens, Jennifer Tenzer |
Games for UML Software Design. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens |
Enriching OCL Using Observational Mu-Calculus. |
FASE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Arie van Deursen, Timothy Lethbridge, Perdita Stevens |
Panel Introducion. (PDF / PS) |
ICSM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Perdita Stevens, Rob Pooley |
UML - Softwareentwicklung mit Objekten und Komponenten: Version 1.3. |
|
2001 |
RDF |
|
| 1 | Perdita Stevens |
On Associations in the Unified Modelling Language. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Perdita Stevens |
On Use Cases and Their Relationships in the Unified Modelling Language. |
FASE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rick G. Dewar, Ashley D. Lloyd, Rob Pooley, Perdita Stevens |
Identifying nd communicting expertise in systems reengineering: a patterns approach. |
IEE Proceedings - Software |
1999 |
DBLP BibTeX RDF |
|
| 1 | Andy Evans, Robert B. France, Guy Genilloud, Brian Henderson-Sellers, Perdita Stevens |
Aggregation. |
ECOOP Workshops |
1999 |
DBLP BibTeX RDF |
|
| 1 | Perdita Stevens |
UML for Describing Product-Line Architectures? |
ECOOP Workshops |
1999 |
DBLP BibTeX RDF |
|
| 1 | Perdita Stevens |
Some Issues in the Software Engineering of Verification Tools. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Perdita Stevens |
A Verification Tool Seveloper's Vade Mecum. |
STTT |
1998 |
DBLP DOI BibTeX RDF |
Software engineering, Quality, Correctness, Verification tools |
| 1 | Perdita Stevens |
Abstract Games for Infinite State Processes. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Perdita Stevens, Rob Pooley |
Systems Reengineering Patterns. |
ECOOP Workshops |
1998 |
DBLP BibTeX RDF |
|
| 1 | Perdita Stevens |
Report of Working Group on Reengineering Patterns. |
ECOOP Workshops |
1998 |
DBLP BibTeX RDF |
|
| 1 | Perdita Stevens, Colin Stirling |
Practical Model-Checking Using Games. |
TACAS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Perdita Stevens, Rob Pooley |
Systems Reengineering Patterns. |
SIGSOFT FSE |
1998 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")