841 articles – 1540 Notices  [english version]
.:. Consultation > Par équipe de recherche > RMF .:.
8 documents classés par :
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]