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 × Canada
1 × Germany
1 × Greece
1 × New Zealand
1 × Portugal
1 × South Korea
1 × Sweden
1 × Switzerland
1 × Taiwan
1 × The Netherlands
1 × United Kingdom
2 × Spain
4 × France
9 × USA
Collaborated with:
P.Collet M.Acher P.Lahire S.Ghosh J.M.Bieman M.M.Larrondo-Petrie F.Krikava I.Ray F.Fleurey B.Combemale R.Reddy B.Baudry M.Al-Refai W.Cazzola W.Sun M.P.Evett G.Georg C.Kobryn T.W.G.Docker S.Derrien L.Yu L.Michotte R.Trask E.S.Grant J.Bruel O.Barais B.H.C.Cheng A.Jaksic N.A.Rossini H.M.Chavez W.Shen B.A.Mechling M.Clavreul S.Mosser M.Blay-Fornarino D.Kim N.Li O.Pilskalns A.A.Andrews A.Evans K.Lano B.Rumpe M.Saksena B.W.Bates S.P.Mandalaparty A.C.Jensen D.M.Simmonds A.Solberg G.Straw E.Song P.T.Breuer N.M.Madrid J.P.Bowen C.D.Kloos J.DeAntoni M.V.Larsen F.Mallet A.Floch T.Yuki C.Guy S.V.Rajopadhye G.Mussbacher D.Amyot R.Breu R.Heldal J.H.Hill J.Kienzle M.Schöttle F.Steimann D.R.Stikkolorum J.Whittle
Talks about:
model (31) uml (12) specif (7) featur (7) use (7) orient (6) composit (5) softwar (5) languag (5) domain (5)

♂ Person: Robert B. France

DBLP DBLP: France:Robert_B=

Facilitated 12 volumes:

ASE 2014PrCo
SLE 2014PrCo
ICMT 2013PrCo
MoDELS 2013PrBoard
MoDELS 2012Ed
MoDELS 2012PrCh
ECMFA 2011Ed
MoDELS 2011PrCo
ICMT 2008PrCo
UML 1999Ed

Contributed to:

MoDELS 20142014
SAC 20142014
SLE 20142014
ECMFA 20132013
MoDELS 20132013
SLE 20132013
ICSE 20122012
ASE 20112011
MoDELS 20112011
SAC 20112011
SAC 20112013
ECMFA 20102010
SLE 20092009
MoDELS 20082008
ateM 20072007
EDOC 20072007
EDOC 20052005
FASE 20042004
UML 20042004
UML 20032003
ICSE 20012001
ICSM 20012001
DATE 19991999
OOPSLA 19991999
UML 19981998
ASE 19971997
CAiSE 19961996
CSEE 19951995
ESEC 19891989

Wrote 41 papers:

MoDELS-2014-KrikavaCF #domain-specific language #named #scala
SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations (FK, PC, RBF), pp. 569–585.
MoDELS-2014-MussbacherABBCCCFHHKSSSW #modelling
The Relevance of Model-Driven Engineering Thirty Years from Now (GM, DA, RB, JMB, BHCC, PC, BC, RBF, RH, JHH, JK, MS, FS, DRS, JW), pp. 183–200.
SAC-2014-Al-RefaiCF #modelling #runtime #using
Using models to dynamically refactor runtime code (MAR, WC, RBF), pp. 1108–1113.
SAC-2014-KrikavaCF #adaptation #architecture #modelling #named #self
ACTRESS: domain-specific modeling of self-adaptive software architectures (FK, PC, RBF), pp. 391–398.
SAC-2014-KrikavaCF14a #domain-specific language #modelling #using
Manipulating models using internal domain-specific languages (FK, PC, RBF), pp. 1612–1614.
SLE-2014-JaksicFCG #feature model #modelling #usability #visual notation
Evaluating the Usability of a Visual Feature Modeling Notation (AJ, RBF, PC, SG), pp. 122–140.
ECMFA-2013-SunCDF #using
Using Model Types to Support Contract-Aware Model Substitutability (WS, BC, SD, RBF), pp. 118–133.
MoDELS-2013-AcherCCBLF #composition #modelling #variability
Composing Your Compositions of Variability Models (MA, BC, PC, OB, PL, RBF), pp. 352–369.
MoDELS-2013-CazzolaRAF #evolution #fine-grained #modelling #process #uml #using
Fine-Grained Software Evolution Using UML Activity and Class Models (WC, NAR, MAR, RBF), pp. 271–286.
MoDELS-2013-ChavezSFM #approach #implementation #java #testing #uml
An Approach to Testing Java Implementation against Its UML Class Model (HMC, WS, RBF, BAM), pp. 220–236.
MoDELS-2013-SunFR #modelling #slicing #uml
Contract-Aware Slicing of UML Class Models (WS, RBF, IR), pp. 724–739.
SLE-2013-CombemaleDLMBBF #concurrent #execution #metamodelling
Reifying Concurrency for Executable Metamodeling (BC, JD, MVL, FM, OB, BB, RBF), pp. 365–384.
ICSE-2012-FranceBMCJ #development #modelling #repository
Repository for Model Driven Development (ReMoDD) (RBF, JMB, SPM, BHCC, ACJ), pp. 1471–1472.
ASE-2011-AcherCLF #feature model #modelling #slicing
Slicing feature models (MA, PC, PL, RBF), pp. 424–427.
ASE-2011-AcherCLF11a #feature model #modelling
Decomposing feature models: language, environment, and applications (MA, PC, PL, RBF), pp. 600–603.
MoDELS-2011-ClavreulMBF #architecture #behaviour #modelling
Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior (MC, SM, MBF, RBF), pp. 289–303.
MoDELS-2011-FlochYGDCRF #compilation #modelling #optimisation #question
Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far? (AF, TY, CG, SD, BC, SVR, RBF), pp. 608–622.
SAC-2011-AcherCLF #domain-specific language #feature model #modelling
A domain-specific language for managing feature models (MA, PC, PL, RBF), pp. 1333–1340.
SAC-PL-J-2011-AcherCLF13 #domain-specific language #feature model #modelling #named #scalability
FAMILIAR: A domain-specific language for large scale management of feature models (MA, PC, PL, RBF), pp. 657–681.
ECMFA-2010-AcherCLF #composition #feature model
Comparing Approaches to Implement Feature Model Composition (MA, PC, PL, RBF), pp. 3–19.
SLE-2009-AcherCLF #feature model #modelling
Composing Feature Models (MA, PC, PL, RBF), pp. 62–81.
MoDELS-2008-YuFR #modelling #static analysis #uml
Scenario-Based Static Analysis of UML Class Models (LY, RBF, IR), pp. 234–248.
ATEM-2007-FleureyBFG #approach #automation #composition
A Generic Approach for Automatic Model Composition (FF, BB, RBF, SG), pp. 7–15.
EDOC-2007-FranceFRBG #composition #metamodelling
Providing Support for Model Composition in Metamodels (RBF, FF, RR, BB, SG), pp. 253–266.
EDOC-2007-MichotteFF #architecture #aspect-oriented #component #modelling
Modeling and Integrating Aspects into Component Architectures (LM, RBF, FF), pp. 181–192.
EDOC-2005-SimmondsRFGS #aspect-oriented #framework #modelling
An Aspect Oriented Model Driven Framework (DMS, RR, RBF, SG, AS), pp. 119–130.
FASE-2004-KimRFL #data access #modelling #uml #using
Modeling Role-Based Access Control Using Parameterized UML Models (DKK, IR, RBF, NL), pp. 180–193.
UML-2004-GeorgRF #specification
Specifying Cross-Cutting Requirement Concerns (GG, RR, RBF), pp. 113–127.
UML-2004-StrawGSFB #composition
Model Composition Directives (GS, GG, ES, SG, RBF, JMB), pp. 84–97.
UML-2003-PilskalnsAGF #behaviour #testing #uml
Rigorous Testing by Merging Structural and Behavioral UML Representations (OP, AAA, SG, RBF), pp. 234–248.
ICSE-2001-FranceK #uml
UML for Software Engineers (RBF, CK), pp. 705–706.
ICSM-2001-FranceB #evolution #framework #multi #object-oriented #uml
Multi-View Software Evolution: A UML-based Framework for Evolving Object-Oriented Software (RBF, JMB), p. 386–?.
ICSM-2001-FranceBT #evolution #uml
Extending the UML to Support Evolution Management (RBF, JMB, RT), p. 106.
DATE-1999-BreuerMBFLK #reasoning #semantics #using
Reasoning about VHDL and VHDL-AMS using Denotational Semantics (PTB, NMM, JPB, RBF, MMLP, CDK), pp. 346–352.
OOPSLA-1999-France #analysis #concept #modelling #problem #requirements #uml
A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts (RBF), pp. 57–69.
UML-1998-EvansFLR #formal method #modelling #uml
The UML as a Formal Modeling Notation (AE, RBF, KL, BR), pp. 336–348.
UML-1998-SaksenaLFE #uml
Extending Aggregation Constructs in UML (MS, MMLP, RBF, MPE), pp. 435–441.
ASE-1997-FranceEG #automation #object-oriented #semantics #tool support #towards
Towards Semantic-Based Object-Oriented CASE Tools (RBF, MPE, ESG), pp. 295–296.
CAiSE-1996-BatesBFL #analysis #formal method #guidelines #object-oriented
Guidelines for Formalizing Fusion Object-Oriented Analysis Methods (BWB, JMB, RBF, MMLP), pp. 222–233.
CSEE-1995-FranceL #comprehension #requirements #specification
Understanding the Role of Formal Specification Techniques in Requirements Engineering (RBF, MMLP), pp. 207–221.
ESEC-1989-FranceD #analysis #specification #using
Formal Specification Using Structured Systems Analysis (RBF, TWGD), pp. 293–310.

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.