|
To appear |
Last update:
12/03/2009
-
J. Cámara, J. A. Martín, G. Salaün, J. Cubo, M. Ouederni, C.
Canal, E. Pimentel
ITACA: an Integrated Toolbox for the Automatic Composition and
Adaptation of Web Services (tool paper)
31st
International Conference on Software Engineering (ICSE 2009)
Vancouver (Canada), May 2009
Proccedings, ACM, 2009 (to
appear).
-
J. Cámara, C. Canal, G. Salaün
Behavioural Self-Adaptation of Services in Ubiquitous Computing
Environments
ICSE 2009
Workshop on Software Engineering for Adaptive and Self-Managing
Systems (SEAMS 2009)
Vancouver
(Canada), May 2009
Proccedings, ACM and IEEE
Digital Libraries, 2009 (to appear).
-
C. Canal, C. Pasareanu (Eds.)
Special Issue on the
5th International Workshop on Formal Aspects of Component Software (FACS'08)
Science of Computer Programming, Elsevier, (in preparation).
-
C. Canal, P. Poizat. M. Sirjani (Eds.)
Special Issue on the
7th International Workshop on
Foundations of Coordination Languages and Software Architectures (FOCLASA'08)
Science of Computer Programming, Elsevier, (in preparation).
-
C. Canal, P. Poizat, M. Viroli (Eds.)
Special Issue on the
6th International Workshop on
Foundations of Coordination Languages and Software Architectures (FOCLASA'07)
Science of Computer Programming, Elsevier, (in preparation).
-
C. Canal, C. Pasareanu (Eds.)
5th
International Workshop on Formal Aspects of Component Software (FACS'08)
Málaga (Spain), September 2008
Electronic Notes in Theoretical
Computer Science, Elsevier, ISSN 1571-0661 (to appear).
-
C. Canal, P. Poizat. M. Sirjani (Eds.)
ICALP 2008 7th
International Workshop on the Foundations of Coordination Languages and Software Architectures
(FOCLASA’08)
Reykjavik (Iceland), July 2008
Electronic Notes in Theoretical
Computer Science, Elsevier, ISSN 1571-0661, (to appear).
|
|
2008 |
-
C. Canal, P. Poizat, G. Salaün
Model-Based Adaptation of Behavioral
Mismatching Components
IEEE Transactions on Software Engineering,
34(4):546-563, IEEE Computer Society, 2008, ISSN 0098-5589.
-
J. Cámara, G. Salaün, C. Canal
Run-time Composition and Adaptation of
Mismatching Behavioural Transactions
Special issue on Practical
Approaches to Software Adaptation
Journal of Universal Computer
Science (JUCS), 14(13): 2182-2211, Springer, 2008, ISSN 0948-695X.
-
M.A. Pérez-Toledano, A. Navasa, J.M. Murillo, C. Canal
A Safe Dynamic
Adaptation Framework for Aspect-Oriented Software Development
Special issue on Practical
Approaches to Software Adaptation
Journal of Universal Computer
Science (JUCS), 14(13): 2212-2238, Springer, 2008, ISSN 0948-695X.
-
J. Cámara, G. Salaün, C. Canal
Clint: A
Composition Language Interpreter
Fundamental Approaches to
Software Engineering (FASE 2008)
Budapest (Hungary), April 2008
Fundamental Approaches to
Software Engineering, LNCS 4961, pp. 423–427, Springer 2008, ISSN
0302-9743, ISBN 978-3-540-78742-6.
-
C. Canal, J.M. Murillo, P. Poizat
Practical Approaches for Software Adaptation
Report on the
ECOOP 2007 4th International Workshop on Coordination and Adaptation
Techniqyes (WCAT07)
Berlin (Germany), July 2007
Object-Oriented Technology. ECOOP 2007 Workshop Reader,
LNCS 4906, pp. 154–165, Springer, 2008, ISSN 0302-9743, ISBN
978-3-540-78194-3.
-
J. Cubo, G. Salaün, C. Canal, E. Pimentel, P. Poizat
A Model-Based
Approach to the Verification and Adaptation of WF/.NET Components
4th International Workshop on Formal Aspects of Component Software (FACS'07)
Electronic Notes in Theoretical
Computer Science, 215:39–55, Elsevier, 2008, ISSN 1571-0661.
-
J. Cámara, G. Salaün, C. Canal
Multiple
Concern Adaptation for Run-time Composition in Context-Aware Systems
4th International Workshop on
Formal Aspects of Component Software (FACS'07)
Electronic Notes in Theoretical
Computer Science, 215:111–130, Elsevier, 2008, ISSN 1571-0661.
-
J. Cubo, C. Canal, E. Pimentel
Towards a Model-Based
Approach for Context-Aware Composition and Adaptation: a case study
using WF/.NET
ETAPS 2008 5th International
Workshop on Model-based Methodologies for Pervasive and Embedded
Software (MOMPES'08)
Budapest (Hungary), April 2008
Proceedings, pages 3–13, IEEE
Computer Society, 2008
-
J. Cubo, C. Canal, E. Pimentel
Un enfoque para
modelar la composiciín y adaptación de servicios Web dependientes
del contexto
IV Jornadas Cientítico-Técnicas
en Servicios Web y SOA (JSWEB 08)
Sevilla (Spain), October 2008
En actas.
-
J. Cámara, G. Salaün, C. Canal
Run-time Composition and Adaptation of Mismatching Behavioural
Transactions
(dissemination paper,
previously published in SEFM'07)
13ª Jornadas de Ingeniería del Software y Bases de Datos (JISBD
2008)
Gijón (Spain), October 2008
Proceedings of the 13th
Conference on Software Engineering and Databases, JISBD 2008, pp.
481, SISTEDES, ISBN: 978-84-612-5820-8.
-
J. Cámara, C. Canal, G. Salaün
Towards Self-Adaptation
in Dynamic Service Ecosystems
JISBD'2008 Workshop on Autonomic
and Self-Adaptive Systems (WASELF-* 2008)
Gijón (Spain), October 2008
Actas de los Talleres de las
Jornadas de Ingeniería del Software y Bases de Datos, vol. 2, no. 5,
pp. 53–63, SISTEDES, 2008, ISSN 1988–3455.
-
J. Cubo, C. Canal, E. Pimentel
Supporting
Context-Awareness in Adaptive Service Composition
JISBD'2008 Workshop on Autonomic
and Self-Adaptive Systems (WASELF-* 2008)
Gijón (Spain), October 2008
Actas de los Talleres de las
Jornadas de Ingeniería del Software y Bases de Datos, vol. 2, no. 5,
pp. 64–73, SISTEDES, 2008, ISSN 1988–3455.
-
M. A. Pérez Toledano
TITÁN: un marco de trabajo para el estudio de la integración de
aspectos en sistemas software (PhD. Thesis)
Directores: J. M. Murillo y C. Canal
Depto. de Ingeniería de
Sistemas Informáticos y Telemáticos, Universidad de
Extremadura, Diciembre
2008.
-
C. Canal, J.M. Murillo, P. Poizat (Eds.)
Special issue on Practical
Approaches to Software Adaptation
Journal of Universal Computer
Science (JUCS), 14(13), Springer, 2008, ISSN 0948-695X.
-
C. Canal, P. Poizat, M. Viroli (Eds.)
CONCUR'2007 6th
Int. Workshop on the Foundations of Coordination Languages and Software
Architectures (FOCLASA’07)
Lisbon (Portugal), September 2007
Electronic Notes in Theoretical Computer Science, vol. 194(4),
Elsevier, 2008, ISSN 1571-0661.
|
|
2007 |
-
J. Cámara, C. Canal, J. Cubo, J.M. Murillo
Enabling Adaptivity on User Interfaces
1st European Conference on Software Architectures (ECSA'07)
Madrid (Spain), September 2007
Software Architecture, LNCS 4758, pp. 106–114, Springer, 2007, ISBN
978-3-540-75131-1, ISSN 0302-9743.
-
J. Cubo, G. Salaün, J. Cámara, C. Canal, E. Pimentel
Context-Based Adaptation of Component Behavioural Interfaces
9th Conference on Coordination Models and Languages (Coordination'07)
Paphos (Cyprus), June 2007
Coordination Models and Languages, LNCS 4467, pp. 305–323, Springer,
2007.
-
J. Cámara, G. Salaün, C. Canal
Run-time Composition and Adaptation of Mismatching Behavioural
Transactions
5th IEEE Conference on Software Engineering and Formal Methods (SEFM'07)
London (United Kingdom), September 2007
Proceedings, pp. 381–390, IEEE Computer Society, 2007.
-
S. Becker, C. Canal, N. Diakov, J.M. Murillo, P. Poizat, M. Tivoli
Coordination and Adaptation
Techniques: Bridging the Gap between Design and Implementation
Report on the
ECOOP’2006 Workshop on Coordination and Adaptation Techniques for Software Entities
(WCAT’06)
Nantes (France), July 2006
Object-Oriented
Technology. ECOOP 2006 Workshop Reader, LNCS 4379, pp. 72–86, Springer,
2007.
-
M.A. Pérez-Toledano, A. Navasa, J.M. Murillo, C. Canal
TITAN: a
Framework for Aspect Oriented System Evolution
2nd International Conference on
Software Engineering Advances (ICSEA'07)
Cap Esterel (France), August
2007
Proceedings, 4p., IEEE Computer
Society, 2007.
-
J. Cámara, C. Canal, J. Cubo, J.M. Murillo
An Aspect-Oriented Adaptation Framework for Dynamic Component
Evolution
ECOOP’2006 Workshop on Coordination
and Adaptation Techniques
(WCAT’06)
Nantes (France), July 2006
Electronic Notes in Theoretical Computer
Science, vol. 189(2):21–34, 2007, Elsevier, ISSN 1571-0661.
-
A Brogi, C. Canal, E. Pimentel
Behavioural types for service
integration: achievements and challenges
CONCUR’2004 Workshop on the Foundations of Coordination Languages and Software Architectures
(FOCLASA’04)
London (United
Kingdom), August 2004
Electronic Notes in Theoretical Computer
Science, vol. 180(2):41–54, 2007, Elsevier, ISSN 1571-0661.
-
A. Brogi, J. Cámara, C. Canal, J. Cubo, E. Pimentel
Dynamic Contextual Adaptation
CONCUR’2006 Workshop on the Foundations of Coordination Languages and Software Architectures
(FOCLASA’06)
Bonn (Germany), August 2006
Electronic Notes in Theoretical Computer
Science, vol. 175(2):81–95, Elsevier, 2007, ISSN 1571-0661.
-
J. Cubo, G. Salaün, C. Canal, E.
Pimentel, P. Poizat
Relating Model-Based Adaptation and Implementation
Platforms: A Case Study with WF/.NET 3.0
ECOOP'07 12th International Workshop on
Component-Oriented Programming (WCOP'07)
Berlin (Germany),
July 2007
Technical Report
2007-11, pp. 9–13, Fakultát für Informatik, Universität Karlsruhe,
2007.
-
J. Cámara, G. Salaün, C. Canal
On Run-time Adaptation in Context-Aware
Systems
ECOOP'2007 1st Workshop on Model-Driven
Software Adaptation (M-ADAPT'07)
Berlin (Germany),
July 2007
Proceedings, 2007.
-
M.A. Pérez-Toledano, A. Navasa, J.M.
Murillo, C. Canal
Safe Dynamic Adaptation using Aspect-Oriented Programming
ECOOP'2007 4th International Workshop on
Coordination and Adaptation Techniques (WCAT'07)
Berlin (Germany),
July 2007
Technical Report ?
2007.
-
C. Canal, P. Poizat, G. Salaün
ADAPTOR:
Adaptación dinámica de componentes mediante Vectores de
Sincronización y Expresiones Regulares
2nd International Conference on Science
and Technology (JICT'07)
Málaga (Spain), March 2007
Proceedings, 2007
-
C. Canal, M. Viroli (Eds.)
Special Issue on the 4th International Workshop on
Foundations of Coordination Languages and Software Architectures (FOCLASA'05)
Science of Computer Programming, 66(3):181--268, Elsevier, 2007.
-
C. Canal, M. Viroli (Eds.)
Proceedings of the
CONCUR'2006
Workshop on the Foundations of Coordination Languages and Software
Architectures (FOCLASA’06)
Bonn (Germany), August 2006
Electronic Notes in Theoretical Computer Science, vol. 175(2),
Elsevier, 2007, ISSN 1571-0661.
-
S. Becker, C. Canal, N. Diakov,
J.M. Murillo, P. Poizat, M. Tivoli (Eds.)
Special Issue on the 3rd International Workshop on
Coordination and Adaptation Techniques (WCAT'06)
Electronic Notes in Theoretical Computer
Science, vol. 189, Elsevier, 2007.
-
C. Canal, J.M. Murillo, P. Poizat (Eds.)
Proceedings of the
ECOOP'2007 4th International Workshop on Coordination
and Adaptation Techniques (WCAT'07)
Berlin (Germany),
July 2007
Technical Report ?,
2007.
|
|
2006 |
-
A. Brogi, C. Canal,
E. Pimentel
Component
Adaptation Through Flexible Subservicing
Science of Computer Programming, 63:39–56,
Elsevier, 2006.
-
A. Brogi, C. Canal, E. Pimentel
On the Semantics of Software
Adaptation
Science of Computer
Programming, 61(2):136–151, Elsevier, 2006.
-
C. Canal,
J.M, Murillo, P. Poizat
Software
adaptation
L’Objet, 12(1):9–31, Hermes - Lavoisier, 2006. ISSN 1232-1137.
-
C.
Canal, P. Poizat, G. Salaün
Synchronizing
Behavioural Mismatch in Software Composition
Formal Methods for Open Object-Based Distributed Systems (FMOODS'06)
Bologna (Italy),
June 2006
LNCS 4037, pp.
63–77, Springer, 2006, ISBN: 3-540-23988-X. ISSN 0302-9743
-
J. Cámara, C. Canal, J. Cubo, A. Vallecillo
Formalizing WSBPEL Business Processes using Process Algebra
CONCUR’2005 Workshop on the Foundations of Coordination Languages and Software Architectures
(FOCLASA’05)
San Francisco (United States), August 2005
Electronic Notes in Theoretical Computer
Science, vol. 154(1):159–173, Elsevier, 2006, ISSN 1571-0661.
-
M.A. Pérez Toledano, A. Navasa, J.M. Murillo, C. Canal
Making Aspect-Oriented System
Evolution Safer
ECOOP'2006 Workshop on Reflection, AOP and Meta-Data for
Software Evolution (RAM-SE'06)
Nantes (France), July 2006
Proceedings, 2006.
-
J. Cámara, C. Canal, J. Cubo, E. Pimentel
Dynamic Adaptation Using
Contextual Environments
ECOOP’2006 Workshop on Coordination and Adaptation Techniques for Software Entities
(WCAT’06)
Nantes (France), July 2006
Coordination and Adaptation Techniques: Bridging the Gap Between
Design and Implementation,
Technical Report IBISC RR 2006-03, IBISC - FRE 2873, CNRS / Université d’Évry,
pp. 35–32.
-
J. Cámara, C. Canal, J. Cubo, J.M. Murillo
An Aspect-Oriented Adaptation
Framework for Dynamic Component Evolution
ECOOP’2006 Workshop on Coordination and Adaptation Techniques for Software Entities
(WCAT’06)
ECOOP'2006 Workshop on Reflection, AOP and Meta-Data for
Software Evolution (RAM-SE'06)
Nantes (France), July 2006
Coordination and Adaptation Techniques: Bridging the Gap Between
Design and Implementation,
Technical Report IBISC RR 2006-03, IBISC - FRE 2873, CNRS / Université d’Évry,
pp. 91–99.
-
C. Canal, P. Poizat, G. Salaün
Adaptation de composants logiciels:
une approche automatisée basée sur des expressions régulières de
vecteurs de synchronisation
Première Conférence
Francophone sur les Architectures Logicielles (CAL'2006)
Nantes (France), September 2006
Proceedings, Editions
Hermes Sciences / Lavoisier, 2006.
-
M.A. Pérez Toledano, A. Navasa, J.M. Murillo, C. Canal
Evolución de sistemas orientados
a aspectos utilizando patrones de interacción
XI Jornadas en Ingeniería del Software y Bases de Datos (JISBD’2006)
Sitges (Spain), October 2006
Ingeniería del
Software y Bases de Datos, pp. 514–519, CIMNE, 2006, ISBN 84-95999-99-4.
-
J. Cámara, C. Canal, J. Cubo, J.M. Murillo
AOP and Dynamic Software
Adaptation
JISDB'2006. Taller de
Desarrollo de Software Orientado a Aspectos (DSOA'06)
Sitges (Spain), October 2006
Actas, Informe Técnico TR
24/06. Escuela Politécnica, Universidad de Extremadura, 2006, pp.
27–34.
-
C.
Canal, J.M. Murillo, P. Poizat (Eds.)
Coordination
and Adaptation Techniques
Special
Issue on the 1st
International Workshop on Coordination and Adaptation Techniques for
Software Entities (WCAT'04),
L’Objet, 12(1),
Hermes - Lavoisier, 2006, ISSN 1232-1137.
-
C. Canal, M. Viroli (Eds.)
Proceedings of the
CONCUR'2005 Workshop on the Foundations of Coordination Languages and Software Architectures
(FOCLASA’05)
San Francisco (United States), August 2005
Electronic Notes in Theoretical Computer Science, vol. 154(1), Elsevier,
2006, ISSN 1571-0661.
-
S. Becker, C. Canal, N. Diakov, J.M. Murillo, P. Poizat, M. Tivoli (Eds.)
Coordination and Adaptation Techniques: Bridging the Gap Between
Design and Implementation
Proceedings of the ECOOP’2006 Workshop on Coordination and Adaptation Techniques for Software Entities
(WCAT’06)
Nantes (France), July 2006
Technical Report IBISC RR 2006-03, IBISC - FRE 2873, CNRS / Université d’Évry,
2006.
|
|
2005 |
-
A. Bracciali, A. Brogi, C. Canal
A Formal Approach to Component Adaptation
Journal of Systems and Software, 74(1):45–54, Elsevier,
2005, ISSN 0164-1212
-
J. Cámara, C. Canal, J. Cubo
Issues in the formalization of Web Service Orchestrations
ECOOP’2005 Workshop on Coordination and Adaptation Techniques for Software Entities
(WCAT’05)
Glasgow (United Kingdom), July 2005
New Issues on Coordination and Adaptation Techniques,
TR 119/2005 LaMI UMR 8042, CNRS / Université d’Évry,
pp. 81–88. ISBN 84-688-6782-9
-
M.A. Pérez Toledano, A. Navasa, C. Canal, J.M. Murillo
Desarrollo de Sistemas Basados en Componentes Utilizando Diagramas de Secuencia
8º Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes de Software (IDEAS’05)
Valparaíso (Chile), May 2005
En Actas, pp. 229–240, May 2005
-
M.A. Pérez Toledano, A. Navasa, J.M. Murillo, C. Canal
Síntesis de patrones de interacción a partir de
diagramas de secuencia de UML
X Jornadas en Ingeniería del Software y Bases
de Datos (JISBD’2005)
Granada (Spain), September 2005
X Jornadas de Ingeniería del Software y Bases
de Datos (JISBD'05), pp. 83–90,
Thompson, ISBN 84-9732-434-X
-
S. Becker, C. Canal, J.M. Murillo, P. Poizat, M. Tivoli (Eds.)
New Issues on Coordination and Adaptation Techniques
Proceedings of the ECOOP’2005 Workshop on Coordination and Adaptation Techniques for Software Entities
(WCAT’05)
Glasgow (United Kingdom), July 2005
TR 119/2005 LaMI UMR 8042, CNRS / Université d’Évry, 2005. ISBN 84-688-6782-9
|
|
2004 |
-
C. Canal, J.M. Murillo, P. Poizat
Coordination and Adaptation Techniques for Software Entities
Report on the ECOOP’2004 Workshop on Coordination and Adaptation Techniques for Software Entities
(WCAT’04)
Oslo (Norway), June 2004
Object-Oriented Technology. ECOOP 2004 Workshop Reader, LNCS 3344, pp. 133–147, Springer, 2004,
ISBN: 3-540-23988-X. ISSN 0302-9743
-
A. Brogi, C. Canal, E. Pimentel
Behavioural Types and Component Adaptation
Algebraic Methodology and Software Technology (AMAST’04)
Stirling (United Kingdom), June 2004
Algebraic Methodology and Software Technology, LNCS 3116, pp. 42–56, Springer, 2004, ISBN: 3-540-22381-9. ISSN 0302-9743
-
A. Brogi, C. Canal, E. Pimentel
Measuring Component Adaptation
Coordination Models and Languages (Coordination’04)
Pisa (Italia), February 2004
Coordination Models and Languages, LNCS 2949, pp. 71–86, Springer, 2004. ISSN 0302-9743
-
C. Canal
On the Dynamic Adaptation of Component Behaviour
ECOOP’2004 Workshop on Coordination and Adaptation Techniques for Software Entities
(WCAT’04)
Oslo (Norway), June 2004
Issues on Coordination and Adaptation Techniques, TR 97/2004 LaMI UMR 8042, CNRS / Université d’Évry, pp.17–24.
ISBN 84-689-2747-3
-
A. Brogi, C. Canal,
E. Pimentel, A. Vallecillo
Formalizing Web Service Choreographies
Coordination’2004 Workshop on Web Services and Formal Methods (WSFM’04)
Pisa (Italy), February 2004
Electronic Notes in Theoretical Computer Science, 105:73–94, Elsevier 2004. ISSN 1571-0661
-
C. Canal, J.M. Murillo, P. Poizat (Eds.)
Issues on Coordination and Adaptation Techniques
Proceedings of the ECOOP’2004 Workshop on Coordination and Adaptation Techniques for Software Entities
(WCAT’04)
Oslo (Norway), June 2004
TR 97/2004 LaMI UMR 8042, CNRS / Université d’Évry, 2004. ISBN 84-689-2747-3
|
|
2003 |
-
C. Canal, L. Fuentes, E. Pimentel, J. M. Troya, A. Vallecillo
Adding Roles to CORBA Objects
IEEE Transactions on Software Engineering, 29(3):242–260, IEEE Press, 2003
-
A. Brogi, C. Canal, E. Pimentel
On the Specification of Software Adaptation
CONCUR’2003 Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA’03)
Marseille (France), September 2003
Electronic Notes in Theoretical Computer Science, 97: 47–65, Elsevier 2004, ISSN 1571-0661
-
A. Brogi, C. Canal, E. Pimentel
Soft Component Adaptation
ICALP’2003 Workshop on
Security Issues in Coordination Models, Languages, and Systems
(SecCo’03)
Eindhoven (The
Netherlands), June
2003
Electronic
Notes in Theoretical Computer Science, 85(3),16 pp., Elsevier 2003,
ISSN 1571-0661
-
A. Brogi, C. Canal,
E. Pimentel
Adaptación automática de componentes: una
experiencia de desarrollo orientado a aspectos
JISBD’2003. Taller de trabajo en Desarrollo de Software Orientado a Aspectos (DSOA’2003)
Alicante, Noviembre 2003
En Actas, pp. 19-26
|
|
2002 |
-
A. Bracciali, A. Brogi, C. Canal
Adapting Components with Mismatching Behaviours
Component Deployment (CD’02)
Berlin (Germany), June 2002
Component Deployment, LNCS 2370, pp. 185–199, Springer, 2002, ISBN: 3-540-43847-5. ISSN 0302-9743
-
A. Bracciali, A. Brogi, C. Canal
Dynamically Adapting the Behaviour of
Software Components
Coordination Models and Languages
(Coordination’02)
York (United Kingdom), April 2002
Coordination Models and Languages, LNCS 2315, pp. 88–95, Springer, 2002, ISBN: 3-540-43410-0. ISSN 0302-9743
-
A. Bracciali, A. Brogi, C. Canal
Systematic Component Adaptation
ICALP’2002 Workshop on Formal Methods and Component
Interaction (FMCI’02)
Málaga
(Spain), July 2002
Electronic Notes in Theoretical Computer Science,
66(4), 17 pp., Elsevier 2002. ISSN 1571-0661
|
|
2001 |
-
C. Canal, L. Fuentes, E. Pimentel, J. M. Troya,
A. Vallecillo
Extending CORBA Interfaces with Protocols
The Computer Journal, 44(5):448–462, Oxford
University Press, 2001
-
C. Canal, E. Pimentel, J.M. Troya
Compatibility and Inheritance in Software Architectures
Science of
Computer Programming, 41(2):105–138, Elsevier, 2001
-
M. Pinto, M. Amor, C. Canal,
L. Fuentes
Compositional and Architectural Evolution Issues: a
comparison between JMF and MultiTEL
ECOOP
2001 Workshop on Distributed Multimedia Object/Component Systems
Budapest (Hungary),
June 2001
In Proceedings
-
M. Pinto, M. Amor, C. Canal,
L. Fuentes
Compositional and
Architectural Evolution Issues: a comparison between JMF and
MultiTEL (abstract)
Object-Oriented Technology ECOOP 2001 Workshop Reader, pp 27-28, LNCS 2323, Springer, ISBN:
3-540-43675-8
|
|
2000 |
-
C. Canal, L. Fuentes, J. M. Troya,
A. Vallecillo
Extending CORBA interfaces with p-calculus
for protocol compatibility
TOOLS Europe 33
Mont Saint Michel (France),
June 2000
Technology of Object-Oriented Languages and Systems, pp. 208–225,
IEEE Computer Society, 2000, ISBN: 0-7695-0731-X
-
C. Canal
Un Lenguaje para la Especificación y Validación
de Arquitecturas de Software (PhD. Thesis)
Directores: J. M. Troya y E. Pimentel
Depto. de Lenguajes y Ciencias de la Computación, Universidad de
Málaga, Diciembre
2000
-
C. Canal, L. Fuentes,
A. Vallecillo
Adding
protocol information to CORBA IDLs
ECOOP’2000 Workshop on Object
Interoperability
Sophia Anthipolis (France), June
2000
New Issues in Object
Interoperability, Selected Papers, pp. 13–24,
Universidad de Extremadura, 2000. ISBN: 84-699-2538-5
-
C. Canal, L. Fuentes,
A. Vallecillo
Adding protocol information
to CORBA IDLs (abstract)
Object-Oriented Technology,
ECOOP’2000 Workshop Reader, pp. 260–261,
LNCS 1964, Springer, 2000, ISBN: 3-540-41513-0
|
|
1999 |
-
C. Canal, E. Pimentel,
J. M. Troya
Specification and
Refinement of Dynamic Software Architectures
1st IFIP
Conference on Software Architecture (WICSA-1)
San Antonio, (United
States), February
1999
Software Architecture, pp. 107–126, Kluwer Academic Publishers, 1999, ISBN
0-7923-8453-9
-
C. Canal, L. Fuentes,
A. Vallecillo
Adding Semantic Information to IDLs.
Is it Really Practical?
8th OOPSLA Workshop on Behavioral
Semantics
Denver (United
States), November
1999
Proceedings of the 8th OOPSLA
Workshop on
Behavioral Semantics, pp. 22–31,
Northeastern University, College of Computer Science, 1999
-
C. Canal, E. Pimentel,
J.M. Troya
Conformance and Refinement of Behavior in
p-calculus
2nd International Workshop on
Component-Based Software Development in Computational Logic
(COCL'99)
Paris (France),
September
1999
In Proceedings
-
C. Canal, L. Fuentes,
A. Vallecillo
Extending IDLs with
p-calculus
for Protocol Compatibility
ECOOP’99 Workshop on Object
Interoperability
Lisbon (Portugal), June 1999
Object Interoperability, Selected Papers, pp.
13-24, Universidad de Málaga, 1999, ISBN: 84-699-0520-1
-
C. Canal, E. Pimentel,
J. M. Troya
Specification of Interacting Software Components: A Case Study
II Jornadas
Iberoamericanas de Ingeniería de Requisitos y Ambientes Software
San José (Costa
Rica), March 1999
IDEAS’99:
Memoria, pp. 381-392, Instituto Tecnológico de Costa Rica, ISBN:
9968-32-000-5
-
C. Canal, L. Fuentes,
A. Vallecillo
Extending IDLs with
p-calculus
for Protocol Compatibility (abstract)
Object-Oriented Technology, ECOOP’99 Workshop
Reader, pp. 5-6, LNCS 1743, Springer, 1999, ISBN: 3-540-66954-X.
ISSN 0302-9743
-
C. Canal, L. Fuentes, E.
Pimentel, J.M. Troya
Coordinación de Componentes Distribuidos: un enfoque generativo
basado en Arquitectura del Software
IV
Jornadas de Ingeniería del Software
y Bases de Datos (JISBD'99)
Cáceres, Noviembre 1999
En Actas,
pp. 443-454, Universidad de Extremadura, Departamento de
Informática, ISBN 84-699-0956-8
|
|
1998 |
|
|
1997 |
-
C. Canal, E. Pimentel,
J. M. Troya
On the
Composition and Extension of Software Components
ESEC/FSE Workshop on the
Foundations of Component-Based Systems (FoCBS'97)
Zürich (Switzerland),
1997
In Proceedings,
pp. 50-59
-
C. Canal, E. Pimentel,
J. M. Troya
An
Object-Oriented Approach to Software Architecture Specification
ECOOP’97 Workshop for PhD. Students
in Object-Oriented Programming
Jyväskylä (Finland), 1997
Position Papers from the 7th
Workshop for PhD. Students in Object-Oriented Systems (PhDOOS'97)
Technical Report DAIMI PB–526,
University of Aarhus, 1997, ISSN: 0105-8517, pp. 9-16
-
C. Canal, E. Pimentel,
J. M. Troya
A Formal Specification Language for the Description of Architectural Patterns
in Software Systems
Argentine
Symposium on Object Orientation
Buenos Aires
(Argentine), 1997
In Proceedings,
pp. 47-56
-
C. Canal
An Object-Oriented Architecture Description
Language (PhD. abstract)
Object-Oriented Technology, ECOOP’97 Workshop Reader, pp. 422-423, LNCS 1357, Springer, ISBN:
3-540-64039-8,
ISSN 0302-9743
-
C. Canal, E. Pimentel,
J. M. Troya
LEDA: A Specification Language for Software Architecture
II Jornadas
de Ingeniería del Software
San Sebastián
(Spain), 1997
In Proceedings,
pp. 207-219
|
|
1996 |
-
E. Pimentel,
C.
Canal, F.J. Durán
Una
experiencia en la docencia de Diseño Orientado a Objetos
V Congreso
Iberoamericano de Educación Superior en Computación
Ciudad de
México (México), 1996
En Actas,
pp. 233-242
-
C. Canal, E. Pimentel,
J.M. Troya
Software Architecture Specification
with p-calculus
I Jornadas de Ingeniería del Software
Sevilla (Spain), 1996
In Proceedings,
pp. 31-40
-
C. Canal,
L. Fuentes
Implementación de los tipos abstractos de SDL en un lenguaje lógico
concurrente
II Jornadas
de Informática
Almuñécar,
1996
En Actas,
pp. 595-604
|
|
1995 |
|
|
1994 |
-
C. Canal, L. Fuentes, P.
Merino y J.M. Troya
Especificación y validación del protocolo de Audio/Vídeo AVP sobre
un entorno declarativo distribuido
XVI Escuela
de Verano de Informática de la AEIA
Oviedo,
1994
En Actas,
pp. 3-18
-
J. Aldana et al.
Un entorno
declarativo distribuido para especificación y validación de
protocolos
Jornadas
Técnicas Proyecto TEMA - PLANBA
Madrid, 1994
En Actas
-
P. Merino, L. Fuentes, C.
Canal, J. M. Troya
Validación y simulación de
protocolos mediante metainterpretación
Jornadas
Técnicas Proyecto TEMA - PLANBA
Madrid, 1994
En Actas
|