.:. Consultation > Par domaine > Génie logiciel .:.

36 documents classés par :  date de publication, écriture ou dépôt titre du document 1er auteur Type de documents Date de dépôt

1 - 2 - 3 - 4

VerChor: A Framework for Verifying Choreographies Güdemann M., Poizat P., Salaün G., Dumont A. Fundamental Approaches to Software Engineering 2013, Italie (2013) [hal-00806788 - version 1]

Ontology Transformations Wouters L., Gervais M.-P. Dans Proceedings of the 16th IEEE International Enterprise Distributed Object Computing Conference - IEEE International Enterprise Distributed Object Computing Conference, Chine (2012) [hal-00738381 - version 1]

Diagnosys: Automatic Generation of a Debugging Interface to the Linux Kernel Bissyandé T. F., Réveillère L., Lawall J. L., Muller G. Dans ASE'12 (Best paper award) - Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, Allemagne (2012) [hal-00731064 - version 1]

Flex-eWare: a Flexible MDE-based Solution for Designing and Implementing Embedded Distributed Systems Mathieu J., Jouvray C., Kordon F., Kung A., Lalande J., Loiret F., Navas J., Pautet L., Pulou J., Radermacher A. et al Software: Practice and Experience 42, 12 (2012) 1467-1494 [inria-00628310 - version 1]

xOWL an Executable Modeling Language for Domain Experts Wouters L., Gervais M.-P. Dans Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference - IEEE International Enterprise Distributed Object Computing Conference, Finlande (2011) [hal-00619311 - version 1]

Movida studio: a modeling environment to create viewpoints and manage variability in views Gouyette M., Barais O., Le Noir J., Brun C., Almeida Da Silva M., Blanc X., Exertier D., Jézéquel J.-M. IDM- 7éme journées sur l'Ingénierie Dirigée par les Modèles-2011, France (2011) [hal-00660864 - version 1]

Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications Cassou D., Balland E., Consel C., Lawall J. ICSE'11: Proceedings of the 33rd International Conference on Software Engineering, États-Unis (2011) [inria-00537789 - version 2]

Combining Exception Handling and Replication for Improving the Reliability of Agent Software Dony C., Kchir S., Tibermacine C., Urtado C., Vauttier S., Ductor S., Guessoum Z. Rapport de recherche (2010) 10 [lirmm-00576934 - version 1]

Bridging the Gap between Legacy Services and Web Services Bissyandé T. F., Réveillère L., Bromberg Y.-D., Lawall J. L., Muller G. Dans Proceedings of the ACM/IFIP/USENIX 11th International Middleware Conference - Middleware 2010, Inde (2010) [hal-00550039 - version 1]

Feature-based Composition of Software Architectures Parra C., Cleve A., Blanc X., Duchien L. 4th European Conference on Software Architecture, Danemark (2010) [inria-00512716 - version 1]