Robert B. France

发表

A domain-specific language for managing feature models

Mathieu Acher, Philippe Collet, Philippe Lahire, 2011, SAC.

Composing multiple variability artifacts to assemble coherent workflows

Johan Montagnat, Mathieu Acher, Philippe Collet, 2011, Software Quality Journal.

Model engineering

Bernhard Rumpe, Robert B. France, 2003, Software & Systems Modeling.

Performance analysis of security aspects in UML models

Jing Xu, Jan Jürjens, Robert B. France, 2007, WOSP '07.

Rigorous Testing by Merging Structural and Behavioral UML Representations

Robert B. France, Sudipto Ghosh, Orest Pilskalns, 2003, UML.

Workshop on modeling in software engineering at ICSE 2009

Bernhard Rumpe, Robert B. France, Steffen Zschaler, 2009, SOEN.

Specifying Cross-Cutting Requirement Concerns

Robert B. France, Y. Raghu Reddy, Geri Georg, 2004, UML.

Managing feature models with familiar: a demonstration of the language and its tool support

Mathieu Acher, Philippe Collet, Philippe Lahire, 2011, VaMoS.

The journal on Software and Systems Modeling Matures

Bernhard Rumpe, Robert B. France, 2012, Software & Systems Modeling.

Model-Driven Software Adaptation

Gordon S. Blair, Nelly Bencomo, Robert B. France, 2007, ECOOP Workshops.

Managing Variability in Workflow with Feature Model Composition Operators

Mathieu Acher, Philippe Collet, Philippe Lahire, 2010, SC@TOOLS.

Modeling in software engineering

Bernhard Rumpe, Robert B. France, Steffen Zschaler, 2008, ICSE Companion.

In search of effective design abstractions

Bernhard Rumpe, Robert B. France, B. Rumpe, 2004, Journal of Software and Systems Modeling.

A UML-based pattern specification technique

Robert B. France, Sudipto Ghosh, Dae-Kyoo Kim, 2004, IEEE Transactions on Software Engineering.

Supporting Community-Driven Evolution of Model-Driven Development Knowledge Using ReMoDD

Robert B. France, 2011, 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems.

Semantically Extended Data Flow Diagrams: A Formal Specification Tool

Robert B. France, R. France, 1992, IEEE Trans. Software Eng..

UML2Z: An UML-Based Object-Oriented Modeling Tool for an Internet Integrated Formalization Process

Robert B. France, Jean-Michel Bruel, Emanuel S. Grant, 2000, OOIS.

A UML-based language for specifying domain-specific patterns

Robert B. France, Sudipto Ghosh, Dae-Kyoo Kim, 2004, J. Vis. Lang. Comput..

Globalizing Modeling Languages

Jean-Marc Jézéquel, Benoît Combemale, Julien DeAntoni, 2014 .

Modeling Paradigms

Bernhard Rumpe, Robert B. France, 2005, Software & Systems Modeling.

An Approach to Analyzing Temporal Properties in UML Class Models

Ramadan Abdunabi, Indrakshi Ray, Robert B. France, 2013, MoDeVVa@MoDELS.

Test adequacy criteria for UML design models

Robert B. France, Sudipto Ghosh, Anneliese Amschler Andrews, 2003, Softw. Test. Verification Reliab..

A Rigorous Approach to Uncovering Security Policy Violations in UML Designs

Indrakshi Ray, Robert B. France, Sudipto Ghosh, 2009, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems.

Assessing model quality

Bernhard Rumpe, Robert B. France, B. Rumpe, 2004, Journal of Software and Systems Modeling.

Modeling of Online Social Network Policies Using an Attribute-Based Access Control Framework

Indrakshi Ray, Robert B. France, Phillipa Bennett, 2015, ICISS.

The 2011 “State of the Journal” Report

Bernhard Rumpe, Robert B. France, Geri Georg, 2011, Software & Systems Modeling.

Tool Support for Aspect-Oriented Design

Robert B. France, Geri Georg, François Mekerke, 2002, OOIS Workshops.

A newly introduced Industry Voice Column

Gabor Karsai, Bernhard Rumpe, Robert B. France, 2013, Software & Systems Modeling.

A Z-based approach to specifying and analyzing complex systems

