Robert B. France

Radu Calinescu, Robert B. France, Carlo Ghezzi: Editorial. Computing 95(3): 165-166 (2013)

Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France: FAMILIAR: A domain-specific language for large scale management of feature models. Sci. Comput. Program. 78(6): 657-681 (2013)

Robert B. France, Geri Georg, Bernhard Rumpe, Martin Schindler: The 2012 "State of the Journal" Report. Software and System Modeling 12(1): 1-3 (2013)

Bernhard Rumpe, Robert B. France: On the relationship between modeling and programming languages - Editorial for the SoSyM Issue 2012/01: Part 1. Software and System Modeling 11(1): 1-2 (2012)

Robert B. France, Geri Georg, Bernhard Rumpe, Martin Schindler: The 2011 "State of the Journal" Report - Editorial for the SoSyM Issue 2012/01: Part 2. Software and System Modeling 11(1): 3-5 (2012)

Robert B. France, Bernhard Rumpe: Data warehouse concepts for model artifacts? Software and System Modeling 11(2): 151-152 (2012)

Robert B. France, Bernhard Rumpe: Modeling to improve quality or efficiency? An automotive domain perspective. Software and System Modeling 11(3): 303-304 (2012)

Robert B. France, Bernhard Rumpe: The journal on Software and Systems Modeling Matures. Software and System Modeling 11(4): 463-465 (2012)

Yali Wu, Andrew A. Allen, Frank Hernandez, Robert B. France, Peter J. Clarke: A domain-specific modeling approach to realizing user-centric communication. Softw., Pract. Exper. 42(3): 357-390 (2012)

Mathieu Acher, Philippe Collet, Alban Gaignard, Philippe Lahire, Johan Montagnat, Robert B. France: Composing multiple variability artifacts to assemble coherent workflows. Software Quality Journal 20(3-4): 689-734 (2012)

Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France: Separation of concerns in feature modeling: support and applications. AOSD 2012: 1-12

Lijun Yu, Robert B. France, Indrakshi Ray, Wuliang Sun: Systematic Scenario-Based Analysis of UML Design Class Models. ICECCS 2012: 86-95

Robert B. France, James M. Bieman, Sai Pradeep Mandalaparty, Betty H. C. Cheng, Adam C. Jensen: Repository for Model Driven Development (ReMoDD). ICSE 2012: 1471-1472

Filip Krikava, Philippe Collet, Robert B. France: Actor-based runtime model of adaptable feedback control loops. Models@run.time 2012: 39-44

Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson (Eds.): Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings. Lecture Notes in Computer Science 7590, Springer 2012, isbn 978-3-642-33665-2

Robert B. France, Ulrich Frank, Andreas Oberweis, Matti Rossi, Stefan Strecker: Open Models as a Foundation of Future Enterprise Systems (Dagstuhl Seminar 12131). Dagstuhl Reports 2(3): 67-85 (2012)

Barrett R. Bryant, Jeff Gray, Marjan Mernik, Peter J. Clarke, Robert B. France, Gabor Karsai: Challenges and directions in formalizing the semantics of modeling languages. Comput. Sci. Inf. Syst. 8(2): 225-253 (2011)

Bernhard Rumpe, Robert B. France: Linking models and their storage artifacts. Software and System Modeling 10(3): 281-282 (2011)

Bernhard Rumpe, Robert B. France: Variability in UML language and semantics. Software and System Modeling 10(4): 439-440 (2011)

Yali Wu, Frank Hernandez, Peter J. Clarke, Robert B. France: A DSML for Coordinating User-Centric Communication Services. COMPSAC 2011: 93-102

Robert B. France: Supporting Community-Driven Evolution of Model-Driven Development Knowledge Using ReMoDD. ECBS 2011: 3

Wuliang Sun, Robert B. France, Indrakshi Ray: Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models. HASE 2011: 9-16

Sean S. E. Thorpe, Indrakshi Ray, Indrajit Ray, Tyrone Grandison, Abbie Barbir, Robert B. France: Formal Parameterization of Log Synchronization Events within a Distributed Forensic Compute Cloud Database Environment. ICDF2C 2011: 156-171

Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France: Slicing feature models. ASE 2011: 424-427

Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France: Decomposing feature models: language, environment, and applications. ASE 2011: 600-603

