Antonio Vallecillo
Antonio Vallecillo
Verified email at lcc.uma.es - Homepage
TitleCited byYear
Formalizing web service choreographies
A Brogi, C Canal, E Pimentel, A Vallecillo
Electronic notes in theoretical computer science 105, 73-94, 2004
3022004
An introduction to UML profiles
L Fuentes-Fernández, A Vallecillo-Moreno
UML and Model Engineering 2, 6-13, 2004
2932004
Towards a consistent terminology for software measurement
F García, MF Bertoa, C Calero, A Vallecillo, F Ruiz, M Piattini, M Genero
Information and Software Technology 48 (8), 631-644, 2006
2632006
Quality attributes for COTS components
F Manuel, V Antonio
I+ D Computacion, 1 (2), 128-143, 2002
1862002
Measuring the usability of software components
MF Bertoa, JM Troya, A Vallecillo
Journal of Systems and Software 79 (3), 427-439, 2006
1402006
Object interoperability
A Vallecillo, JM Troya, J Hernández
European Conference on Object-Oriented Programming, 1-21, 1999
981999
Formal and Tool Support for Model Driven Engineering with Maude.
JR Romero, JE Rivera, F Durán, A Vallecillo
Journal of Object Technology 6 (9), 187-207, 2007
922007
Adding roles to CORBA objects
C Canal, L Fuentes, E Pimentel, JM Troya, A Vallecillo
IEEE Transactions on Software Engineering 29 (3), 242-260, 2003
862003
Typing the behavior of objects and components using session types
A Vallecillo, VT Vasconcelos, A Ravara
Electronic Notes in Theoretical Computer Science 68 (3), 439-456, 2003
792003
Analyzing rule-based behavioral semantics of visual modeling languages with Maude
JE Rivera, E Guerra, J de Lara, A Vallecillo
International Conference on Software Language Engineering, 54-73, 2008
782008
A survey on the quality information provided by software component vendors
MF Bertoa, JM Troya, A Vallecillo
Proceedings of the 7th ECOOP Workshop on Quantitative Approaches in Object …, 2003
782003
Typing the behavior of software components using session types
A Vallecillo, VT Vasconcelos, A Ravara
Fundamenta Informaticæ 73 (4), 583-598, 2006
75*2006
Formal specification and analysis of domain specific models using Maude
JE Rivera, F Durán, A Vallecillo
Simulation 85 (11-12), 778-792, 2009
742009
Tractable model transformation testing
M Gogolla, A Vallecillo
European Conference on Modelling Foundations and Applications, 221-235, 2011
732011
Building enterprise systems with ODP: an introduction to open distributed processing
PF Linington, Z Milosevic, A Tanaka, A Vallecillo
Chapman and Hall/CRC, 2011
712011
Bridging the gap between agent-oriented design and implementation using MDA
M Amor, L Fuentes, A Vallecillo
International Workshop on Agent-Oriented Software Engineering, 93-108, 2004
712004
Extending CORBA interfaces with protocols
C Canal, L Fuentes, E Pimentel, JM Troya, A Vallecillo
The Computer Journal 44 (5), 448-462, 2001
702001
A Rewriting Logic Semantics for ATL.
J Troya, A Vallecillo
Journal of Object Technology 10 (5), 1-29, 2011
672011
A graphical approach for modeling time-dependent behavior of DSLs
JE Rivera, F Duran, A Vallecillo
2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2009
672009
A trading service for COTS components
L Iribarne, JM Troya, A Vallecillo
The Computer Journal 47 (3), 342-357, 2004
672004
The system can't perform the operation now. Try again later.
Articles 1–20