BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Denmark
1 × Greece
1 × Poland
1 × Switzerland
1 × United Kingdom
2 × Estonia
2 × Portugal
2 × The Netherlands
3 × France
3 × Italy
3 × USA
Collaborated with:
J.C.Bradfield J.Gibbons J.McKinna J.Cheney J.Tenzer R.Pooley C.Stirling J.K.Filipe A.Anjorin E.Leblebici R.Kluge A.Schürr F.Abou-Saleh
Talks about:
transform (8) bidirect (8) model (7) toward (4) qvt (4) calculus (3) game (3) use (3) approach (2) languag (2)

♀ Person: Perdita Stevens

DBLP DBLP: Stevens:Perdita

Facilitated 19 volumes:

ICMT 2015PrCo
MoDELS 2015PrCo
ICMT 2014PrCo
MoDELS 2014PrBoard
ICMT 2013PrCo
ICMT 2012PrCo
MoDELS 2012PrBoard
BX 2011Ed
GTTSE 2011SciCo
ICMT 2011PrCo
MoDELS 2011PrCo
SLE 2011DSCh
GTTSE 2007SciCo
UML 2003Ed
TACAS 2002Ed
BX 2018Ed
FASE 2016Ed
MoDELS 2016PrCo

Contributed to:

BX 20152015
EDBT/ICDT Workshops 20142014
FASE 20142014
FASE 20132013
BX 20122012
FASE 20122012
ICMT 20092009
ICGT 20082008
GTTSE 20072007
MoDELS 20072007
FASE 20032003
FASE 20022002
FASE 20012001
UML 20012001
TACAS 19991999
FSE 19981998
TACAS 19981998
MoDELS 20172017
ECMFA 20182018
MoDELS 20182018
BX 20162016
BX 20172017

Wrote 24 papers:

BX-2015-AnjorinLKSS #approach #graph grammar #guidelines
A Systematic Approach and Guidelines to Developing a Triple Graph Grammar (AA, EL, RK, AS, PS), pp. 81–95.
BX-2015-CheneyGMS #bidirectional #towards
Towards a Principle of Least Surprise for Bidirectional Transformations (JC, JG, JM, PS), pp. 66–80.
BX-2014-CheneyMSG #repository #towards
Towards a Repository of Bx Examples (JC, JM, PS, JG), pp. 87–91.
BX-2014-CheneyMSGA #monad
Entangled State Monads (JC, JM, PS, JG, FAS), pp. 108–111.
FASE-2014-Stevens #bidirectional #consistency #nondeterminism
Bidirectionally Tolerating Inconsistency: Partial Transformations (PS), pp. 32–46.
FASE-2013-BradfieldS #calculus #game studies #qvt #μ-calculus
Enforcing QVT-R with μ-Calculus and Games (JCB, PS), pp. 282–296.
BX-2012-Stevens #bidirectional #set
Observations relating to the equivalences induced on model sets by bidirectional transformations (PS), pp. 100–115.
FASE-2012-BradfieldS #calculus #qvt #recursion #μ-calculus
Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal μ Calculus (JCB, PS), pp. 194–208.
ICMT-2009-Stevens #approach #game studies #qvt
A Simple Game-Theoretic Approach to Checkonly QVT Relations (PS), pp. 165–180.
ICGT-2008-Stevens #algebra #bidirectional #towards
Towards an Algebraic Theory of Bidirectional Transformations (PS), pp. 1–17.
GTTSE-2007-Stevens #bidirectional #model transformation
A Landscape of Bidirectional Model Transformations (PS), pp. 408–424.
MoDELS-2007-Stevens #bidirectional #model transformation #qvt #semantics
Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions (PS), pp. 1–15.
FASE-2003-TenzerS #diagrams #modelling #recursion #uml
Modelling Recursive Calls with UML State Diagrams (JT, PS), pp. 135–149.
FASE-2002-BradfieldFS #calculus #ocl #using #μ-calculus
Enriching OCL Using Observational μ-Calculus (JCB, JKF, PS), pp. 203–217.
FASE-2001-Stevens #case study #modelling #on the
On Use Cases and Their Relationships in the Unified Modelling Language (PS), pp. 140–155.
UML-2001-Stevens #modelling #on the
On Associations in the Unified Modelling Language (PS), pp. 361–375.
TACAS-1999-Stevens #re-engineering #tool support #verification
Some Issues in the Software Engineering of Verification Tools (PS), pp. 435–438.
FSE-1998-StevensP #re-engineering
Systems Reengineering Patterns (PS, RP), pp. 17–23.
TACAS-1998-StevensS #game studies #model checking #using
Practical Model-Checking Using Games (PS, CS), pp. 85–101.
MoDELS-2017-Stevens #bidirectional #in the large
Bidirectional Transformations in the Large (PS), pp. 1–11.
ECMFA-2018-Stevens #bidirectional #question
Is Bidirectionality Important? (PS), pp. 1–11.
MoDELS-2018-Stevens #flexibility #megamodelling #towards
Towards sound, optimal, and flexible building from megamodels (PS), pp. 301–311.
BX-2016-McKinnaS #deployment #equilibrium #how
How to Regain Equilibrium without Losing your Balance? Scenarios for Bx Deployment (Discussion Paper) (JM, PS), pp. 32–34.
BX-2017-StevensG #on the
On Ontologology (PS, JG), pp. 54–58.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.