Nelly Bencomo, Gordon S. Blair, Robert B. France, Betty H. C. Cheng, Cédric Jeanneret: Summary of the 6th International Workshop on Models@run.time. MoDELS Workshops 2011: 149-151

Gunter Mussbacher, Wisam Al Abed, Omar Alam, Shaukat Ali, Antoine Beugnard, Valentin Bonnet, Rolv Bræk, Alfredo Capozucca, Betty H. C. Cheng, Urooj Fatima, Robert B. France, Geri Georg, Nicolas Guelfi, Paul Istoan, Jean-Marc Jézéquel, Jörg Kienzle, Jacques Klein, Jean-Baptiste Lézoray, Somayeh Malakuti, Ana Moreira, An Phung-Khac, Lucy Troup: Comparing Six Modeling Approaches. MoDELS Workshops 2011: 217-243

Mickael Clavreul, Sébastien Mosser, Mireille Blay-Fornarino, Robert B. France: Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior. MoDELS 2011: 289-303

Antoine Floch, Tomofumi Yuki, Clement Guy, Steven Derrien, Benoît Combemale, Sanjay V. Rajopadhye, Robert B. France: Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far? MoDELS 2011: 608-622

Wuliang Sun, Robert B. France, Indrakshi Ray: Rigorous Analysis of UML Access Control Policy Models. POLICY 2011: 9-16

Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France: A domain-specific language for managing feature models. SAC 2011: 1333-1340

Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France: Managing feature models with familiar: a demonstration of the language and its tool support. VaMoS 2011: 91-96

Robert B. France, Jochen Malte Küster, Behzad Bordbar, Richard F. Paige (Eds.): Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings. Lecture Notes in Computer Science 6698, Springer 2011, isbn 978-3-642-21469-1

Uwe Aßmann, Nelly Bencomo, Betty H. C. Cheng, Robert B. France: Models@run.time (Dagstuhl Seminar 11481). Dagstuhl Reports 1(11): 91-123 (2011)

Benoit Baudry, Sudipto Ghosh, Franck Fleurey, Robert B. France, Yves Le Traon, Jean-Marie Mottu: Barriers to systematic model transformation testing. Commun. ACM 53(6): 139-143 (2010)

Robert B. France, Bernhard Rumpe: The 8th Annual State of SoSyM Report. Software and System Modeling 9(1): 1-3 (2010)

Robert B. France, Bernhard Rumpe: Modeling for the cloud. Software and System Modeling 9(2): 139-140 (2010)

Sébastien Mosser, Mireille Blay-Fornarino, Robert B. France: Workflow Design Using Fragment Composition - Crisis Management System Design through ADORE. T. Aspect-Oriented Software Development 7: 200-233 (2010)

Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France: Comparing Approaches to Implement Feature Model Composition. ECMFA 2010: 3-19

Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France: Managing Variability in Workflow with Feature Model Composition Operators. Software Composition 2010: 17-33

Gordon S. Blair, Nelly Bencomo, Robert B. France: Models@ run.time. IEEE Computer 42(10): 22-27 (2009)

C. Murray Woodside, Dorina C. Petriu, Dorin Bogdan Petriu, Jing Xu, Tauseef A. Israr, Geri Georg, Robert B. France, James M. Bieman, Siv Hilde Houmb, Jan Jürjens: Performance analysis of security aspects by weaving scenarios extracted from UML models. Journal of Systems and Software 82(1): 56-74 (2009)

Robert Baillargeon, Robert B. France, Steffen Zschaler, Bernhard Rumpe, Steven Völkel, Geri Georg: Workshop on modeling in software engineering at ICSE 2009. ACM SIGSOFT Software Engineering Notes 34(4): 34-37 (2009)

Robert B. France, Bernhard Rumpe, Martin Schindler: SoSyM at 7 years. Software and System Modeling 8(1): 1-3 (2009)

Robert B. France: Why Johnny can't model. Software and System Modeling 8(2): 163-164 (2009)

Lijun Yu, Robert B. France, Indrakshi Ray, Sudipto Ghosh: A Rigorous Approach to Uncovering Security Policy Violations in UML Designs. ICECCS 2009: 126-135

