BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Am=aacute=lio:Nuno

Contributed to:

MoDELS 20152015
ECMFA 20112011
FM 20112011
FM 20062006

Wrote 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.
A Formal Template Language Enabling Metaproof (NA, SS, FP), pp. 252–267.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.