Robert B. France, Jean-Michel Bruel, Abdelmalek Benzekri, 1996, Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW).

Generating test cases from an OO model with an AI planning system

Robert B. France, Anneliese Amschler Andrews, 1999, Proceedings 10th International Symposium on Software Reliability Engineering (Cat. No.PR00443).

Using Models to Validate Unanticipated, Fine-Grained Adaptations at Runtime

Robert B. France, Walter Cazzola, Mohammed Al-Refai, 2016, 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE).

Modeling the Complex Living World

Bernhard Rumpe, Robert B. France, 2006, Software & Systems Modeling.

Second International Workshop on Models@run.time

Gordon S. Blair, Nelly Bencomo, Robert B. France, 2007, MoDELS Workshops.

An aspect-based approach to modeling access control concerns

Indrakshi Ray, Robert B. France, Na Li, 2004, Inf. Softw. Technol..

Modeling in Software Engineering (MiSE 09)

Bernhard Rumpe, Robert B. France, Steffen Zschaler, 2009, ICSE Companion.

Challenges and directions in formalizing the semantics of modeling languages

Gabor Karsai, Peter J. Clarke, Jeffrey G. Gray, 2011, Comput. Sci. Inf. Syst..

Mechanisms for Leveraging Models at Runtime in Self-adaptive Software

Thomas Vogel, Giordano Tamburrelli, Pieter J. Mosterman, 2014, Models@run.time@Dagstuhl.

Modeling to improve quality or efficiency? An automotive domain perspective

Bernhard Rumpe, Robert B. France, 2012, Software & Systems Modeling.

Cost-benefit trade-off analysis using BBN for aspect-oriented risk-driven development

Jan Jürjens, Robert B. France, James M. Bieman, 2005, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).

Using Parameterized UML to Specify and Compose Access Control Models

Indrakshi Ray, Robert B. France, Na Li, 2003, IICIS.

SoSyM at three

Bernhard Rumpe, Robert B. France, 2004, Software and Systems Modeling.

Towards a rigorous object-oriented analysis and design method

Robert B. France, María M. Larrondo-Petrie, Emanuel S. Grant, 1997, First IEEE International Conference on Formal Engineering Methods.

A predicative basis for structured analysis specification tools

Robert B. France, 1993, Inf. Softw. Technol..

The UML as a formal modeling notation

Bernhard Rumpe, Andy Evans, Robert B. France, 1998, Comput. Stand. Interfaces.

Directives for Composing Aspect-Oriented Design Class Models

Robert B. France, James M. Bieman, Sudipto Ghosh, 2006, LNCS Trans. Aspect Oriented Softw. Dev..

The UML as a formal modeling notation pdf

Bernhard Rumpe, Andy Evans, Robert B. France, 1998, Comput. Stand. Interfaces.

Summary of the workshop models@run.time at MoDELS 2006

Gordon S. Blair, Nelly Bencomo, Robert B. France, 2006, MoDELS'06.

Assumptions Underlying Agile Software-Development Processes

Bernhard Rumpe, Robert B. France, Daniel E. Turk, 2005, J. Database Manag..

Rigorous Analysis of UML Access Control Policy Models

Indrakshi Ray, Robert B. France, Wuliang Sun, 2011, 2011 IEEE International Symposium on Policies for Distributed Systems and Networks.

Editorial

Bernhard Rumpe, Robert B. France, B. Rumpe, 2003, Journal of Software and Systems Modeling.

Decomposing feature models: language, environment, and applications

Mathieu Acher, Philippe Collet, Philippe Lahire, 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).

Evaluating the Usability of a Visual Feature Modeling Notation

Philippe Collet, Robert B. France, Sudipto Ghosh, 2014, SLE.

SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations

Philippe Collet, Robert B. France, Filip Krikava, 2014, MoDELS.

Editorial for the SoSyM issue 2006/02

Bernhard Rumpe, Robert B. France, 2006, Software & Systems Modeling.

Manipulating models using internal domain-specific languages

Philippe Collet, Robert B. France, Filip Krikava, 2014, SAC.

Analyzing Behavioral Refactoring of Class Models

Indrakshi Ray, Robert B. France, Wuliang Sun, 2013, ME@MoDELS.

