Assert and negate revisited: Modal semantics for UML sequence diagrams
- 作者David Harel; Shahar Maoz
- 卷第7卷
- 期第2期
- 印刷ISSN1619-1366
- 电子ISSN1619-1374
- 文件大小720.23KB
- 发表时间2008-05
- DOI10.1007/s10270-007-0054-z
- 页码237-252
Inter-modelling with patternsEsther Guerra,Juan de Lara,Fernando Orejas · Software & Systems Modeling · 2013
Refactoring Multi-Level ModelsLara, Juan De; Guerra, Esther · ACM Transactions on Software Engineering and Methodology · 2018
Genericity for model management operationsLouis Rose,Esther Guerra,Juan de Lara,Anne Etien… · Software & Systems Modeling · 2013
Static analysis of model transformationsSanchez Cuadrado, Jesus; Guerra, Esther; de Lara, Juan · IEEE Transactions on Software Engineering · 2016
Pattern-based Rewriting through AbstractionBottoni, Paolo; Guerra, Esther; de Lara, Juan · Fundamenta Informaticae · 2016
Reusable abstractions for modeling languagesde Lara, Juan; Guerra, Esther; Sánchez Cuadrado, Jesús · Information Systems · 2013
A formalisation of deep metamodellingRossini, Alessandro; de Lara, Juan; Guerra, Esther; Rutle, Adrian; Wolter, Uwe · Formal Aspects of Computing · 2014
Ten Good Practices In Scientific ProgrammingCuadrado, Jesus Sanchez; Guerra, Esther; de Lara, Juan · Computing in Science & Engineering · 1999