Marc Frappier
Marc Frappier
Vahvistettu sähköpostiosoite verkkotunnuksessa usherbrooke.ca
Nimike
Viittaukset
Viittaukset
Vuosi
Comparison of model checking tools for information systems
M Frappier, B Fraikin, R Chossart, R Chane-Yack-Fa, M Ouenzar
International Conference on Formal Engineering Methods, 581-596, 2010
862010
μcROSE: automated measurement of COSMIC-FFP for Rational Rose RealTime
H Diab, F Koukane, M Frappier, R St-Denis
Information and Software Technology 47 (3), 151-166, 2005
692005
EB 3: an entity-based black-box specification method for information systems
M Frappier, R St-Denis
Software & Systems Modeling 2 (2), 134-149, 2003
692003
Software Specification Methods: an overview using a case study
M Frappier, H Habrias
Springer Science & Business Media, 2012
572012
Integration of sequential scenarios
J Desharnais, M Frappier, R Khédri, A Mili
IEEE Transactions on Software Engineering 24 (9), 695-708, 1998
531998
Extending statecharts with process algebra operators
M Frappier, F Gervais, R Laleau, B Fraikin, R St-Denis
Innovations in Systems and Software Engineering 4 (3), 285-292, 2008
482008
Systèmes alimentaires
P Colonna, S Fournier, JM Touzard, J Abecassis, C Broutin, D Chabrol, ...
DuALIne-durabilité de l’alimentation face à de nouveaux enjeux: Questions à …, 2011
43*2011
A relational calculus for program construction by parts
M Frappier, A Mili, J Desharnais
Science of Computer Programming 26 (1-3), 237-254, 1996
42*1996
Retrieving software components that minimize adaptation effort
LL Jilani, J Desharnais, M Frappier, R Mili, A Mili
Proceedings 12th IEEE International Conference Automated Software …, 1997
371997
Combining UML, ASTD and B for the formal specification of an access control filter
J Milhau, A Idani, R Laleau, MA Labiadh, Y Ledru, M Frappier
Innovations in Systems and Software Engineering 7 (4), 303-313, 2011
362011
Computer program construction
A Mili, J Desharnais, F Mili, M Frappier
Oxford University Press, Inc., 1994
351994
A formal definition of COSMIC-FFP for automated measurement of room specifications
H Diab, M Frappier, R St-Denis
in FESMA, 2001
312001
Software specification methods
H Habrias, M Frappier
John Wiley & Sons, 2013
302013
Formalizing cosmic-ffp using room
H Diab, M Frappier, RS Denis
Proceedings ACS/IEEE International Conference on Computer Systems and …, 2001
302001
Integration of sequential scenarios
J Desharnais, M Frappier, R Khédri, A Mili
ACM SIGSOFT Software Engineering Notes 22 (6), 310-326, 1997
271997
A relational basis for program construction by parts.
M Frappier
University of Ottawa (Canada), 1995
261995
Intrusion detection systems: A cross-domain overview
LN Tidjon, M Frappier, A Mammar
IEEE Communications Surveys & Tutorials 21 (4), 3639-3681, 2019
252019
State-based versus event-based specifications for information systems: a comparison of B and eb3
B Fraikin, M Frappier, R Laleau
Software & Systems Modeling 4 (3), 236-257, 2005
252005
An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard
A Mammar, M Frappier, SJT Fotso, R Laleau
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2018
242018
How to verify dynamic properties of information systems
N Evans, H Treharne, R Laleau, M Frappier
Proceedings of the Second International Conference on Software Engineering …, 2004
242004
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20