Robert Baillargeon, Bernhard Rumpe, Steven Völkel, Robert B. France, Geri Georg, Steffen Zschaler: Modeling in Software Engineering (MiSE 09). ICSE Companion 2009: 453-454

Robert B. France, Martin Gogolla: Essentials of the 5th Educators' Symposium at MODELS 2009. MoDELS Workshops 2009: 36-39

Jean Bézivin, Robert B. France, Martin Gogolla, Øystein Haugen, Gabriele Taentzer, Dániel Varró: Teaching Modeling: Why, When, What? MoDELS Workshops 2009: 55-62

Nelly Bencomo, Gordon S. Blair, Robert B. France, Freddy Muñoz, Cédric Jeanneret: 4^th International Workshop on Models@run.time. MoDELS Workshops 2009: 119-123

Robert B. France, Martin Gogolla: Educators' Symposium at MODELS 2009. MoDELS 2009: 753-754

Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France: Composing Feature Models. SLE 2009: 62-81

Shmuel Katz, Harold Ossher, Robert B. France, Jean-Marc Jézéquel (Eds.): Transactions on Aspect-Oriented Software Development VI, Special Issue on Aspects and Model-Driven Engineering. Lecture Notes in Computer Science 5560, Springer 2009, isbn 978-3-642-03763-4

Robert B. France, Bernhard Rumpe: Model-based development. Software and System Modeling 7(1): 1-2 (2008)

Robert B. France, Bernhard Rumpe: Correct development of real time and embedded systems. Software and System Modeling 7(2): 125 (2008)

Robert B. France: Fair treatment of evaluations in reviews. Software and System Modeling 7(3): 253-254 (2008)

Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steven Völkel, Steffen Zschaler: Modeling in software engineering. ICSE Companion 2008: 1039-1040

Nelly Bencomo, Gordon S. Blair, Robert B. France, Freddy Muñoz, Cédric Jeanneret: Third International Workshop on Models@run.time. MoDELS Workshops 2008: 90-96

Lijun Yu, Robert B. France, Indrakshi Ray: Scenario-Based Static Analysis of UML Class Models. MoDELS 2008: 234-248

Lydia Michotte, Thomas Vergnaud, Peter H. Feiler, Robert B. France: Aspect Oriented Modeling of Component Architectures Using AADL. NTMS 2008: 1-6

Brian Henderson-Sellers, Robert B. France, Geri Georg, Raghu Reddy: A method engineering approach to developing aspect-oriented modelling processes based on the OPEN process framework. Information & Software Technology 49(7): 761-773 (2007)

Orest Pilskalns, Anneliese Amschler Andrews, Andrew Knight, Sudipto Ghosh, Robert B. France: Testing UML designs. Information & Software Technology 49(8): 892-912 (2007)

Robert B. France, Bernhard Rumpe: Does model driven engineering tame complexity? Software and System Modeling 6(1): 1-2 (2007)

Robert B. France, Bernhard Rumpe: Feedback on our editorials. Software and System Modeling 6(3): 221 (2007)

Robert B. France, Bernhard Rumpe: Six years of modeling in SoSyM. Software and System Modeling 6(4): 349-352 (2007)

Sten A. Lundesgaard, Arnor Solberg, Jon Oldevik, Robert B. France, Jan Øyvind Aagedal, Frank Eliassen: Construction and Execution of Adaptable Applications Using an Aspect-Oriented and Model Driven Approach. DAIS 2007: 76-89

Nelly Bencomo, Gordon S. Blair, Robert B. France: Model-Driven Software Adaptation. ECOOP Workshops 2007: 132-141

Lydia Michotte, Robert B. France, Franck Fleurey: Modeling and Integrating Aspects into Component Architectures. EDOC 2007: 181-192

Robert B. France, Franck Fleurey, Raghu Reddy, Benoit Baudry, Sudipto Ghosh: Providing Support for Model Composition in Metamodels. EDOC 2007: 253-266

Lijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano: A light-weight static approach to analyzing UML behavioral properties. ICECCS 2007: 56-63

Robert B. France, Bernhard Rumpe: Model-driven Development of Complex Software: A Research Roadmap. FOSE 2007: 37-54

Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steffen Zschaler: Modeling in Software Engineering. ICSE Companion 2007: 113-114

Robert B. France: Realizing the Model Driven Engineering Vision. LMO 2007: 15

