- Synthesizing Information Systems: the APIS Project Marc Frappier, Beno^it Fraikin, Frederic Gervais, Regine Laleau and Mario Richard
- A Relational Calculus for Software Reuse M. Frappier, A. Mili R. Ben Ayed
- Integrating astd in the Rodin platform , Marc Frappier1
- Comparison of Model Checking Tools for Information Marc Frappier Benot Fraikin Romain Chossart Raphal Chane-Yack-Fa
- Proving the Refinement of Scenarios into ObjectOriented Models # Rapport technique n o 272
- EB3TG: A TOOL SYNTHESIZING RELATIONAL DATABASE TRANSACTIONS FROM EB3 ATTRIBUTE DEFINITIONS
- Program Construction by Parts ? M. Frappier 1 , A. Mili 1 and J. Desharnais 2
- Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
- Maintainability: Factors and Criteria Software Metrics Study: Technical Memorandum 1
- Verification Based Inspection of Object Oriented Software: A Relational Approach
- Comparison of Model Checking Tools for Information Marc Frappier, Beno^it Fraikin, Romain Chossart, Raphael Chane-Yack-Fa, and
- Gestion de la maintenabilit Marc Frappier
- Defining and Measuring Maintainability R. Cheaito, M. Frappier, S. Matwin, A. Mili D. Crabtree
- Technical Report 24 / Rapport Technique 24 version 1.1 2010-10-22
- Software Metrics for Predicting Maintainability Software Metrics Study: Technical Memorandum 2
- Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
- Systematic translation rules from astd to Jeremy Milhau1,2
- INSTICC Press, http://www.kmis.ic3k.org/KMIS2009 Keywords: Definition, distinction, information technology innovation and improvement.
- Efficient Interpretation of Large Quantifications in a Process Algebra
- Proving Non-Interference on Reachability Properties: a Refinement Approach
- A Relational Basis for Program Construction by Parts
- A Relational Basis for Program Construction by Parts
- An Overview of Formal Specification Languages and their Adequacy for Formalizing the Definition of
- Generating Relational Database Transactions From Recursive Functions Defined on EB3
- Unifying Program Construction and Modification1 M. Frappiera, A. Milib, J. Desharnaisc
