Nuno Amálio
Title
Cited by
Cited by
Year
Comparison of formalisation approaches of UML class constructs in Z and Object-Z
N Amálio, F Polack
International Conference of B and Z Users, 339-358, 2003
78*2003
Formal proof from UML models
N Amálio, S Stepney, F Polack
International Conference on Formal Engineering Methods, 418-433, 2004
502004
Generative frameworks for rigorous model-driven development
N Amálio
University of York, 2006
422006
An object-oriented structuring for Z based on views
N Amálio, F Polack, S Stepney
International Conference of B and Z Users, 262-278, 2005
272005
Modular design by contract visually and formally using VCL
N Amálio, P Kelsen
2010 IEEE Symposium on Visual Languages and Human-Centric Computing, 227-234, 2010
242010
Using VCL as an aspect-oriented approach to requirements modelling
N Amálio, P Kelsen, Q Ma, C Glodt
Transactions on Aspect-Oriented Software Development VII, 151-199, 2010
242010
A formal template language enabling metaproof
N Amálio, S Stepney, F Polack
International Symposium on Formal Methods, 252-267, 2006
232006
Fragmenta: A theory of fragmentation for MDE
N Amálio, J de Lara, E Guerra
2015 ACM/IEEE 18th International Conference on Model Driven Engineering …, 2015
202015
Modular UML semantics: Interpretations in Z based on templates and generics
N Amálio, S Stepney, F Polack
FACS 3 (284), 81-100, 2003
192003
Building VCL models and automatically generating Z specifications from them
N Amálio, C Glodt, P Kelsen
International Symposium on Formal Methods, 149-153, 2011
172011
Frameworks based on templates for rigorous model-driven development
N Amálio, F Polack, S Stepney
Electronic Notes in Theoretical Computer Science 191, 3-23, 2007
172007
UML+ Z: Augmenting UML with Z
N Amálio, F Polack, S Stepney
Software Specification Methods, 81-102, 2006
142006
A tool for visual and formal modelling of software designs
N Amálio, C Glodt
Science of Computer Programming 98, 52-79, 2015
132015
From monitoring templates to security monitoring and threat detection
N Amálio, G Spanoudakis
2008 Second International Conference on Emerging Security Information …, 2008
122008
Checking SysML models for co-simulation
N Amálio, R Payne, A Cavalcanti, J Woodcock
International Conference on Formal Engineering Methods, 450-465, 2016
102016
Assessing composition in modeling approaches
G Mussbacher, O Alam, M Alhaj, S Ali, N Amálio, B Barn, R Brćk, T Clark, ...
Proceedings of the CMA 2012 Workshop, 1-26, 2012
102012
Behavioural models for FMI co-simulations
A Cavalcanti, J Woodcock, N Amálio
International Colloquium on Theoretical Aspects of Computing, 255-273, 2016
92016
Aspect-oriented model development at different levels of abstraction
M Alférez, N Amálio, S Ciraci, F Fleurey, J Kienzle, J Klein, M Kramer, ...
European Conference on Modelling Foundations and Applications, 361-376, 2011
82011
Specifying structural properties and their constraints formally, visually and modularly using VCL
N Amálio, P Kelsen, Q Ma
Enterprise, Business-Process and Information Systems Modeling, 261-273, 2010
82010
Foundations of the SysML profile for CPS modelling
N Amálio, R Payne, A Cavalcanti, E Brosse
Deliverable D2. 1a, version 1, 2015
72015
The system can't perform the operation now. Try again later.
Articles 1–20