BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Czech Republic
1 × Estonia
1 × Greece
1 × Ireland
1 × United Kingdom
1 × Uruguay
1 × Vietnam
2 × USA
3 × France
3 × Italy
Collaborated with:
H.Pacheco N.Macedo J.Visser T.Guimarães J.N.Oliveira A.G.Garis D.Riesco J.Brunel D.Chemouil Z.Hu J.S.Pinto J.Proença A.C.R.Paiva P.Berdaguer D.Kuperberg A.Anjorin H.Giese F.Hermann A.Rensink A.Schürr
Talks about:
transform (10) model (5) specif (4) alloy (4) bidirect (3) strateg (3) program (3) lens (3) implement (2) framework (2)

Person: Alcino Cunha

DBLP DBLP: Cunha:Alcino

Facilitated 6 volumes:

BX 2015Ed
GTTSE 2015SciCo
ICMT 2012PrCo
GTTSE 2007OCo
GTTSE 2007SciCo
LDTA 2007OCo

Contributed to:

FASE 20152015
EDBT/ICDT Workshops 20142014
FASE 20142014
ASE 20132013
BX 20132013
FASE 20132013
BX 20122012
ICMT 20122012
IFM 20122012
PEPM 20112011
SEFM 20112011
SEFM 20092009
PADL 20072007
PEPM 20072007
PEPM 20072011
FM 20062006
IFL 20052005
FSE 20162016
ASE 20182018

Wrote 21 papers:

FASE-2015-MacedoCG
Exploring Scenario Exploration (NM, AC, TG), pp. 301–315.
BX-2014-AnjorinCG0RS
BenchmarX (AA, AC, HG, FH, AR, AS), pp. 82–86.
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.
ASE-2013-MacedoGC
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.
BX-2012-PachecoCH #induction #lens
Delta Lenses over Inductive Types (HP, AC, ZH), pp. 21–37.
ICMT-2012-PachecoC #bidirectional #model transformation #multi #named #transformation language #xml
Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas (HP, AC), pp. 89–104.
IFM-2012-GarisPCR #alloy #protocol #specification #state machine #uml
Specifying UML Protocol State Machines in Alloy (AGG, ACRP, AC, DR), pp. 312–326.
PEPM-2011-PachecoC #bidirectional #lens #optimisation
Calculating with lenses: optimising bidirectional transformations (HP, AC), pp. 91–100.
SEFM-2011-GarisCR #alloy #diagrams #ocl #specification #uml
Translating Alloy Specifications to UML Class Diagrams Annotated with OCL (AGG, AC, DR), pp. 221–236.
SEFM-2009-CunhaP #alloy #database #implementation #specification
Mapping between Alloy Specifications and Database Implementations (AC, HP), pp. 285–294.
PADL-2007-BerdaguerCPV #sql #xml
Coupled Schema Transformation and Data Conversion for XML and SQL (PB, AC, HP, JV), pp. 290–304.
PEPM-2007-CunhaV #query #source code #xpath
Transformation of structure-shy programs: applied to XPath queries and strategic functions (AC, JV), pp. 11–20.
PEPM-J-2007-CunhaV11 #query #source code #xpath
Transformation of structure-shy programs with application to XPath queries and strategic functions (AC, JV), pp. 516–539.
FM-2006-CunhaOV #data transformation #type safety
Type-Safe Two-Level Data Transformation (AC, JNO, JV), pp. 284–299.
IFL-2005-CunhaPP #framework #program transformation
A Framework for Point-Free Program Transformation (AC, JSP, JP), pp. 1–18.
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.