| |
Models in Software Engineering, Vol. 5421 (2009), pp. 109-119.
edited by David Hutchison, Takeo Kanade, Josef Kittler, et al.Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michel R. Chaudron
|
| |
Satellite Events at the MoDELS 2005 Conference (2006), pp. 139-150.
|
| |
25 Years of Model Checking (2008), pp. 27-45.
|
| |
Model-Driven Software Development (2005), pp. 91-117.
|
| |
Correct Hardware Design and Verification Methods: 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 1999. Proceedings (1999), pp. 705-705.
|
| |
Logic and Its Applications (2009), pp. 23-35.
|
| |
«UML» 2002 — The Unified Modeling Language (2002), pp. 155-178.
|
| |
Theory and Practice of Model Transformations (2008), pp. 152-167.
|
| |
Automatic Program Development (2008), pp. 287-295.
|
| |
Graph Transformation (2002), pp. 286-301.
|
| |
Theory and Practice of Model Transformations (2008), pp. 46-60.
|
| |
Logic Programming (2008), pp. 15-21.
|
| |
Formal Techniques in Real-Time and Fault-Tolerant Systems (1996), pp. 55-71.
|
| |
Perspectives of System Informatics (2001), pp. 165-190.
|
| |
Intelligent Agents and Multi-Agent Systems (2008), pp. 98-108.
|
| |
Formal Methods and Software Engineering (2004), pp. 418-433.
|
| |
Applications of Graph Transformations with Industrial Relevance (2008), pp. 410-425.
|
| |
Formal Aspects of Computing, Vol. 7, No. 3. (1 May 1995), pp. 289-313.
|
| |
Model Driven Engineering Languages and Systems (2008), pp. 675-689.
|
| |
Acta Informatica, Vol. 2, No. 4. (1 December 1973), pp. 335-355.
|
| |
Verified Software: Theories, Tools, Experiments (2008), pp. 1-18.
|
| |
FM 2008: Formal Methods (2008), pp. 358-373.
|
| |
Trends in Enterprise Application Architecture (2007), pp. 158-171.
|
| |
Software Reuse: Methods, Techniques and Tools (2004), pp. 115-126.
|
| |
Computer Aided Verification (1992), pp. 466-476.
|
| |
Software Composition (2008), pp. 36-51.
|
| |
Graph Transformations (2004), pp. 96-111.
|
| |
The Internet of Things (2008), pp. 276-288.
|
| |
Algebraic Methodology and Software Technology (2004), pp. 289-303.
|
| |
Algebraic Methodology and Software Technology (2004), pp. 211-225.
|
| |
Unifying Theories of Programming (2006), pp. 101-122.
|
| |
Unifying Theories of Programming (2006), pp. 38-62.
|
| |
Theoretical Aspects of Computing – ICTAC 2005 (2005), pp. 469-484.
|
| |
Object-Oriented Technologys (1998), pp. 332-337.
|
| |
Computer Safety, Reliability, and Security (2007), pp. 301-314.
|
| |
From Object-Orientation to Formal Methods (2004), pp. 83-95.
|
| |
Mechanizing Mathematical Reasoning (2005), pp. 396-406.
|
| |
Formal Methods and Hybrid Real-Time Systems (2007), pp. 24-44.
|
| |
Model Driven Architecture (2005), pp. 123-138.
|
| |
Model Driven Engineering Languages and Systems (2005), pp. 248-263.
|
| |
Fundamental Approaches to Software Engineering (2000), pp. 193-207.
|
| |
Fundamental Approaches to Software Engineering (2000), pp. 127-146.
|
| |
Agent-Oriented Software Engineering III (2003), pp. 113-125.
|
| |
Object Modeling with the OCL (2002), pp. 447-450.
|
| |
ZB 2002:Formal Specification and Development in Z and B (2002), pp. 77-100.
|
| |
Scientific Engineering of Distributed Java Applications (2005), pp. 24-37.
|
| |
The Essence of Computation (2002), pp. 157-171.
|
| |
Integrated Formal Methods (2005), pp. 109-128.
|
| |
Agent Technology from a Formal Perspective (2006), pp. 311-339.
|
| |
UML'99 - The Unified Modeling Language In Lecture Notes in Computer Science, Vol. 1723 (1999), pp. 430-444.
|
CiteULike
leonardo's CiteULike
Search
Export
