1. Recherche
1366 résultats  enregistrer la recherche
...
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
...
tel-00450587v1  Thèse
Afshin Nikseresht. Estimation de modèles de mélange probabilistes: une proposition pour un fonctionnement réparti et décentralise
Interface homme-machine [cs.HC]. Université de Nantes, 2008. Français
...
tel-00450297v1  HDR
Marc Gelgon. Structuration statistique de données multimédia pour la recherche d'information
Informatique [cs]. Université de Nantes, 2007
...
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>
...
tel-00475913v1  Thèse
Rabab Hayek. Techniques de localisation et de résumé des données dans les systèmes P2P
Interface homme-machine [cs.HC]. Université de Nantes, 2009. Français
...
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-00620363v1  Communication dans un congrès
Guillaume Blin, Guillaume Fertin, Danny Hermelin, Stéphane Vialette. Fixed-Parameter Algorithms for Protein Similarity Search Under mRNA Structure Constraints
Kratsch Dieter. 31st International Workshop on Graph-Theoretic Concepts in Computer Science (WG'05), Jun 2005, Metz, France, France. Springer-Verlag, 3787, pp.271-282, 2005, LNCS

Contact


archive-ouverte@inria.fr