Franck Fleurey, Benoit Baudry, Robert B. France, Sudipto Ghosh: A Generic Approach for Automatic Model Composition. MoDELS Workshops 2007: 7-15

Nelly Bencomo, Robert B. France, Gordon S. Blair: Second International Workshop on Models@run.time. MoDELS Workshops 2007: 206-211

Dorina C. Petriu, C. Murray Woodside, Dorin Bogdan Petriu, Jing Xu, Toqeer Israr, Geri Georg, Robert B. France, James M. Bieman, Siv Hilde Houmb, Jan Jürjens: Performance analysis of security aspects in UML models. WOSP 2007: 91-102

Robert B. France, Sudipto Ghosh, Trung T. Dinh-Trong, Arnor Solberg: Model-Driven Development Using UML 2.0: Promises and Pitfalls. IEEE Computer 39(2): 59-66 (2006)

Arnor Solberg, Devon M. Simmonds, Raghu Reddy, Robert B. France, Sudipto Ghosh, Jan Øyvind Aagedal: Developing Distributed Services Using an Aspect Oriented Model Driven Framework. Int. J. Cooperative Inf. Syst. 15(4): 535-564 (2006)

Robert B. France, Bernhard Rumpe: Modeling the Complex Living World. Software and System Modeling 5(1): 1-2 (2006)

Robert B. France, Bernhard Rumpe: Editorial for the SoSyM issue 2006/02. Software and System Modeling 5(2): 1 (2006)

Robert B. France, Bernhard Rumpe: Five years of modeling in SoSyM. Software and System Modeling 5(4): 343-347 (2006)

Y. Raghu Reddy, Sudipto Ghosh, Robert B. France, Greg Straw, James M. Bieman, N. McEachen, Eunjee Song, Geri Georg: Directives for Composing Aspect-Oriented Design Class Models. : 75-105 (2006)

Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. France: A Systematic Approach to Generate Inputs to Test UML Design Models. ISSRE 2006: 95-104

Geri Georg, Siv Hilde Houmb, Robert B. France, Steffen Zschaler, Dorina C. Petriu, Jan Jürjens: Critical Systems Development Using Modeling Languages - CSDUML 2006 Workshop Report. MoDELS Workshops 2006: 27-31

Nelly Bencomo, Gordon S. Blair, Robert B. France: Summary of the Workshop Models@run.time at MoDELS 2006. MoDELS Workshops 2006: 227-231

Robert B. France, James M. Bieman, Betty H. C. Cheng: Repository for Model Driven Development (ReMoDD). MoDELS Workshops 2006: 311-317

Daniel E. Turk, Robert B. France, Bernhard Rumpe: Assumptions Underlying Agile Software-Development Processes. J. Database Manag. 16(4): 62-87 (2005)

Robert B. France, Bernhard Rumpe: Domain specific modeling. Software and System Modeling 4(1): 1-3 (2005)

Robert B. France, Bernhard Rumpe: Model aesthetics. Software and System Modeling 4(2): 107-108 (2005)

Robert B. France, Bernhard Rumpe: Modeling Paradigms. Software and System Modeling 4(3): 233 (2005)

Sudipto Ghosh, Robert B. France, Devon M. Simmonds, Abhijit Bare, Brahmila Kamalakar, Roopashree P. Shankar, Gagan Tandon, Peter Vile, Shuxin Yin: A middleware-transparent approach to developing distributed applications. Softw., Pract. Exper. 35(12): 1131-1154 (2005)

Anneliese Amschler Andrews, Ed Mancebo, Per Runeson, Robert B. France: A Framework for Design Tradeoffs. Software Quality Journal 13(4): 377-405 (2005)

Arnor Solberg, Devon M. Simmonds, Raghu Reddy, Sudipto Ghosh, Robert B. France: Using Aspect Oriented Techniques to Support Separation of Concerns in Model Driven Development. COMPSAC (1) 2005: 121-126

Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. France, Michael Hamilton, Brent Wilkins: UMLAnT: an Eclipse plugin for animating and testing UML designs. ETX 2005: 120-124

Devon M. Simmonds, Raghu Reddy, Robert B. France, Sudipto Ghosh, Arnor Solberg: An Aspect Oriented Model Driven Framework. EDOC 2005: 119-130

