.:. Browse > By researchteam > RMF .:.

8 documents ordered by : Date Title first author name document type Submit date

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

Bounded Analysis and Decomposition for Behavioural Descriptions of Components Poizat P., Royer J.-C., Salaün G. Dans Proceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) - Proceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Italie (2006) [hal-00342158 - version 1]

A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic Poizat P., Royer J.-C. Journal of Universal Computer Science (J.UCS) 12 (2006) 1741--1782 [hal-00342156 - version 1]

20 - Glossary Habrias H., Poizat P., Frappier M. Dans Software Specification Methods: an Overview Using a Case Study (2006) n.a. [hal-00342085 - version 1]

19 - A Comparison of the Specification Methods Frappier M., Habrias H., Poizat P. Dans Software Specification Methods: an Overview Using a Case Study (2006) n.a. [hal-00342080 - version 1]

Symbolic Bounded Analysis for Component Behavioural Protocols Poizat P., Royer J.-C., Salaün G. Symbolic Bounded Analysis for Component Behavioural Protocols (2005) [hal-00342159 - version 1]

Java Implementation of a Component Model with Explicit Symbolic Protocols Pavel S., Noyé J., Poizat P., Royer J.-C. Dans Software Composition (SC) - Software Composition (SC), Royaume-Uni (2005) [hal-00342152 - version 1]

A Formal Component Model with Explicit Symbolic Protocols and its Implementation in Java Pavel S., Noyé J., Poizat P., Royer J.-C. A Formal Component Model with Explicit Symbolic Protocols and its Implementation in Java (2005) [hal-00342153 - version 1]