Special section of SoSyM dedicated to 50 years of Petri nets

Bernhard Rumpe, Robert B. France, 2014, Software & Systems Modeling.

Modeling for the cloud

Bernhard Rumpe, Robert B. France, 2010, Software & Systems Modeling.

A Framework for Design Tradeoffs

Per Runeson, Robert B. France, Anneliese Amschler Andrews, 2005, Software Quality Journal.

On the Globalization of Domain-Specific Languages

Jean-Marc Jézéquel, Bernhard Rumpe, Benoît Combemale, 2014, Globalizing Domain-Specific Languages.

Towards the Model Driven Organization

Vinay Kulkarni, Robert B. France, Tony Clark, 2014, 2014 47th Hawaii International Conference on System Sciences.

Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412)

Jean-Marc Jézéquel, Bernhard Rumpe, Benoît Combemale, 2014, Dagstuhl Reports.

Five years of modeling in SoSyM

Bernhard Rumpe, Robert B. France, 2006, Software & Systems Modeling.

Modeling and Integrating Aspects into Component Architectures

Robert B. France, Franck Fleurey, Lydia Michotte, 2007, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007).

Improving the UML Metamodel to Rigorously Specify Aggregation and Composition

Robert B. France, Brian Henderson-Sellers, Franck Barbier, 2001, OOIS.

Developing the UML as a Formal Modelling Notation pdf

Bernhard Rumpe, Andy Evans, Robert B. France, 2014, ArXiv.

Formal Specification Using Structured Systems Analysis

Robert B. France, Thomas W. G. Docker, R. France, 1989, European Software Engineering Conference.

Performance analysis of security aspects by weaving scenarios extracted from UML models

Jing Xu, Jan Jürjens, Robert B. France, 2009, J. Syst. Softw..

Third International Workshop on Models@run.time

Gordon S. Blair, Nelly Bencomo, Robert B. France, 2008, MoDELS Workshops.

From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics

Martin Gogolla, Mirco Kuhlmann, Lars Hamann, 2014, Modellierung.

Domain Globalization: Using Languages to Support Technical and Social Coordination

Gabor Karsai, Oscar Nierstrasz, Julien DeAntoni, 2014, Globalizing Domain-Specific Languages.

Meta-Modelling Semantics of UML

Bernhard Rumpe, Andy Evans, Robert B. France, 2014, Behavioral Specifications of Businesses and Systems.

Model Composition Directives

Robert B. France, James M. Bieman, Sudipto Ghosh, 2004, UML.

Modeling in Software Engineering