Siv Hilde Houmb, Geri Georg, Robert B. France, James M. Bieman, Jan Jürjens: Cost-Benefit Trade-Off Analysis Using BBN for Aspect-Oriented Risk-Driven Development. ICECCS 2005: 195-204

Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh, Robert B. France, Anneliese Amschler Andrews: A Tool-Supported Approach to Testing UML Design Models. ICECCS 2005: 519-528

Eunjee Song, Raghu Reddy, Robert B. France, Indrakshi Ray, Geri Georg, Roger T. Alexander: Verifiable composition of access control and application features. SACMAT 2005: 120-129

Robert B. France, Roger Burkhart, Charmaine DeLisser: A Model-based approach to Managing Enterprise Information Systems. WSMDEIS 2005: 149-157

Robert B. France, Indrakshi Ray, Geri Georg, Sudipto Ghosh: Aspect-oriented approach to early design modelling. IEE Proceedings - Software 151(4): 173-186 (2004)

Indrakshi Ray, Robert B. France, Na Li, Geri Georg: An aspect-based approach to modeling access control concerns. Information & Software Technology 46(9): 575-587 (2004)

Roger T. Alexander, James M. Bieman, Robert B. France: A software engineering research repository. ACM SIGSOFT Software Engineering Notes 29(5): 1-4 (2004)

Robert B. France, Bernhard Rumpe: In search of effective design abstractions. Software and System Modeling 3(1): 1-3 (2004)

Robert B. France, Bernhard Rumpe: Assessing model quality. Software and System Modeling 3(3): 179-180 (2004)

Robert B. France, Bernhard Rumpe: SoSyM at three. Software and System Modeling 3(4): 255-257 (2004)

Robert B. France, Dae-Kyoo Kim, Sudipto Ghosh, Eunjee Song: A UML-Based Pattern Specification Technique. IEEE Trans. Software Eng. 30(3): 193-206 (2004)

Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh: A UML-based language for specifying domain-specific patterns. J. Vis. Lang. Comput. 15(3-4): 265-289 (2004)

Anneliese Amschler Andrews, Per Runeson, Robert B. France: Requirements Trade-offs During UML Design. ECBS 2004: 282-292

Dae-Kyoo Kim, Indrakshi Ray, Robert B. France, Na Li: Modeling Role-Based Access Control Using Parameterized UML Models. FASE 2004: 180-193

Sheena R. Judson, Robert B. France, Doris L. Carver: Supporting Rigorous Evolution of UML Models. ICECCS 2004: 128-137

Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray, Richard F. Paige, Bernhard Rumpe: 5th international workshop on modeling in software engineering (MiSE 2013). ICSE 2004: 1531-1532

Indrakshi Ray, Na Li, Robert B. France, Dae-Kyoo Kim: Using uml to visualize role-based access control constraints. SACMAT 2004: 115-124

Jan Jürjens, Eduardo B. Fernández, Robert B. France, Bernhard Rumpe, Constance L. Heitmeyer: Critical Systems Development Using Modeling Languages (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop). UML Satellite Activities 2004: 76-84

Greg Straw, Geri Georg, Eunjee Song, Sudipto Ghosh, Robert B. France, James M. Bieman: Model Composition Directives. UML 2004: 84-97

Geri Georg, Raghu Reddy, Robert B. France: Specifying Cross-Cutting Requirement Concerns. UML 2004: 113-127

Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh, Robert B. France, Anneliese Amschler Andrews: EPTUD: An Eclipse Plugin for Testing UML Designs. UML Satellite Activities 2004: 234-237

Robert B. France, Sudipto Ghosh, Daniel E. Turk: Supporting Effective Software Modeling. L'OBJET 9(4): 11-29 (2003)

Robert B. France, Sudipto Ghosh, Eunjee Song, Dae-Kyoo Kim: A Metamodeling Approach to Pattern-Based Model Refactoring. IEEE Software 20(5): 52-58 (2003)

Robert B. France, Bernhard Rumpe: Editorial. Software and System Modeling 2(1): 1-2 (2003)

Robert B. France, Bernhard Rumpe: Editorial - Model engineering. Software and System Modeling 2(2): 73-75 (2003)

Robert B. France, Bernhard Rumpe: Editorial. Software and System Modeling 2(4): 211-214 (2003)

