BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Germany
1 × Greece
1 × Italy
1 × Jamaica
1 × Norway
1 × Portugal
1 × South Korea
1 × Spain
1 × Sweden
1 × Tunisia
1 × USA
2 × United Kingdom
Collaborated with:
M.Gervais X.Blanc Y.Laurent M.A.A.d.Silva S.Baarir D.E.Khelladi P.Desfray A.Mougenot J.Robin R.Hebig R.Lbath B.Coulette H.Brunelière J.García J.Cabot
Talks about:
process (10) model (7) softwar (5) uml (4) metamodel (3) formal (3) execut (3) framework (2) approach (2) extens (2)

Person: Reda Bendraou

DBLP DBLP: Bendraou:Reda

Contributed to:

CAiSE 20152015
ECMFA 20152015
SAC 20152015
CAiSE 20142014
ECMFA 20142014
SAC 20142014
SAC 20132013
ASE 20112011
ECMFA 20112011
CAiSE 20102010
MoDELS (2) 20102010
EDOC 20062006
ECMDA-FA 20052005
MoDELS 20052005

Wrote 15 papers:

CAiSE-2015-KhelladiHBRG #detection #evolution #metamodelling
Detecting Complex Changes During Metamodel Evolution (DEK, RH, RB, JR, MPG), pp. 263–278.
ECMFA-2015-BruneliereGDKHB #lightweight #metamodelling #modelling #on the #tool support
On Lightweight Metamodel Extension to Support Modeling Tools Agility (HB, JG, PD, DEK, RH, RB, JC), pp. 62–74.
SAC-2015-KhelladiBBLG #consistency #framework #process #verification
A framework to formally verify conformance of a software process to a software method (DEK, RB, SB, YL, MPG), pp. 1518–1525.
CAiSE-2014-LaurentBBG #formal method #process #verification
Formalization of fUML: An Application to Process Verification (YL, RB, SB, MPG), pp. 347–363.
ECMFA-2014-LaurentBBG #alloy #framework #process #verification
Alloy4SPV : A Formal Framework for Software Process Verification (YL, RB, SB, MPG), pp. 83–100.
SAC-2014-LaurentBBG #declarative #process
Planning for declarative processes (YL, RB, SB, MPG), pp. 1126–1133.
SAC-2013-LaurentBG #debugging #modelling #uml
Executing and debugging UML models: an fUML extension (YL, RB, MPG), pp. 1095–1102.
ASE-2011-SilvaBB #execution #process
Deviation management during process execution (MAAdS, XB, RB), pp. 528–531.
ECMFA-2011-BendraouLCG #modelling
Process-Centred Approaches for Model-Driven Engineering (PMDE) — First Edition (RB, RL, BC, MPG), pp. 383–384.
CAiSE-2010-SilvaMBB #automation #consistency #design #modelling #nondeterminism #towards
Towards Automated Inconsistency Handling in Design Models (MAAdS, AM, XB, RB), pp. 348–362.
MoDELS-v2-2010-SilvaBBG #detection #modelling #process
Early Deviation Detection in Modeling Activities of MDE Processes (MAAdS, RB, XB, MPG), pp. 303–317.
MoDELS-v2-2010-SilvaMBRB #empirical #process
Artifact or Process Guidance, an Empirical Study (MAAdS, AM, RB, JR, XB), pp. 318–330.
EDOC-2006-BendraouGB #abstraction #execution #modelling #named #process #uml
UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions (RB, MPG, XB), pp. 297–306.
ECMDA-FA-2005-BendraouDG #approach #component #flexibility #implementation
MDA Components: A Flexible Way for Implementing the MDA Approach (RB, PD, MPG), pp. 59–73.
MoDELS-2005-BendraouGB #metamodelling #modelling #named #process #uml
UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling (RB, MPG, XB), pp. 17–38.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.