Bernhard Rumpe, Robert B. France, Steffen Zschaler, 2007, 29th International Conference on Software Engineering (ICSE'07 Companion).

Testing UML designs

Robert B. France, Sudipto Ghosh, Orest Pilskalns, 2007, Inf. Softw. Technol..

Understanding the Role of Formal Specification Techniques in Requirements Engineering

Robert B. France, María M. Larrondo-Petrie, 1995, CSEE.

Verifiable composition of access control and application features

Indrakshi Ray, Robert B. France, Y. Raghu Reddy, 2005, SACMAT '05.

A DSML for Coordinating User-Centric Communication Services

Peter J. Clarke, Robert B. France, Yali Wu, 2011, 2011 IEEE 35th Annual Computer Software and Applications Conference.

Towards semantic-based object-oriented CASE tools

Robert B. France, Emanuel S. Grant, Matthew P. Evett, 1997, Proceedings 12th IEEE International Conference Automated Software Engineering.

Test adequacy assessment for UML design model testing

Robert B. France, Sudipto Ghosh, Orest Pilskalns, 2003, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003..

Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study

Robert B. France, Geri Georg, Jores Bieman, 2001, pUML.

Essentials of the 5th educators' symposium at MODELS 2009

Martin Gogolla, Robert B. France, 2009, MODELS'09.

Model-driven Development of Complex Software : A Research Roadmap

Bernhard Rumpe, Robert B. France, B. Rumpe, 2007 .

Hypervisor Event Logs as a Source of Consistent Virtual Machine Evidence for Forensic Cloud Investigations

Indrajit Ray, Robert B. France, Tyrone Grandison, 2013, DBSec.

Fair treatment of evaluations in reviews

Robert B. France, 2008, Software & Systems Modeling.

Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations

Robert B. France, María M. Larrondo-Petrie, Emanuel S. Grant, 1997, AMAST.

4th international workshop on models@run.time

Gordon S. Blair, Nelly Bencomo, Robert B. France, 2009, MODELS'09.

Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models

Indrakshi Ray, Robert B. France, Wuliang Sun, 2011, 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering.

Requirements trade-offs during UML design

Per Runeson, Robert B. France, Anneliese Amschler Andrews, 2004, Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004..

Multi-view software evolution: a UML-based framework for evolving object-oriented software

Robert B. France, James M. Bieman, R. France, 2001, Proceedings IEEE International Conference on Software Maintenance. ICSM 2001.

Aspect Oriented Modeling of Component Architectures Using AADL

Robert B. France, Peter H. Feiler, Thomas Vergnaud, 2008, 2008 New Technologies, Mobility and Security.

Modeling Role-Based Access Control Using Parameterized UML Models

Indrakshi Ray, Robert B. France, Na Li, 2004, FASE.

INTRODUCTION

Robert B. France, Ulrich Frank, Balbir S. Barn, 1982, Art Documentation: Journal of the Art Libraries Society of North America.

Critical systems development using modeling languages: CSDUML 2006 workshop report

Jan Jürjens, Robert B. France, Steffen Zschaler, 2006, MoDELS'06.

Service-oriented architecture modeling: bridging the gap between structure and behavior

Robert B. France, Mireille Blay-Fornarino, Sébastien Mosser, 2011, MODELS'11.

A metamodeling approach to model transformation

Doris L. Carver, Robert B. France, Sheena R. Judson, 2003, OOPSLA '03.

Fine-Grained Semi-automated Runtime Evolution

Robert B. France, Walter Cazzola, Phillipa Bennett, 2014, Models@run.time@Dagstuhl.

Defining Precise Semantics for UML

Robert B. France, Johan Lilius, Jean-Michel Bruel, 2000, ECOOP Workshops.

Why it is so hard to use models in software development: observations

Bernhard Rumpe, Robert B. France, Martin Schindler, 2013, Software & Systems Modeling.

Does model driven engineering tame complexity?

Bernhard Rumpe, Robert B. France, 2006, Software & Systems Modeling.

A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts

Robert B. France, 1999, OOPSLA.

Models@ run.time

Gordon S. Blair, Nelly Bencomo, Robert B. France, 2009, Computer.

From structured analysis to formal specifications: state of the theory

Robert B. France, María M. Larrondo-Petrie, R. France, 1994, CSC '94.

A method engineering approach to developing aspect-oriented modelling processes based on the OPEN process framework

Robert B. France, Brian Henderson-Sellers, Y. Raghu Reddy, 2007, Inf. Softw. Technol..

A middleware‐transparent approach to developing distributed applications

Robert B. France, Sudipto Ghosh, Abhijit A. Bare, 2005, Softw. Pract. Exp..

Scenario-Based Static Analysis of UML Class Models

Indrakshi Ray, Robert B. France, Lijun Yu, 2008, MoDELS.

A light-weight static approach to analyzing UML behavioral properties

Indrakshi Ray, Robert B. France, Kevin Lano, 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).

Limitations of Agile Software Processes pdf

Bernhard Rumpe, Robert B. France, Daniel E. Turk, 2014, ArXiv.

An Approach to Checking Consistency between UML Class Model and Its Java Implementation

Robert B. France, Guangyuan Li, Wuwei Shen, 2016, IEEE Transactions on Software Engineering.

Using Slicing to Improve the Performance of Model Invariant Checking

Benoît Combemale, Indrakshi Ray, Robert B. France, 2015, J. Object Technol..

Specification, Validation, and Enforcement of a Generalized Spatio-Temporal Role-Based Access Control Model

Ramadan Abdunabi, Indrakshi Ray, Robert B. France, 2013, IEEE Systems Journal.

Correct development of real time and embedded systems

Bernhard Rumpe, Robert B. France, 2008, Software & Systems Modeling.

Using aspect oriented techniques to support separation of concerns in model driven development

