Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

45 résultats
Page :
triés par

Software Specification Methods

 Frédéric Gervais , Marc Frappier , Richard St-Denis
Software Specification Methods, EB3, ISTE, pp.259-274, 2006
Chapitre d'ouvrage hal-01223278v1

Vous avez dit raffinement ?

 Frédéric Gervais , Marc Frappier , Régine Laleau
[Research Report] 829, LACL, Université Paris-Est. 2005
Rapport hal-01223279v1

Une démarche outillée pour spécifier formellement des patrons de conception réutilisables

 Sandrine Blazy , Frédéric Gervais , Régine Laleau
Objets, Composants et Modèles dans l'ingénierie des SI, Jan 2003, X, France
Communication dans un congrès hal-01124805v1
Image document

A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification

 Abderrahman Matoussi , Frédéric Gervais , Régine Laleau
16th International Conference on Engineering of Complex Computer Systems, 2011, Unknown, Unknown Region
Communication dans un congrès hal-01224640v1

A metamodel for the design of access-control policy enforcement managers: work in progress

 M. Embe Jiague , Marc Frappier , Frédéric Gervais , Régine Laleau , Richard St-Denis
4th MITACS Workshop on Foundations and Practice of Security (FPS 2011), 2011, Paris, France. pp.218-226
Communication dans un congrès hal-01223274v1
Image document

Reuse of Specification Patterns with the B Method

 Sandrine Blazy , Frédéric Gervais , Régine Laleau
ZB 2003: Formal Specification and Development in Z and B, Jun 2003, Turku, Finland, pp.40-57
Communication dans un congrès inria-00078953v1
Image document

EB3TG : Un outil de génération de transactions de base de données relationnelle pour EB3

 Panawe Batanado , Frédéric Gervais , Marc Frappier , Régine Laleau
Atelier Approches Formelles dans l'Assistance au Développement du Logiciel, Mar 2006, Paris, France. pp.3-7
Communication dans un congrès hal-00145960v1

Génération automatique de transactions de base de données relationnelle à partir de définitions d'attributs EB3

 Frédéric Gervais , Marc Frappier , Régine Laleau , Panawe Batanado
Atelier Approches Formelles dans l'Assistance au Développement du Logiciel, Mar 2006, Paris, France. pp.25-39
Communication dans un congrès hal-00145959v1

From ASTD access control policies to WSBPEL processes deployed in a SOA environment

 Michel Embe-Jiague , Richard St-Denis , Marc Frappier , Frédéric Gervais , Régine Laleau
1st International Symposium on Web Intelligent Systems & Services (WISS 2010), 2010, Unknown, Unknown Region
Communication dans un congrès hal-01224646v1

Tool building in formal methods

 Frédéric Gervais , Benoît Fraikin
Software: Practice and Experience, 2011, 41 (2), pp.131-132. ⟨10.1002/spe.1046⟩
Article dans une revue hal-01223272v1

Defining and Proving B Refinements for the Patterns of EB3 Process Expressions

 Frédéric Gervais , Marc Frappier , Régine Laleau
[Research Report] CEDRIC-06-996, CEDRIC Lab/CNAM. 2006
Rapport hal-01125161v1

Expressing KAOS Goal Refinement Patterns with Event-B

 Abderrahman Matoussi , Frédéric Gervais , Régine Laleau
Rodin User and Developer Workshop 2009 - Extended Abstracts, 2009, Unknown, Unknown Region
Communication dans un congrès hal-01224651v1

Extending Statecharts with Process Algebra Operators

 Marc Frappier , Frédéric Gervais , Régine Laleau , Benoît Fraikin , Richard St-Denis
Innovations in Systems and Software Engineering, 2008, 4 (3), pp.285-292
Article dans une revue hal-01223276v1

Comparing Different Combinations of Event-based and State-based Specifications for IS Modelling

 Frédéric Gervais , Marc Frappier , Régine Laleau
[Research Report] 18, LACL, Université Paris-Est. 2007
Rapport hal-01223277v1

EB3 Attribute Definitions: Formal Language and Application

 Frédéric Gervais , Marc Frappier , Régine Laleau , P. Batanado
[Research Report] 700, LACL, Université Paris-Est. 2005
Rapport hal-01223280v1

