.:. Consultation > Liste par auteur du laboratoire > Attiogbé .:.

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

1 - 2 - 3

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]

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

Multi-levels Use of Contracts for Trusted Components Messabihi M., André P., Attiogbé C. Dans Proceedings of the Workshop on Component and Service Interoperability - Workshop on Component and Service Interoperability, Espagne (2010) [hal-00488125 - version 1]

Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies Andre P., Ardourel G., Attiogbe C., Lanoix A. ENTCS 263 (2010) 5 - 30 [hal-00505336 - version 1]

Preuve de cohérence de composants Kmelia à l'aide de la méthode B Messabihi M., André P., Attiogbé C. Dans Actes de la 4e Conférence Francophone sur les Architectures Logicielles - 4e Conférence Francophone sur les Architectures Logicielles, France (2010) [hal-00487359 - version 1]

Contract-based Verification of Kmelia Component Assemblies using Event-B André P., Ardourel G., Attiogbe C., Lanoix A. Dans Preproceesings of International Workshop on Formal Engineering approaches to Software Components and Architectures - FESCA @ Etaps2010, Grèce (2010) [hal-00483755 - version 1]

Using Event-B to Verify the Kmelia Components and Their Assemblies P. A., Ardourel G., Attiogbe C., Lanoix A. Dans Second International Conference, ABZ 2010, Orford, QC, Canada, - ABZ'2010, Canada (2010) [hal-00483236 - version 1]

Semantic Embedding of Petri Nets into Event-B Attiogbe C. Integration of Model-based Formal Methods Tools (IM_FMT @ IFM'2009), Allemagne (2009) [hal-00483237 - version 1]

Can Component/Service-Based Systems Be Proved Correct? Attiogbe C. Dans SOFSEM 2009: Theory and Practice of Computer Science - Conference on Current Trends in Theory and Practice of Computer Science, Czech Republic, Tchèque, République (2009) [hal-00420051 - version 1]

Correction d'assemblages de composants impliquant des interfaces paramétrées André P., Attiogbé C., Messabihi M. Dans Actes de la 3e Conférence Francophone sur les Architectures Logicielles - 3e Conférence Francophone sur les Architectures Logicielles, France (2009) [hal-00423658 - version 1]