The Future of Programming andModelling - A Vision. | 0 | 0.34 | 2021 |
Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels | 0 | 0.34 | 2020 |
Maintaining consistency in networks of models: bidirectional transformations in the large | 1 | 0.35 | 2020 |
Teaching and learning about abstraction. | 0 | 0.34 | 2018 |
Confidentiality in the process of (model-driven) software development. | 0 | 0.34 | 2018 |
Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491). | 0 | 0.34 | 2018 |
Teaching Modeling In Computer Science As An Ecosystem: A Provocative Analogy | 0 | 0.34 | 2018 |
On principles of Least Change and Least Surprise for bidirectional transformations. | 1 | 0.36 | 2017 |
On Ontologology. | 0 | 0.34 | 2017 |
Bidirectional Transformations in the Large | 4 | 0.41 | 2017 |
How to Regain Equilibrium without Losing your Balance? Scenarios for Bx Deployment (Discussion Paper). | 0 | 0.34 | 2016 |
Reflections on Monadic Lenses | 1 | 0.35 | 2016 |
Notions of Bidirectional Computation and Entangled State Monads | 10 | 0.74 | 2015 |
A Systematic Approach and Guidelines to Developing a Triple Graph Grammar | 1 | 0.35 | 2015 |
Towards a Principle of Least Surprise for Bidirectional Transformations | 4 | 0.51 | 2015 |
Guest editorial to the special section on MODELS 2012. | 0 | 0.34 | 2015 |
Bidirectionally Tolerating Inconsistency: Partial Transformations | 6 | 0.45 | 2014 |
Towards a Repository of Bx Examples. | 9 | 0.61 | 2014 |
Entangled State Monads. | 0 | 0.34 | 2014 |
Enforcing QVT-R with mu-calculus and games | 6 | 0.47 | 2013 |
Tool Use in Software Modelling Education. | 6 | 0.52 | 2013 |
Recursive checkonly QVT-R transformations with general when and where clauses via the modal mu calculus | 7 | 0.91 | 2012 |
Observations relating to the equivalences induced on model sets by bidirectional transformations. | 5 | 0.46 | 2012 |
Bidirectional Transformation "bx" (Dagstuhl Seminar 11031). | 3 | 0.40 | 2011 |
Dagstuhl seminar on bidirectional transformations (BX) | 17 | 0.72 | 2011 |
A simple game-theoretic approach to checkonly QVT Relations | 36 | 1.70 | 2009 |
Towards an Algebraic Theory of Bidirectional Transformations | 9 | 0.71 | 2008 |
Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006 | 12 | 1.64 | 2007 |
Bidirectional model transformations in QVT: semantic issues and open questions | 154 | 7.12 | 2007 |
A Landscape of Bidirectional Model Transformations | 32 | 1.09 | 2007 |
On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams | 3 | 1.01 | 2006 |
06351 Summary -- Methods for Modelling Software Systems (MMOSS) | 0 | 0.34 | 2006 |
06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS) | 0 | 0.34 | 2006 |
A Practical Introduction to Games, Infinity and the Edinburgh Concurrency Workbench | 0 | 0.34 | 2005 |
GUIDE: Games with UML for Interactive Design Exploration | 0 | 0.34 | 2005 |
Functional programming languages for verification tools: a comparison of Standard ML and Haskell | 0 | 0.34 | 2005 |
Guest editorial to the special issue on UML2003 | 0 | 0.34 | 2005 |
Guest editors’ introduction: Advancements and extensions of verification techniques | 0 | 0.34 | 2004 |
Modelling recursive calls with UML state diagrams | 104 | 2.95 | 2003 |
«UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings | 33 | 7.05 | 2003 |
UML and Concurrency | 2 | 0.38 | 2003 |
Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings | 19 | 2.39 | 2003 |
Small-Scale XMI Programming: A Revolution in UML Tool Use? | 17 | 1.29 | 2003 |
Enriching OCL Using Observational Mu-Calculus | 31 | 2.16 | 2002 |
Has the pattern emperor any clothes?: a controversy in three acts | 1 | 0.51 | 2002 |
Games for UML Software Design | 2 | 0.51 | 2002 |
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 | 25 | 3.96 | 2002 |
Playing Games with Software Design | 0 | 0.34 | 2002 |
On the interpretation of binary associations in the Unified Modelling Language. | 24 | 1.84 | 2002 |
On Use Cases and Their Relationships in the Unified Modelling Language | 20 | 1.66 | 2001 |