How to Synthesize Relational Database Transactions From EB3 Attribute Definitions?

 Frédéric Gervais , Marc Frappier , Régine Laleau
MSVVEIS'05, Miami, USA, Jan 2005, X, France. pp.83-88
Communication dans un congrès hal-01124986v1

EB3TG: A tool synthesizing relational database transactions from EB3 attribute definitions

 Frédéric Gervais , Marc Frappier , Régine Laleau
8th International Conference on Enterprise Information Systems (ICEIS 2006), May 2006, Paphos, Cyprus. pp.44 - 51
Communication dans un congrès hal-00145866v1

Une premiere approche de tracabilite entre modeles d'exigences non-fonctionnelles et specifications abstraites Event-B

 Abderrahman Matoussi , Frédéric Gervais , Régine Laleau
Actes du 29eme Congres INFORSID, 2011, Unknown, Unknown Region
Communication dans un congrès hal-01224635v1

Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned

 Abderrahman Matoussi , Frédéric Gervais , Régine Laleau
13th Brazilian Symposium on Formal Methods, 2011, Unknown, Unknown Region. pp.177--193
Communication dans un congrès hal-01224637v1
Image document

Combinaison de spécifications formelles pour la modélisation des systèmes d'information

 Frédéric Gervais
Génie logiciel [cs.SE]. Conservatoire national des arts et metiers - CNAM; Université de Sherbrooke, 2006. Français. ⟨NNT : ⟩
Thèse tel-00121006v1

Un exemple de réutilisation de patterns de spécification avec la méthode B

 Sandrine Blazy , Frédéric Gervais , Régine Laleau
[Research Report] CEDRIC-02-395, CEDRIC Lab/CNAM. 2002
Rapport hal-01124740v1

Vous avez dit raffinement ?

 Frédéric Gervais , Marc Frappier , Régine Laleau
[Research Report] CEDRIC-05-829, CEDRIC Lab/CNAM. 2005
Rapport hal-01125045v1
Image document

An Event-B formalization of KAOS goal refinement patterns

 Abderrahman Matoussi , Frédéric Gervais , Régine Laleau
[Research Report] TR-LACL-2010-1, LACL. 2010
Rapport hal-01224644v1

Enforcing ASTD access-control policies with WS-BPEL processes in SOA environments

 M. Embe Jiague , Marc Frappier , Frédéric Gervais , Régine Laleau , Richard St-Denis
International Journal of Systems and Service-Oriented Engineering, 2011, 2 (2), pp.37-59
Article dans une revue hal-01223273v1

De KAOS vers Event-B: approche dirigée par les buts

 Abderrahman Matoussi , Frédéric Gervais , Régine Laleau
Atelier Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2009), 2009, Toulouse, France. pp.71-86
Communication dans un congrès hal-01223275v1

Synthesizing B Substitutions for EB3 Attribute Definitions

 Frédéric Gervais , Marc Frappier , Régine Laleau
[Research Report] 683, LACL, Université Paris-Est. 2004
Rapport hal-01223281v1

Introducing inductive construction in B with the Theory Plugin

 Julien Cervelle , Frédéric Gervais
9th International Conference on rigorous state based methods (ABZ 2023), May 2023, Nancy, France. pp.43-58, ⟨10.1007/978-3-031-33163-3_4⟩
Communication dans un congrès hal-04239503v1

Synthesizing B Specifications from EB3 Attribute Definitions

 Frédéric Gervais , Marc Frappier , Régine Laleau
IFM'05, Eindhoven, Pays-Bas, Jan 2005, X, France. pp.207-226
Communication dans un congrès hal-01125054v1

Refinement of EB3 Process Patterns into B Specifications

 Frédéric Gervais , Marc Frappier , Régine Laleau
B2007, Besançon, France, Jan 2007, X, France. pp.201-215
Communication dans un congrès hal-01125252v1

Software: Practice and Experience

 Frédéric Gervais , Benoît Fraikin
Software: Practice and Experience, Tool Building in Formal Methods - Extended Papers from WS-TBFM 2010, John Wiley and Sons, pp.131-208, 2011
Chapitre d'ouvrage hal-01223271v1
Page :