| |
Conceptual Modeling of Information Systems In Conceptual Modeling of Information Systems (2007), pp. 325-335.
|
| |
Conceptual Modeling of Information Systems (2007), pp. 299-323.
|
| |
Object-Oriented Methodologies and Systems (1994), pp. 142-157.
|
| |
Model Driven Architecture – Foundations and Applications (2008), pp. 294-309.
|
| |
Design Requirements Engineering: A Ten-Year Perspective (2009), pp. 11-43.
|
| |
Advances in Conceptual Modeling - Theory and Practice (2006), pp. 63-72.
|
| |
Integrated Formal Methods (2009), pp. 103-117.
|
| |
|
| |
Model-Driven Software Development (2005), pp. 91-117.
|
| |
Computer Aided Verification (2004), pp. 466-469.
|
| |
International Journal of Production Research, Vol. 36, No. 11. (1 November 1998), pp. 3183-3215.
|
| |
Data and Knowledge Engineering (September 1999), pp. 115-134.
|
| |
Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on In Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on (2004), pp. 86-95.
|
| |
International Journal of Software Engineering and Knowledge Engineering, Vol. 18, No. 06. (2008), 785.
|
| |
International Journal of Software Engineering and Knowledge Engineering, Vol. 17, No. 06. (2007), 709.
|
| |
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.
|
| |
IBM Syst. J., Vol. 45, No. 3. (2006), pp. 481-500.
|
| |
Transactions of the American Philosophical Society, Vol. 1 (1769), pp. 293-300.
|
| |
Integrated Formal Methods (2007), pp. 138-155.
|
| |
SOFSEM 2009: Theory and Practice of Computer Science (2009), pp. 241-254.
|
| |
SOFSEM 2009: Theory and Practice of Computer Science (2009), pp. 279-290.
|
| |
Logic and Its Applications (2009), pp. 23-35.
|
| |
|
| |
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.
|
| |
Fundam. Inform., Vol. 44, No. 1-2. (2000), pp. 25-61.
|
| |
In FMOODS, Vol. 139 (1999)
|
| |
Domain Modeling and the Duration Calculus (2007), pp. 177-235.
|
| |
|
| |
Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs (2008), pp. 15-24.
|
| |
Computer Safety, Reliability, and Security (2008), pp. 332-345.
|
| |
Automated Technology for Verification and Analysis (2008), pp. 4-17.
|
| |
Logic-Based Program Synthesis and Transformation (2008), pp. 106-120.
|
| |
Applications of Graph Transformations with Industrial Relevance (2008), pp. 442-455.
|
| |
Applications of Graph Transformations with Industrial Relevance (2008), pp. 540-565.
by Dániel Varró, Márk Asztalos, Dénes Bisztray, et al.Artur Boronat, Duc-Hanh Dang, Rubino Geiß, Joel Greenyer, Pieter Van Gorp, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, Erhard Weinell
|
| |
Transactions on Petri Nets and Other Models of Concurrency I (2008), pp. 35-53.
|
| |
Advances in Software Engineering (2008), pp. 1-38.
|
| |
|
| |
Leveraging Applications of Formal Methods, Verification and Validation (2009), pp. 753-768.
|
| |
In In Proc. 5th European Conference on Software Maintenance and Reengineering (2001), pp. 30-38.
|
| |
Formal Methods for Open Object-Based Distributed Systems (2008), pp. 170-184.
|
| |
Software Architecture (2007), pp. 123-138.
|
| |
Applications of Graph Transformations with Industrial Relevance (2008), pp. 377-393.
|
| |
Logic for Programming, Artificial Intelligence, and Reasoning (2008), pp. 182-182.
|
| |
Software Architecture (2008), pp. 334-337.
|
| |
Software Architecture (2008), pp. 350-353.
|
| |
Software Architecture (2008), pp. 66-81.
|
Search