Robert B. France, Sudipto Ghosh, Y. Raghu Reddy, 2005, 29th Annual International Computer Software and Applications Conference (COMPSAC'05).

Formal Parameterization of Log Synchronization Events within a Distributed Forensic Compute Cloud Database Environment

Indrajit Ray, Indrakshi Ray, Robert B. France, 2011, ICDF2C.

Teaching Programming Students how to Model: Challenges & Opportunities

Robert B. France, R. France, 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

A Metamodeling Approach to Pattern-Based Model Refactoring

Robert B. France, Sudipto Ghosh, Dae-Kyoo Kim, 2003, IEEE Softw..

Discovering Potential Interaction Violations among Requirements

Robert B. France, Curtis C. R. Busby Earle, R. France, 2016, CAiSE Workshops.

Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013)

Bernhard Rumpe, Benoît Combemale, Rick Salay, 2013, GEMOC+AMINO@MoDELS.

Using models to dynamically refactor runtime code

Robert B. France, Walter Cazzola, Mohammed Al-Refai, 2014, SAC.

Construction and Execution of Adaptable Applications Using an Aspect-Oriented and Model Driven Approach

Frank Eliassen, Robert B. France, Jon Oldevik, 2007, DAIS.

An aspect oriented model driven framework

Robert B. France, Sudipto Ghosh, Y. Raghu Reddy, 2005, Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05).

Designing High Integrity Systems Using Aspects

Indrakshi Ray, Robert B. France, Geri Georg, 2002, IICIS.

Editorial First Issue of the International Journal on Software and Systems Modeling

Bernhard Rumpe, Robert B. France, R. France, 2002, Journal of Software and Systems Modeling.

Integrated Informal Object-Oriented and Formal Modeling Techniques

Robert B. France, Jean-Michel Bruel, 1997, ECOOP Workshops.

Integration and Transformation of UML Models

João Araújo, Robert B. France, Jon Whittle, 2002, ECOOP Workshops.

Model-driven development using UML 2.0: promises and pitfalls

Robert B. France, Arnor Solberg, Sudipto Ghosh, 2006, Computer.

Flexibility and Rigour in Structured Analysis

Robert B. France, Thomas W. G. Docker, R. France, 1989, IFIP Congress.

From domain models to architecture frameworks

Robert B. France, Jacques Meekel, Thomas B. Horton, 1997, SSR '97.

Using Model Types to Support Contract-Aware Model Substitutability

Benoît Combemale, Robert B. France, Steven Derrien, 2013, ECMFA.

Using Role-Based Modeling Language (RBML) to characterize model families

Robert B. France, Sudipto Ghosh, Dae-Kyoo Kim, 2002, Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings..

Data warehouse concepts for model artifacts?

Bernhard Rumpe, Robert B. France, 2012, Software & Systems Modeling.

Reifying Concurrency for Executable Metamodeling

Olivier Barais, Benoît Combemale, Julien DeAntoni, 2013, SLE.

Modeling big smart data

Bernhard Rumpe, Robert B. France, 2014, Software & Systems Modeling.

Teaching modeling: why, when, what?

Martin Gogolla, Jean Bézivin, Dániel Varró, 2009, MODELS'09.

Models@run.time (Dagstuhl Seminar 11481)

Nelly Bencomo, Robert B. France, Betty H. C. Cheng, 2011, Dagstuhl Reports.

A role-based metamodeling approach to specifying design patterns

Robert B. France, Sudipto Ghosh, Dae-Kyoo Kim, 2003, Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003.

Educators' Symposium at MODELS 2009

Martin Gogolla, Robert B. France, 2009, MoDELS.

A Two-Dimensional View of Integrated Formal and Informal Specification Techniques

Robert B. France, María M. Larrondo-Petrie, 1995, ZUM.

On the relationship between modeling and programming languages

Bernhard Rumpe, Robert B. France, 2011, Software & Systems Modeling.

Analysing Requirements to Detect Latent Security Vulnerabilities

Indrakshi Ray, Robert B. France, Curtis C. R. Busby Earle, 2014, 2014 IEEE Eighth International Conference on Software Security and Reliability-Companion.

Model aesthetics

Bernhard Rumpe, Robert B. France, 2005, Software & Systems Modeling.

Developing Distributed Services Using an Aspect Oriented Model Driven Framework

