.:. Consultation > Par équipe de recherche > COLOSS .:.

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

1 - 2 - 3 - 4

A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes Attiogbe C., Poizat P., Salaün G. IEEE Transactions on Software Engineering 33, 3 (2007) 157-170 [hal-00470280 - version 1]

Software Specification Methods - An Overview Using a Case Study Habrias H., Frappier M. (2006) 282 [hal-00458174 - version 1]

Du semi-formel au formel, un exemple Habrias H. Dans Actes de la 6e conférence francophone de MOdélisation et SIMulation, MOSIM 2006 - 6e conférence francophone de MOdélisation et SIMulation, MOSIM 2006, Maroc (2006) [hal-00458170 - version 1]

Application d'ontologies formelles au droit André P., Habrias H. Dans Actes de la Journée sur les Ontologies et textes juridiques, OTJ'06 - SDC'06 Journée sur les Ontologies et textes juridiques, OTJ'06, France (2006) [hal-00458123 - version 1]

Vérification d'assemblage de composants logiciels Expérimentations avec MEC André P., Ardourel G., Attiogbé C. Dans Actes de la (6e conférence francophone de MOdélisation et SIMulation, MOSIM 2006) - 6e conférence francophone de MOdélisation et SIMulation, MOSIM 2006, Maroc (2006) [hal-00458119 - version 1]

Semantic Embedding of Petri Nets into Event-B Attiogbé C. \url(http://arxiv.org/abs/cs/0510073) (2005) [hal-00458166 - version 1]

Practical Combination of Theorem Proving and Model Checking for the Multi-facet Analysis Attiogbé C. In Proceedings of the 31st Annual Conference on Current Trends in Theory and Practice of Informatics, SOFSEM'05 - 31st Annual Conference on Current Trends in Theory and Practice of Informatics, SOFSEM'05, Slovakia (2005) [hal-00458165 - version 1]

Vérification de conformité des interactions entre composants André P., Ardourel G., Attiogbé C., Habrias H., Stoquer C. Dans Actes du Workshop (Objets, Composants et Modèles), OCM'05 - LMO Workshop (Objets, Composants et Modèles), OCM'05, Suisse (2005) [hal-00458121 - version 1]

Behavioural Verification of Service Composition André P., Ardourel G., Attiogbé C. Dans A completer - ICSOC Workshop on Engineering Service Compositions, WESC'05, Pays-Bas (2005) [hal-00458120 - version 1]

Domain Based Verification for UML Models André P., Ardourel G. Dans (Workshop on Consistency in Model Driven Engineering C@Mode'05) - (Workshop on Consistency in Model Driven Engineering C@Mode'05), Allemagne (2005) [hal-00458118 - version 1]