 |
 |
 |
 |
|
|
||
|---|---|---|
|
hal-00700737v1
Communication dans un congrès
Diana Allam, Hervé Grall, Jean-Claude Royer. Towards a Unified Formal Model for Service Orchestration and Choreography Yves Ledru, Anne-Françoise Le Meur, Olivier Caron. Actes des troisièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel (Poster), Jun 2011, Lille, France. 2011 |
||
|
hal-00800153v1
Communication dans un congrès
Diana Allam, Hervé Grall, Jean-Claude Royer. From Object-Oriented Programming to Service-Oriented Computing: How to Improve Interoperability by Preserving Subtyping Karl-Heinz Krempels and Alexander Stocker. WEBIST 2013 - 9th International Conference on Web Information Systems and Technologies, May 2013, Aachen, Germany. SciTePress Digital Library, pp.169-173, 2013, WEBIST 2013 - Proceedings of the 9th International Conference on Web Information Systems and Technologies, Aachen, Germany, 8-10 May, 2013 |
||
|
hal-00700750v1
Communication dans un congrès
Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt. The Synthesis Problem for Trusted Service-based Collaborations Actes des troisimes journes nationales du Groupement De Recherche CNRS du Gnie de la Programmation et du Logiciel, Jun 2011, Lille, France. 2011 |
||
|
hal-01250862v1
Mémoires d'étudiants -- Hal-inria+
Gabriel Lewertowski. Ensembles nominaux dans Coq/SSreflect Langage de programmation [cs.PL]. 2015 |
||
|
hal-00755010v1
Communication dans un congrès
Valerio Cosentino, Jordi Cabot, Patrick Albert, Philippe Bauquel, Jacques Perronnet. A Model Driven Reverse Engineering Framework for Extracting Business Rules out of a Java Application RuleML, Aug 2012, Montpellier, France. 2012 |
||
|
hal-00755009v1
Chapitre d'ouvrage
Jordi Cabot, Martin Gogolla. Object Constraint Language (OCL): A Definitive Guide Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio. Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 7320, Springer, pp.58-90, 2012, Lecture Notes in Computer Science |
||
|
hal-00755014v1
Communication dans un congrès
David Ameller, Claudia Ayala, Jordi Cabot, Xavier Franch. How do software architects consider non-functional requirements: An exploratory study Requirements Engineering Conference (RE), 2012 20th IEEE International, Sep 2012, Chicago, United States. IEEE, 2012, <10.1109/RE.2012.6345838> |
||
|
hal-00755006v1
Ouvrage (y compris édition critique et traduction)
Marco Brambilla, Jordi Cabot, Manuel Wimmer. Model-Driven Software Engineering in Practice Morgan & Claypool, pp.182, 2012, 9781608458820 |
||
|
inria-00473854v2
Pré-publication, Document de travail
Hervé Grall, Nicolas Tabareau. Linear logic as a foundation for service-oriented computing 2010 |
||
|
hal-01033188v1
Communication dans un congrès
Gwendal Daniel, Gerson Sunyé, Amine Benelallam, Massimo Tisi. Improving memory efficiency for processing large-scale models BigMDE, Jul 2014, York, UK, United Kingdom. 2014 |
||
|
hal-01025633v2
Rapport
Rémi Douence, Nicolas Tabareau. Lazier Imperative Programming [Research Report] RR-8569, INRIA. 2014 |
||
|
hal-01038053v1
Communication dans un congrès
Ismael Figueroa, Nicolas Tabareau, Éric Tanter. Effect Capabilities For Haskell Brazilian Symposium on Programming Languages (SBLP), Sep 2014, Maceio, Brazil. 2014 |
||
|
hal-00474721v1
Communication dans un congrès
Hien Nguyen Van, Frédéric Dang Tran, Jean-Marc Menaud. Autonomic virtual resource management for service hosting platforms Workshop on Software Engineering Challenges in Cloud Computing, May 2009, Vancouver, Canada, Canada. pp.1-8, 2009 |
||
|
hal-00974938v1
Communication dans un congrès
Javier Cánovas, Jordi Cabot. Composing JSON-based Web APIs ICWE 2014 - 14th International Conference on Web Engineering, Jul 2014, Toulouse, France. 8541, pp.390-399, 2014, Lecture Notes in Computer Science. <10.1007/978-3-319-08245-5_24 > |
||
|
hal-00621001v1
Communication dans un congrès
Hugo Arboleda, Jean-Claude Royer. Component types qualification in Java legacy code driven by communication integrity rules ACM. ISEC 2011 : India Software Engineering Conference, Feb 2011, Thiruvananthapuram, Kerala, India. pp.155-164, 2011, <10.1145/1953355.1953377> |
||
|
hal-00980301v1
Article dans une revue
Hugo Brunelière, Jordi Cabot, Stéphane Drapeau, Flavien Somda, William Piers et al. Un support IDM pour l'architecture d'entreprise dans un contexte industriel : l'exemple du framework TEAP Génie logiciel, C & S, 2013, pp.33-38 |
||
|
hal-00538412v1
Chapitre d'ouvrage
Gabriel Barbier, Hugo Brunelière, Frédéric Jouault, Yves Lennon, Frédéric Madiot. MoDisco, a Model-Driven Platform to Support Real Legacy Modernization Use Cases Information Systems Transformation: Architecture-Driven Modernization Case Studies, The Morgan Kaufmann/OMG Press, pp.365-400, 2010 |
||
|
hal-00620988v1
Chapitre d'ouvrage
Awais Rashid, Jean-Claude Royer, Andreas Rummler. Introduction Aspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, Cambridge University Press, pp.3-26, 2011 |
||
|
hal-00869268v1
Communication dans un congrès
Alexander Bergmayr, Hugo Brunelière, Javier Luis Cánovas Izquierdo, Jesus Gorronogoitia, George Kousiouris et al. Migrating Legacy Software to the Cloud with ARTIST 17th European Conference on Software Maintenance and Reengineering (CSMR 2013), Mar 2013, Genova, Italy. 2013 |
||
|
hal-01021002v1
Article dans une revue
Andreas Menychtas, Kleopatra Konstanteli, Juncal Alonso, Leire Orue-Echevarria, Jesus Gorronogoitia et al. Software modernization and cloudification using the ARTIST migration methodology and framework Scalable Computing : Practice and Experience, West University of Timisoara, 2014, 15 (2), pp.131-152. <http://www.scpe.org/index.php/scpe/article/view/980>. <10.12694/scpe.v15i2.938> |
||
|
hal-00620995v1
Chapitre d'ouvrage
Nicolas Anquetil, Uira Kulesza, Ricardo Mateus, Ralf Mitschke, Ana Moreira et al. Managing Information Flow in SPL Development Processes Aspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, Cambridge University Press, pp.222-262, 2011 |
||
|
hal-00615269v1
Article dans une revue
Hugo Brunelière. MoDisco in a Nutshell! How to Deal with your IT Legacy? Reverse Engineering using Models... JavaTech Journal, 2011, p. 21-24. <http://jaxenter.com/java-tech-journal/JTJ-2011-06> |
||
|
hal-00656257v1
Article dans une revue
Hugo Brunelière, Jordi Cabot, Grégoire Dupé. How to Deal with your IT Legacy? What is Coming up in MoDisco ERCIM News, ERCIM, 2012, Special theme: Evolving Software, p. 43-44. <http://ercim-news.ercim.eu/en88/special/how-to-deal-with-your-it-legacy-what-is-coming-up-in-modisco> |
||
|
hal-01374721v1
Autre publication
Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener et al. Global Constraint Catalog, Volume II, Time-Series Constraints Synthesized catalogue (text, figures, code) of time-series constraints. 2016, pp.2709 |
||
|
hal-00474647v1
Communication dans un congrès
Rémy Pottier, Marc Léger, Jean-Marc Menaud. A Reconfiguration Language for Virtualized Grid Infrastructures 10th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2010, France. 6115, VMScript, 2010 |
||
|
hal-00474722v1
Communication dans un congrès
Hien Nguyen Van, Frederic Dang Tran, Jean-Marc Menaud. SLA-aware virtual resource management for cloud infrastructures 9th IEEE International Conference on Computer and Information Technology (CIT'09), Oct 2009, Xiamen, China. pp.1-8, 2009 |
||
|
hal-00670378v1
Communication dans un congrès
Akram Ajouli, Julien Cohen, Rémi Douence. Program Transformation based Views for Modular Maintenance Yves Ledru, Anne-Françoise Le Meur, Olivier Caron. Troisièmes journées nationales du GDR GPL, Jun 2011, Lille, France. pp.218-219, 2011 |
||
|
hal-00871750v1
Communication dans un congrès
Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh. Three Generalizations of the FOCUS Constraint 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Aug 2013, Beijing, China. p.630 ; ISBN 978-1-57735-633-2, 2013 |
||
|
hal-00869276v1
Communication dans un congrès
Andreas Menychtas, Christina Santzaridou, George Kousiouris, Theodora Varvarigou, Leire Orue-Echevarria et al. ARTIST Methodology and Framework: A novel approach for the migration of legacy software on the Cloud 2nd Workshop on Management of resources and services In Cloud And Sky computing (MICAS 2013), Sep 2013, Timisoara, Romania. 2013 |
||
|
inria-00424542v1
Communication dans un congrès
Pierre Riteau, Adrien Lèbre, Christine Morin. Handling Persistent States in Process Checkpoint/Restart Mechanisms for HPC Systems 9th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGRID '09), May 2009, Shanghai, China. 2009, <10.1109/CCGRID.2009.29> |
||
|
|
||