Robert B. France, Sudipto Ghosh, Y. Raghu Reddy, 2006, Int. J. Cooperative Inf. Syst..

Model-Driven Approaches to Software Development

Bernhard Rumpe, Robert B. France, Geri Georg, 2002, OOIS Workshops.

5th International workshop on Modeling in Software Engineering (MiSE 2013)

Bernhard Rumpe, Marsha Chechik, Jeffrey G. Gray, 2013, 2013 35th International Conference on Software Engineering (ICSE).

Systematic Scenario-Based Analysis of UML Design Class Models

Indrakshi Ray, Robert B. France, Lijun Yu, 2012, 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems.

Towards a Model-Driven Approach to Reuse

Robert B. France, Sudipto Ghosh, Daniel E. Turk, 2001, OOIS.

Actor-based runtime model of adaptable feedback control loops

Philippe Collet, Robert B. France, Filip Krikava, 2012, MRT '12.

Guidelines for Formalizing Fusion Object-Oriented Analysis Methods

Robert B. France, María M. Larrondo-Petrie, Jean-Michel Bruel, 1996, CAiSE.

SoSyM at 7 years

Bernhard Rumpe, Robert B. France, Martin Schindler, 2008, Software & Systems Modeling.

Towards CASE tool support for rigorous structured analysis

Robert B. France, Thomas W. G. Docker, 1993, Proceedings of ICCI'93: 5th International Conference on Computing and Information.

Rigorous Analysis of Temporal Access Control Properties in Mobile Systems

Ramadan Abdunabi, Indrakshi Ray, Robert B. France, 2013, 2013 18th International Conference on Engineering of Complex Computer Systems.

Critical Systems Development Using Modeling Languages (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop)

Bernhard Rumpe, Jan Jürjens, Robert B. France, 2004, UML Satellite Activities.

Domain specific modeling

Bernhard Rumpe, Robert B. France, R. France, 2005, Software & Systems Modeling.

Object-Oriented Theories for Model Driven Architecture

Andy Evans, Robert B. France, Tony Clark, 2002, OOIS Workshops.

The Relevance of Model-Driven Engineering Thirty Years from Now

Benoît Combemale, Matthias Schöttle, Jörg Kienzle, 2014, MoDELS.

Synergy between Activity Theory and goal/scenario modeling for requirements elicitation, analysis, and evolution

Daniel Amyot, Robert B. France, Gunter Mussbacher, 2015, Inf. Softw. Technol..

Variability in UML language and semantics

Bernhard Rumpe, Robert B. France, B. Rumpe, 2011, Software & Systems Modeling.

Extending the UML to support evolution management

Robert B. France, James M. Bieman, Ray Trask, 2001, Proceedings IEEE International Conference on Software Maintenance. ICSM 2001.

Composing Your Compositions of Variability Models

Olivier Barais, Benoît Combemale, Mathieu Acher, 2013, MoDELS.

Editorial

Carlo Ghezzi, Radu Calinescu, Robert B. France, 2012, Computing.

Supporting rigorous evolution of UML models

Doris L. Carver, Robert B. France, Sheena R. Judson, 2004, Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems.

The 8th Annual State of SoSyM Report

Bernhard Rumpe, Robert B. France, 2009, Software & Systems Modeling.

Six years of modeling in SoSyM

Bernhard Rumpe, Robert B. France, 2007, Software & Systems Modeling.

Contract-Aware Slicing of UML Class Models

Indrakshi Ray, Robert B. France, Wuliang Sun, 2013, MoDELS.

Why Johnny can’t model

Robert B. France, 2009, Software & Systems Modeling.

Comparing Approaches to Implement Feature Model Composition

Mathieu Acher, Philippe Collet, Philippe Lahire, 2010, ECMFA.

Using uml to visualize role-based access control constraints

Indrakshi Ray, Robert B. France, Na Li, 2004, SACMAT '04.

Linking models and their storage artifacts

Bernhard Rumpe, Robert B. France, 2011, Software & Systems Modeling.

UML Aspect Specification Using Role Models

Robert B. France, Geri Georg, 2002, OOIS.

An Integrated Object-Oriented and Formal Modeling Environment

