Marc Frappier
Marc Frappier
E-mail megerősítve itt: usherbrooke.ca
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
792010
EB3: an entity-based black-box specification method for information systems
M Frappier, R St-Denis
Software & Systems Modeling 2 (2), 134-149, 2003
712003
Software specification methods: an overview using a case study
M Frappier, H Habrias
Springer Science & Business Media, 2012
652012
μ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
622005
Integration of sequential scenarios
J Desharnais, M Frappier, R Khédri, A Mili
IEEE Transactions on Software Engineering 24 (9), 695-708, 1998
511998
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
462008
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
41*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
41*1996
Computer program construction
A Mili, J Desharnais, F Mili, M Frappier
Oxford University Press, Inc., 1994
361994
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
352011
Software specification methods
H Habrias, M Frappier
ISTE Limited, 2006
352006
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
341997
A formal definition of COSMIC-FFP for automated measurement of room specifications
H Diab, M Frappier, R St-Denis
in FESMA, 2001
282001
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
262005
A formal definition of function points for automated measurement of B specifications
H Diab, M Frappier, R St-Denis
International Conference on Formal Engineering Methods, 483-494, 2002
262002
Formalizing cosmic-ffp using room
H Diab, M Frappier, RS Denis
Proceedings ACS/IEEE International Conference on Computer Systems and …, 2001
262001
Integration of sequential scenarios
J Desharnais, M Frappier, R Khédri, A Mili
ACM SIGSOFT Software Engineering Notes 22 (6), 310-326, 1997
261997
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
252004
A relational basis for program construction by parts.
M Frappier
University of Ottawa (Canada), 1995
251995
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
232018
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20