Anneliese Amschler Andrews, Robert B. France, Sudipto Ghosh, Gerald Craig: Test adequacy criteria for UML design models. Softw. Test., Verif. Reliab. 13(2): 95-127 (2003)

Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eunjee Song: A Role-Based Metamodeling Approach to Specifying Design Patterns. COMPSAC 2003: 452-

Sudipto Ghosh, Robert B. France, Conrad Braganza, Nilesh Kawane, Anneliese Amschler Andrews, Orest Pilskalns: Test Adequacy Assessment for UML Design Model Testing. ISSRE 2003: 332-346

Sheena R. Judson, Doris L. Carver, Robert B. France: A metamodeling approach to model transformation. OOPSLA Companion 2003: 326-327

Orest Pilskalns, Anneliese Amschler Andrews, Sudipto Ghosh, Robert B. France: Rigorous Testing by Merging Structural and Behavioral UML Representations. UML 2003: 234-248

Robert B. France, Bernhard Rumpe: First Issue of the International Journal on Software and Systems Modeling. Software and System Modeling 1(1): 1-4 (2002)

João Araújo, Jonathan Whittle, José Ambrosio Toval Álvarez, Robert B. France: Integration and Transformation of UML Models. ECOOP Workshops 2002: 184-191

Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eunjee Song: Using Role-Based Modeling Language (RBML) to Characterize Model Families. ICECCS 2002: 107-116

Geri Georg, Indrakshi Ray, Robert B. France: Using Aspects to Design a Secure System. ICECCS 2002: 117-

Geri Georg, Robert B. France: UML Aspect Specification Using Role Models. OOIS 2002: 186-191

Daniel E. Turk, Robert B. France, Bernhard Rumpe, Geri Georg: Model-Driven Approaches to Software Development. OOIS Workshops 2002: 229-230

Tony Clark, Andy Evans, Robert B. France: Object-Oriented Theories for Model Driven Architecture. OOIS Workshops 2002: 235-244

François Mekerke, Geri Georg, Robert B. France: Tool Support for Aspect-Oriented Design. OOIS Workshops 2002: 280-289

Geri Georg, Robert B. France, Indrakshi Ray: Designing High Integrity Systems Using Aspects. IICIS 2002: 37-57

Robert B. France, Cris Kobryn: UML for Software Engineers. ICSE 2001: 705-706

Robert B. France, James M. Bieman, Ray Trask: Extending the UML to Support Evolution Management. ICSM 2001: 106

Robert B. France, James M. Bieman: Multi-View Software Evolution: A UML-based Framework for Evolving Object-Oriented Software. ICSM 2001: 386-

Jean-Michel Bruel, Brian Henderson-Sellers, Franck Barbier, Annig Le Parc, Robert B. France: Improving the UML Metamodel to Rigorously Specify Aggregation and Composition. OOIS 2001: 5-14

Robert B. France, Sudipto Ghosh, Daniel E. Turk: Towards a Model-Driven Approach to Reuse. OOIS 2001: 181-190

Geri Georg, Jores Bieman, Robert B. France: Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study. pUML 2001: 128-141

Ray Trask, Robert B. France: RIGR - A Repository Model Based Approach to Management. pUML 2001: 258-269

Andy Evans, Robert B. France, Ana M. D. Moreira, Bernhard Rumpe (Eds.): Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada. LNI 7, GI 2001, isbn 3-88579-335-0

Kevin Lano, Robert B. France, Jean-Michel Bruel: A Semantic Comparison of Fusion and Syntropy. Comput. J. 43(6): 451-468 (2000)

Jean-Michel Bruel, Johan Lilius, Ana M. D. Moreira, Robert B. France: Defining Precise Semantics for UML. ECOOP Workshops 2000: 113-122

Emanuel S. Grant, Robert B. France, Ramchander Varadarajan, Adam Carheden, Jean-Michel Bruel: UML2Z: An UML-Based Object-Oriented Modeling Tool for an Internet Integrated Formalization Process. OOIS 2000: 280-289

Peter T. Breuer, Natividad Martínez Madrid, Jonathan P. Bowen, Robert B. France, Maria M. Larrondo-Petrie, Carlos Delgado Kloos: Reasoning about VHDL and VHDL-AMS using Denotational Semantics. DATE 1999: 346-352