Robert B. France, Jean-Michel Bruel, María M. Larrondo-Petrie, 1997, J. Object Oriented Program..

Model-based lifecycle management of software-intensive systems, applications, and services

Bernhard Rumpe, Robert B. France, 2013, Software & Systems Modeling.

Fine-Grained Software Evolution Using UML Activity and Class Models

Robert B. France, Walter Cazzola, Mohammed Al-Refai, 2013, MoDELS.

Repository for Model Driven Development (ReMoDD)

Robert B. France, James M. Bieman, Betty H. C. Cheng, 2006, 2012 34th International Conference on Software Engineering (ICSE).

A Model-based approach to Managing Enterprise Information Systems

Robert B. France, Roger Burkhart, Charmaine DeLisser, 2005, WSMDEIS.

RIGR - A Repository Model Based Approach to Management

Robert B. France, Ray Trask, R. France, 2001, pUML.

Analyzing Behavioral Aspects of UML Design Class Models against Temporal Properties

Robert B. France, Mustafa Al-Lail, Wuliang Sun, 2014, 2014 14th International Conference on Quality Software.

Barriers to systematic model transformation testing

Yves Le Traon, Robert B. France, Sudipto Ghosh, 2010, Commun. ACM.

Model-based development

Bernhard Rumpe, Robert B. France, R. France, 2007, Software & Systems Modeling.

Is a Precise Semantics Desirable? For What Purpose?

Bernhard Rumpe, Andy Evans, Stuart Kent, 1999, ECOOP Workshops.

UMLAnT: an Eclipse plugin for animating and testing UML designs

Robert B. France, Michael Hamilton, Sudipto Ghosh, 2005, eclipse '05.

Feedback on our editorials

Bernhard Rumpe, Robert B. France, 2007, Software & Systems Modeling.

Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182)

Martin Gogolla, Bran Selic, Robert B. France, 2013, Dagstuhl Reports.

The 2013 “State of the Journal” report

Bernhard Rumpe, Robert B. France, Geri Georg, 2014, Software & Systems Modeling.

Integrated Structured Analysis and Formal Specification Techniques

Robert B. France, Lesley Semmens, Thomas W. G. Docker, 1992, Comput. J..

Editorial

Bernhard Rumpe, Robert B. France, 2003, Software & Systems Modeling.

Extending Aggregation Constructs in UML

Robert B. France, María M. Larrondo-Petrie, Matthew P. Evett, 1998, UML.

A Semantic Comparison of Fusion and Syntropy

Robert B. France, Kevin Lano, Jean-Michel Bruel, 2000, Comput. J..

Separation of concerns in feature modeling: support and applications

Mathieu Acher, Philippe Collet, Philippe Lahire, 2012, AOSD.

Using aspects to design a secure system

Indrakshi Ray, Robert B. France, Geri Georg, 2002, Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings..

SUDA: a scenario-based UML design analysis approach

Robert B. France, Lijun Yu, Wuliang Sun, 2012, MW '12.

Supporting Effective Software Modeling

Robert B. France, Sudipto Ghosh, Daniel E. Turk, 2003, Obj. Logiciel Base données Réseaux.

Formal specification of real-time dependable systems

Robert B. France, Eduardo B. Fernández, R. France, 1995, Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95.

A tool-supported approach to testing UML design models

Robert B. France, Anneliese Amschler Andrews, Sudipto Ghosh, 2005, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).

Specification and analysis of access control policies for mobile applications

Ramadan Abdunabi, Indrakshi Ray, Robert B. France, 2013, SACMAT '13.

FAMILIAR: A domain-specific language for large scale management of feature models

Mathieu Acher, Philippe Collet, Philippe Lahire, 2013, Sci. Comput. Program..

A Generic Approach for Automatic Model Composition

Robert B. France, Sudipto Ghosh, Benoit Baudry, 2008, MoDELS.

Providing Support for Model Composition in Metamodels

Robert B. France, Sudipto Ghosh, Y. Raghu Reddy, 2007, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007).

A software engineering research repository

Robert B. France, James M. Bieman, Roger T. Alexander, 2004, SOEN.

Realizing the Model Driven Engineering Vision

Robert B. France, R. France, 2007, Langages et Modèles à Objets.

Editorial for the SoSyM issue 2014/04

