Alcino Cunha
Alcino Cunha
HASLab, INESC TEC and Universidade do Minho
Bestätigte E-Mail-Adresse bei di.uminho.pt - Startseite
TitelZitiert vonJahr
Implementing QVT-R bidirectional model transformations using Alloy
N Macedo, A Cunha
International Conference on Fundamental Approaches to Software Engineering …, 2013
642013
Type-safe two-level data transformation
A Cunha, J Oliveira, J Visser
FM 2006: Formal Methods, 284-299, 2006
532006
Strongly typed rewriting for coupled software transformation
A Cunha, J Visser
Electronic Notes in Theoretical Computer Science 174 (1), 17-34, 2007
47*2007
Translating between Alloy specifications and UML class diagrams annotated with OCL
A Cunha, A Garis, D Riesco
Software & Systems Modeling 14 (1), 5-25, 2015
462015
Generic point-free lenses
H Pacheco, A Cunha
Mathematics of Program Construction, 331-352, 2010
382010
Coupled schema transformation and data conversion for XML and SQL
P Berdaguer, A Cunha, H Pacheco, J Visser
Practical Aspects of Declarative Languages, 290-304, 2007
382007
Model repair and transformation with Echo
N Macedo, T Guimaraes, A Cunha
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
352013
Least-change bidirectional model transformation with QVT-R and ATL
N Macedo, A Cunha
Software & Systems Modeling 15 (3), 783-810, 2016
332016
Transformation of structure-shy programs: applied to XPath queries and strategic functions
A Cunha, J Visser
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and …, 2007
272007
Delta Lenses over Inductive Types
H Pacheco, A Cunha, Z Hu
Electronic Communications of the EASST 49, 2012
262012
A feature-based classification of model repair approaches
N Macedo, T Jorge, A Cunha
IEEE Transactions on Software Engineering 43 (7), 615-640, 2016
222016
A framework for point-free program transformation
A Cunha, J Pinto, J Proença
Implementation and Application of Functional Languages, 1-18, 2006
222006
Bounded model checking of temporal formulas with Alloy
A Cunha
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014
212014
Target oriented relational model finding
A Cunha, N Macedo, T Guimaraes
International Conference on Fundamental Approaches to Software Engineering …, 2014
212014
Lightweight specification and analysis of dynamic systems with rich configurations
N Macedo, J Brunel, D Chemouil, A Cunha, D Kuperberg
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
182016
Mapping between alloy specifications and database implementations
A Cunha, H Pacheco
2009 Seventh IEEE International Conference on Software Engineering and …, 2009
182009
Point-free program transformation
A Cunha, JS Pinto
Fundamenta Informaticae 66 (4), 315-352, 2005
172005
Point-free program calculation
A Cunha
PhD thesis, Dep. Informática, Universidade do Minho, 2005
162005
Fast distributed computation of distances in networks
PS Almeida, C Baquero, A Cunha
51st Annual IEEE Conference on Decision and Control (CDC), 5215-5220, 2012
152012
Specifying UML protocol state machines in Alloy
A Garis, A Paiva, A Cunha, D Riesco
Integrated Formal Methods, 312-326, 2012
152012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20