Bernhard Rumpe, Stuart Kent, Andy Evans, Robert B. France: What Does the Term Semantics Mean in the Context of UML. ECOOP Workshops 1999: 34-36

Stuart Kent, Bernhard Rumpe, Andy Evans, Robert B. France: Is a Precise Semantics Desirable? For What Purpose? ECOOP Workshops 1999: 37-40

Andy Evans, Robert B. France, Guy Genilloud, Brian Henderson-Sellers, Perdita Stevens: Aggregation. ECOOP Workshops 1999: 55-56

Robert B. France: A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts. OOPSLA 1999: 57-69

Robert B. France, Bernhard Rumpe (Eds.): «UML»'99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings. Lecture Notes in Computer Science 1723, Springer 1999

Robert B. France, Andy Evans, Kevin Lano, Bernhard Rumpe: The UML as a formal modeling notation. Computer Standards & Interfaces 19(7): 325-334 (1998)

Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe: The UML as a Formal Modeling Notation. UML 1998: 336-348

Minika Saksena, Maria M. Larrondo-Petrie, Robert B. France, Matthew P. Evett: Extending Aggregation Constructs in UML. UML 1998: 435-441

Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie: An Integrated Object-Oriented and Formal Modeling Environment. JOOP 10(7): 25-34, 50 (1997)

Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emanuel S. Grant: Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations. AMAST 1997: 216-230

Malcolm Shroff, Robert B. France: Towards a formalization of UML class structures in Z. COMPSAC 1997: 646-651

Robert B. France, Jean-Michel Bruel: Integrated Informal Object-Oriented and Formal Modeling Techniques. ECOOP Workshops 1997: 178-181

Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emanuel S. Grant, Minika Saksena: Towards a Rigorous Object-Oriented Analysis and Design Method. ICFEM 1997: 7-16

Robert B. France, Matthew P. Evett, Emanuel S. Grant: Towards Semantic-Based Object-Oriented CASE Tools. ASE 1997: 295-296

Jacques Meekel, Thomas B. Horton, Robert B. France, Charlie Mellone, Sajid Dalvi: From Domain Models to Architecture Frameworks. SSR 1997: 75-80

B. W. Bates, Jean-Michel Bruel, Robert B. France, Maria M. Larrondo-Petrie: Guidelines for Formalizing Fusion Object-Oriented Analysis Methods . CAiSE 1996: 222-233

Jean-Michel Bruel, Robert B. France, Abdelmalek Benzekri: A Z-based Approach to Specifying and Analyzing Complex Systems. ICECCS 1996: 336-343

Robert B. France, Maria M. Larrondo-Petrie: Understanding the Role of Formal Specification Techniques in Requirements Engineering. CSEE 1995: 207-221

Eduardo B. Fernández, Robert B. France, D. Wei: A Formal Specification of an Authorization Model for Object-Oriented Databases. DBSec 1995: 95-110

Eduardo B. Fernández, Robert B. France: Formal specification of real-time dependable systems. ICECCS 1995: 342-348

Robert B. France, Thomas B. Horton: Applying Domain Analysis and Modeling: An Industrial Experience. SSR 1995: 206-214

Robert B. France, Maria M. Larrondo-Petrie: A Two-Dimensional View of Integrated Formal and Informal Specification Techniques. ZUM 1995: 434-448

Robert B. France, Maria M. Larrondo-Petrie: From Structured Analysis to Formal Specifications: State of the Theory. ACM Conference on Computer Science 1994: 249-256

Robert B. France, Thomas W. G. Docker: Towards CASE Tool Support for Rigorous Structured Analysis. ICCI 1993: 474-478

Lesley Semmens, Robert B. France, Thomas W. G. Docker: Integrated Structured Analysis and Formal Specification Techniques. Comput. J. 35(6): 600-610 (1992)

Robert B. France: Semantically Extended Data Flow Diagrams: A Formal Specification Tool. IEEE Trans. Software Eng. 18(4): 329-346 (1992)

Robert B. France, Thomas W. G. Docker: Formal Specification Using Structured Systems Analysis. ESEC 1989: 293-310

Thomas W. G. Docker, Robert B. France: Flexibility and Rigour in Structured Analysis. IFIP Congress 1989: 89-94