Bernhard Rumpe, Robert B. France, 2014, Software & Systems Modeling.

A domain‐specific modeling approach to realizing user‐centric communication

Peter J. Clarke, Robert B. France, Yali Wu, 2012, Softw. Pract. Exp..

The 2015 “State of the Journal” report

Bernhard Rumpe, Robert B. France, Geri Georg, 2016, Software & Systems Modeling.

UML for software engineers

Robert B. France, Cris Kobryn, 2001, ICSE.

A Formal Specification of an Authorization Model for Object-Oriented Databases

Robert B. France, Eduardo B. Fernández, D. Wei, 1995, DBSec.

EPTUD: An Eclipse Plugin for Testing UML Designs

Robert B. France, Sudipto Ghosh, Anneliese Amschler Andrews, 2004, UML Satellite Activities.

Comparing Six Modeling Approaches

Jacques Klein, Jean-Marc Jézéquel, Wisam Al Abed, 2011, MoDELS.

Meta-Modeling Semantics of UML pdf

Bernhard Rumpe, Andy Evans, Robert B. France, 2014, ArXiv.

ACTRESS: domain-specific modeling of self-adaptive software architectures

Philippe Collet, Robert B. France, Filip Krikava, 2014, SAC.

Summary of the 8th International Workshop on Models @ Run.time

Gordon S. Blair, Robert B. France, Nelly Bencomo, 2013, MoDELS@Run.time.

Towards a formalization of UML class structures in Z

Robert B. France, Malcolm Shroff, R. France, 1997, Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97).

Generating test-cases from an object-oriented model with an artifical-intelligence planning system

Robert B. France, Anneliese Amschler Andrews, Eric Dahlman, 2000, IEEE Trans. Reliab..

GlobalDSL'13: First Workshop on the Globalization of Domain Specific Languages

Benoît Combemale, Robert B. France, Walter Cazzola, 2013, GlobalDSL@ECOOP.

Slicing feature models

Mathieu Acher, Philippe Collet, Philippe Lahire, 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).

Analysis of a Relationship Based Access Control Model

Indrakshi Ray, Robert B. France, Phillipa Bennett, 2015, C3S2E.

Open Models as a Foundation of Future Enterprise Systems (Dagstuhl Seminar 12131)

Robert B. France, Andreas Oberweis, Stefan Strecker, 2012, Dagstuhl Reports.

Model-driven engineering and optimizing compilers: a bridge too far?

Benoît Combemale, Tomofumi Yuki, Sanjay V. Rajopadhye, 2011, MODELS'11.

Workflow Design Using Fragment Composition - Crisis Management System Design through ADORE

Robert B. France, Mireille Blay-Fornarino, Sébastien Mosser, 2010, LNCS Trans. Aspect Oriented Softw. Dev..

Applying domain analysis and modeling: an industrial experience

Robert B. France, Thomas B. Horton, R. France, 1995, SSR '95.

What Does the Term Semantics Mean in the Context of UML

Bernhard Rumpe, Andy Evans, Stuart Kent, 1999, ECOOP Workshops.

An Approach to Testing Java Implementation against Its UML Class Model

Robert B. France, Wuwei Shen, Hector Miguel Chavez, 2013, MoDELS.

The evolution of modeling research challenges

Bernhard Rumpe, Robert B. France, 2013, Software & Systems Modeling.

A Systematic Approach to Generate Inputs to Test UML Design Models

Robert B. France, Sudipto Ghosh, Trung T. Dinh-Trong, 2006, 2006 17th International Symposium on Software Reliability Engineering.

Composing Feature Models

Mathieu Acher, Philippe Collet, Philippe Lahire, 2009, SLE.

Devising the Future of the Models@run.time Workshop

Nelly Bencomo, Robert B. France, Sebastian Götz, 2015, SOEN.

Meta-Modeling Model-Based Engineering Tools

Martin Gogolla, Robert B. France, P. Mosterman, 2013 .

Reasoning about VHD3L and VHDL-AMS using denotational semantics

Carlos Delgado Kloos, Peter T. Breuer, Robert B. France, 1999, Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).

Towards Formal Reasoning with UML

Robert B. France, Emanuel S. Grant, R. France, 1999 .