Items where Author is "Amalio, Nuno"

Article

Amalio, Nuno and Briand, Lionel and Kelsen, Pierre (2019) An Experimental Scrutiny of Visual Design Modelling: VCL up against UML+OCL. Empirical Software Engineering, 2019. ISSN 1382-3256

Amalio, Nuno and Glodt, Christian (2014) A tool for visual and formal modelling of software designs. Science of Computer Programming, 98 (1). pp. 52-79. ISSN 0167-6423

Book Section

Amalio, Nuno (2019) Sound and Relaxed Behavioural Inheritance. In: From Astrophysics to Unconventional Computation: Essays Presented to Susan Stepney on the Occasion of her 60th Birthday. Emergence, Complexity and Computation, 35 (35). Springer, Switzerland, pp. 255-298. ISBN 9783030157913

Cavalcanti, Ana and Woodcock, Jim and Amalio, Nuno (2016) Behavioural Models for FMI Co-simulations. In: Theoretical Aspects of Computing – ICTAC 2016. Lecture Notes in Computer Science . Springer, pp. 255-273. ISBN 978-3-319-46749-8

Amalio, Nuno and Payne, Richard and Cavalcanti, Ana and Woodcock, Jim (2016) Checking SysML Models for Co-simulation. In: Formal Methods and Software Engineering. ICFEM 2016. Lecture Notes in Computer Science, 10009 . Springer. ISBN 978-3-319-47845-6

Amalio, Nuno and de Lara, Juan and Guerra, Esther (2015) FRAGMENTA: A Theory of Fragmentation for MDE. In: Model Driven Engineering Languages and Systems (MODELS), 2015 ACM/IEEE 18th International Conference on. IEEE, pp. 106-115. ISBN 978-1-4673-6908-4