Travelled to:1 × Canada
1 × Ireland
1 × United Kingdom
Collaborated with:J.d.Lara E.Guerra C.Glodt P.Kelsen S.Stepney F.Polack M.Alférez S.Ciraci F.Fleurey J.Kienzle J.Klein M.E.Kramer S.Mosser G.Mussbacher E.E.Roubtsova G.Zhang
Talks about:model (2) metaproof (1) fragmenta (1) fragment (1) abstract (1) templat (1) languag (1) generat (1) develop (1) automat (1)
Person: Nuno Amálio
DBLP: Am=aacute=lio:Nuno
Contributed to:
2015
2011
20112006Wrote 4 papers:
- MoDELS-2015-AmalioLG #formal method #named
- Fragmenta: A theory of fragmentation for MDE (NA, JdL, EG), pp. 106–115.
- ECMFA-2011-AlferezACFKKKMMRZ #abstraction #aspect-oriented #development
- Aspect-Oriented Model Development at Different Levels of Abstraction (MA, NA, SC, FF, JK, JK, MEK, SM, GM, EER, GZ), pp. 361–376.
- FM-2011-AmalioGK #automation #generative #modelling #specification
- Building VCL Models and Automatically Generating Z Specifications from Them (NA, CG, PK), pp. 149–153.
- FM-2006-AmalioSP
- A Formal Template Language Enabling Metaproof (NA, SS, FP), pp. 252–267.