.:. Consultation > Liste des articles .:.

217 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 ...

Partial Test Oracle in Model Transformation Testing Finot O., Mottu J.-M., Sunyé G., Attiogbe J. C. [hal-00823231 - version 1] (16/05/2013)

Ingénierie dirigée par les modèles : quels supports à l'interopérabilité des systèmes d'information ? Authosserre-Cavarero A., Bertrand F., Fornarino M., Collet P., Dubois H., Ducasse S., Dupuy-Chessa S., Faron-Zucker C., Faucher C., Lafaye J.-Y. et al REVUE INGENIERIE DES SYSTEMES D'INFORMATION (2013) [hal-00813675 - version 2]

Assistance au test de modèles à composants et services Andre P., Ardourel G., Mottu J.-M. Dans Actes de CIELS 2013, 2ème Conférence en IngénieriE du Logiciel - 2ème Conférence en IngénieriE du Logiciel, France (2013) [hal-00823319 - version 1]

Structural Refinement of Components Keeps Temporal Properties over Reconfigurations Dormoy J., Kouchnarenko O., Lanoix A. Dans 18th International Symposium on Formal Methods (FM 2012) - 18th International Symposium on Formal Methods (FM 2012), France (2012) [hal-00700007 - version 1]

Relaxing B Sharing Restrictions within CSP||B Lanoix A., Kouchnarenko O., Colin S., Poirriez V. Dans International Conference on Software Composition (SC 2012) - International Conference on Software Composition 2012, Tchèque, République (2012) [hal-00699997 - version 1]

Using Models of Partial Knowledge to Test Model Transformations Sen S., Mottu J.-M., Tisi M., Cabot J. International Conference on Model Transformation, Tchèque, République (2012) [hal-00692175 - version 1]

Static Analysis of Model Transformations for Effective Test Generation Mottu J.-M., Sen S., Tisi M., Cabot J. ISSRE - 23rd IEEE International Symposium on Software Reliability Engineering, États-Unis (2012) [hal-00752412 - version 1]

Comparaison de Modèles Filtrée pour le Test de Transformations de Modèles Finot O., Mottu J.-M., Sunyé G., Attiogbé C. CIEL 2012, France (2012) [hal-00726538 - version 1]

Combining Proof and Model-checking to Validate Reconfigurable Architectures Lanoix A., Dormoy J., Kouchnarenko O. 8th International Workshop on Formal Engineering approaches to Software Components and Architectures - FESCA 2011, joint to ETAPS 2011, Germany (2011) [hal-00642348 - version 1]

Static Analysis of Aspect Interaction and Composition in Component Models Hannousse A., Douence R., Ardourel G. Dans Proceedings of the 10th International Conference on Generative Programming and Component Engineering (GPCE'11) - the 10th International Conference on Generative Programming and Component Engineering (GPCE'11), États-Unis (2011) [hal-00606270 - version 2]

Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components Dormoy J., Kouchnarenko O., Lanoix A. 8th International Symposium on Formal Aspects of Component Software - FACS 2011, Norvège (2011) [hal-00642345 - version 1]

Composable Controllers in Fractal: Implementation and Interference Analysis Hannousse A., Douence R., Ardourel G. Dans Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA'11) - the 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA'11), Finlande (2011) [hal-00606269 - version 2]

Using Trace to Situate Errors in Model Transformations Aranega V., Mottu J.-M., Etien A., Dekeyser J.-L. Dans Software and Data Technologies (2011) [inria-00589253 - version 1]

Traceability for Mutation Analysis in Model Transformation Aranega V., Mottu J.-M., Etien A., Dekeyser J.-L. Dans Proceedings of the 2010 international conference on Models in software engineering - MODELS'10, Norvège (2010) [hal-00731016 - version 1]

Specifying in B the Influence/Reaction Model to Study Situated MAS: Application to vehicles platooning Simonin O., Lanoix A., Scheuer A., Charpillet F. Dans V2CS : First International workshop on Verification and Validation of multi-agent models for complex systems - V2CS : First International workshop on Verification and Validation of multi-agent models for complex systems, France (2011) [hal-00663353 - version 1]

Dynamic Composition of Evolving Process Types Attiogbé C. Rapport de recherche (2011) 24 [hal-00655017 - version 1]

Using Traceability to Enhance Mutation Analysis Dedicated to Model Transformation Aranega V., Mottu J.-M., Etien A., Dekeyser J.-L. Workshop on Model driven Engineering Verification and Validation, Norway (2010) [inria-00524150 - version 1]

Many to Many Service Discovery: a first Approach Hock-Koon A., Oussalah M. Dans Proceeding, ECSA 2010 4th European Conference on Software Architecture - ECSA 2010 4th European Conference on Software Architecture, Danemark (2010) [hal-00487877 - version 1]

Specifying Loose Coupling from existing Service Composition Approaches Hock-Koon A., Oussalah M. Dans Proceeding, ECSA 2010 4th European Conference on Software Architecture - ECSA 2010 4th European Conference on Software Architecture, Danemark (2010) [hal-00487875 - version 1]

Defining Metrics for Loose Coupling Evaluation in Service Composition Hock-Koon A., Oussalah M. Dans Proceeding, SCC 2010 The 7th International Conference on Service Computing - SCC 2010 The 7th International Conference on Service Computing, États-Unis (2010) [hal-00486128 - version 1]