.:. Consultation > Par domaines > Informatique et langage .:.

1050 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Support for quality metrics in metamodelling Le Pallec X., Dupuy-Chessa S. Dans GMLD (Graphical Modeling Language Definition) Workshop @ ECFMA 2013 (2013) [hal-00823266 - version 1]

Design-Driven Development Methodology for Resilient Computing Enard Q., Stoicescu M., Balland E., Consel C., Duchien L., Fabre J.-C., Roy M. Dans CBSE'13: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering (2013) [hal-00814298 - version 1]

Formal Modelling and Verification of Population Protocols Méry D., Poppleton M. In iFM - 10th International Conference on integrated Formal Methods - 2013 (2013) [hal-00813033 - version 1]

Multimodal Interaction: a Survey from Model Driven Engineering and Mobile perspectives Elouali N., Rouillard J., Le Pallec X., Tarby J.-C. Journal on Multimodal User Interfaces (2013) [hal-00823086 - version 1]

Modélisation graphique des SI : du traitement visuel des modèles "denses" Bihanic D., Chevalier M., Dupuy-Chessa S., Morineau T., Polacsek T., Le Pallec X. Dans Inforsid 2013 (2013) [hal-00823276 - version 1]

A Case for Human-Driven Software Development Balland E., Consel C., Sauzeon H., N'Kaoua B. Dans ICSE'13: Proceedings of the 35th International Conference on Software Engineering (NIER track) (2013) [hal-00814296 - version 1]

The IO and OI hierarchies revisited Kobele G. M., Salvati S. Dans ICALP (2) (2013) [hal-00818069 - version 1]

Opacité des artefacts d'un système workflow Badouel E., Diouf M. L. Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées (2013) [hal-00823005 - version 1]

The Unit Graphs Mathematical Framework Lefrançois M., Gandon F. N° RR-8212 (2013) [hal-00780805 - version 2]

PMS+: Un outil pour les processus de production de logiciels Souissi A., Dumoulin C., Boulet P. (2013) [hal-00802213 - version 1]