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 × France
1 × Greece
1 × USA
1 × United Kingdom
2 × Italy
Collaborated with:
A.Cunha T.Guimarães H.Pacheco J.Brunel D.Chemouil J.N.Oliveira D.Kuperberg
Talks about:
model (5) transform (3) specif (2) explor (2) relat (2) multidirect (1) lightweight (1) implement (1) framework (1) scenario (1)

Person: Nuno Macedo

DBLP DBLP: Macedo:Nuno

Contributed to:

FASE 20152015
EDBT/ICDT Workshops 20142014
FASE 20142014
ASE 20132013
BX 20132013
FASE 20132013
FSE 20162016
ASE 20182018

Wrote 8 papers:

Exploring Scenario Exploration (NM, AC, TG), pp. 301–315.
BX-2014-MacedoCP #framework #model transformation #multi #towards
Towards a Framework for Multidirectional Model Transformations (NM, AC, HP), pp. 71–74.
FASE-2014-CunhaMG #relational
Target Oriented Relational Model Finding (AC, NM, TG), pp. 17–31.
Model repair and transformation with Echo (NM, TG, AC), pp. 694–697.
BX-2013-MacedoPCO #lens
Composing Least-change Lenses (NM, HP, AC, JNO), pp. 57–75.
FASE-2013-MacedoC #alloy #bidirectional #implementation #model transformation #qvt #using
Implementing QVT-R Bidirectional Model Transformations Using Alloy (NM, AC), pp. 297–311.
FSE-2016-MacedoBCCK #analysis #lightweight #specification
Lightweight specification and analysis of dynamic systems with rich configurations (NM, JB, DC, AC, DK), pp. 373–383.
ASE-2018-BrunelCCM #first-order #model checking #relational #specification
The electrum analyzer: model checking relational first-order temporal specifications (JB, DC, AC, NM), pp. 884–887.

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.