The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Perdita Stevens: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Perdita Stevens
    UML and Concurrency. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:151-165 [Conf]
  2. Perdita Stevens
    Abstract Games for Infinite State Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:147-162 [Conf]
  3. Perdita Stevens
    Playing Games with Software Design. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2002, pp:1- [Conf]
  4. Andy Evans, Robert B. France, Guy Genilloud, Brian Henderson-Sellers, Perdita Stevens
    Aggregation. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:55-56 [Conf]
  5. Perdita Stevens
    Report of Working Group on Reengineering Patterns. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1998, pp:89-92 [Conf]
  6. Perdita Stevens
    UML for Describing Product-Line Architectures? [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:199- [Conf]
  7. Perdita Stevens, Rob Pooley
    Systems Reengineering Patterns. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1998, pp:85-86 [Conf]
  8. Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens
    Enriching OCL Using Observational Mu-Calculus. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:203-217 [Conf]
  9. Perdita Stevens
    On Use Cases and Their Relationships in the Unified Modelling Language. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:140-155 [Conf]
  10. Jennifer Tenzer, Perdita Stevens
    Modelling Recursive Calls with UML State Diagrams. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:135-149 [Conf]
  11. Perdita Stevens
    A Practical Introduction to Games, Infinity and the Edinburgh Concurrency Workbench. [Citation Graph (0, 0)][DBLP]
    FIW, 2005, pp:35-36 [Conf]
  12. Perdita Stevens, Jennifer Tenzer
    Games for UML Software Design. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:467-486 [Conf]
  13. Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing
    UML for Global Computing. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2003, pp:1-24 [Conf]
  14. Arie van Deursen, Timothy Lethbridge, Perdita Stevens
    Panel Introducion. [Citation Graph (0, 0)][DBLP]
    ICSM, 2002, pp:248-0 [Conf]
  15. Perdita Stevens, Rob Pooley
    Systems Reengineering Patterns. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1998, pp:17-23 [Conf]
  16. Perdita Stevens
    Some Issues in the Software Engineering of Verification Tools. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:435-438 [Conf]
  17. Perdita Stevens, Colin Stirling
    Practical Model-Checking Using Games. [Citation Graph (0, 0)][DBLP]
    TACAS, 1998, pp:85-101 [Conf]
  18. Perdita Stevens
    On Associations in the Unified Modelling Language. [Citation Graph (0, 0)][DBLP]
    UML, 2001, pp:361-375 [Conf]
  19. C. Canevet, Stephen Gilmore, Jane Hillston, Leïla Kloul, Perdita Stevens
    Analysing UML 2.0 activity diagrams in the software performance engineering process. [Citation Graph (0, 0)][DBLP]
    WOSP, 2004, pp:74-78 [Conf]
  20. Perdita Stevens
    Small-Scale XMI Programming: A Revolution in UML Tool Use? [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2003, v:10, n:1, pp:7-21 [Journal]
  21. Jennifer Tenzer, Perdita Stevens
    On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2006, v:18, n:4, pp:397-420 [Journal]
  22. Rick Dewar, Ashley D. Lloyd, Rob Pooley, Perdita Stevens
    Identifying nd communicting expertise in systems reengineering: a patterns approach. [Citation Graph (0, 0)][DBLP]
    IEE Proceedings - Software, 1999, v:146, n:3, pp:145-152 [Journal]
  23. Perdita Stevens
    On the interpretation of binary associations in the Unified Modelling Language. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2002, v:1, n:1, pp:68-79 [Journal]
  24. Perdita Stevens, Jon Whittle
    Guest editorial to the special issue on UML2003. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2005, v:4, n:4, pp:353-354 [Journal]
  25. Joost-Pieter Katoen, Perdita Stevens
    Guest editors' introduction: Advancements and extensions of verification techniques. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:2, pp:99-101 [Journal]
  26. Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber 0002
    Functional programming languages for verification tools: a comparison of Standard ML and Haskell. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:2, pp:184-194 [Journal]
  27. Perdita Stevens
    A Verification Tool Seveloper's Vade Mecum. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:2, pp:89-94 [Journal]
  28. Perdita Stevens
    Refinement in Z and object-Z: foundations and advanced applications. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2002, v:12, n:1, pp:61- [Journal]
  29. Perdita Stevens
    Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2007, pp:1-15 [Conf]

  30. 06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). [Citation Graph (, )][DBLP]


  31. 06351 Summary -- Methods for Modelling Software Systems (MMOSS). [Citation Graph (, )][DBLP]


  32. Towards an Algebraic Theory of Bidirectional Transformations. [Citation Graph (, )][DBLP]


  33. A Landscape of Bidirectional Model Transformations. [Citation Graph (, )][DBLP]


  34. A Simple Game-Theoretic Approach to Checkonly QVT Relations. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.301secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002