Robert B. France

258 papers A* 6A 18B 26C 10Misc 5Journal 92Unranked 86
YearRankTypeTitle / Venue / Authors
2016 J jnl
An Approach to Checking Consistency between UML Class Model and Its Java Implementation.
IEEE Trans. Software Eng.
Hector Miguel Chavez, Wuwei Shen, Robert B. France, Benjamin A. Mechling, Guangyuan Li
2016 — conf
Discovering Potential Interaction Violations among Requirements.
CAiSE Workshops
Curtis C. R. Busby Earle, Robert B. France
2016 — conf
Using Models to Validate Unanticipated, Fine-Grained Adaptations at Runtime.
HASE
Mohammed Al-Refai, Walter Cazzola, Sudipto Ghosh, Robert B. France
2015 — conf
Analysis of a Relationship Based Access Control Model.
C3S2E
Phillipa Bennett, Indrakshi Ray, Robert B. France
2015 — ed.
Companion Proceedings of the 14th International Conference on Modularity, MODULARITY 2015, Fort Collins, CO, USA, March 16 - 19, 2015
MODULARITY (Companion)
Robert B. France, Sudipto Ghosh, Gary T. Leavens
2015 J jnl
Devising the Future of the [email protected] Workshop.
ACM SIGSOFT Softw. Eng. Notes
Sebastian Götz, Nelly Bencomo, Robert B. France
2015 — ed.
Globalizing Domain-Specific Languages - International Dagstuhl Seminar Dagstuhl Castle, Germany, October 5-10, 2014 Revised Papers
Globalizing Domain-Specific Languages
Betty H. C. Cheng, Benoît Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe
2015 Misc conf
Modeling of Online Social Network Policies Using an Attribute-Based Access Control Framework.
ICISS
Phillipa Bennett, Indrakshi Ray, Robert B. France
2015 — ed.
Proceedings of the 14th International Conference on Modularity, MODULARITY 2015, Fort Collins, CO, USA, March 16 - 19, 2015
MODULARITY
Robert B. France, Sudipto Ghosh, Gary T. Leavens
2015 J jnl
Special section of SoSyM dedicated to 50 years of Petri nets.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2015 J jnl
Synergy between Activity Theory and goal/scenario modeling for requirements elicitation, analysis, and evolution.
Inf. Softw. Technol.
Geri Georg, Gunter Mussbacher, Daniel Amyot, Dorina C. Petriu, Lucy J. Troup, Saul Lozano-Fuentes, Robert B. France
2015 J jnl
The 2014 "State of the Journal" report.
Softw. Syst. Model.
Robert B. France, Geri Georg, Bernhard Rumpe, Martin Schindler
2015 — conf
Towards the use of slicing techniques for an efficient invariant checking.
MODULARITY (Companion)
Wuliang Sun, Benoît Combemale, Robert B. France
2015 J jnl
Using Slicing to Improve the Performance of Model Invariant Checking.
J. Object Technol.
Wuliang Sun, Benoît Combemale, Robert B. France, Arnaud Blouin, Benoit Baudry, Indrakshi Ray
2014 C ed.
6th International Workshop on Modeling in Software Engineering, MiSE 2014, Hyderabad, India, June 2-3, 2014
MiSE
Joanne M. Atlee, Vinay Kulkarni, Tony Clark, Robert B. France, Bernhard Rumpe
2014 Misc conf
ACTRESS: domain-specific modeling of self-adaptive software architectures.
SAC
Filip Krikava, Philippe Collet, Robert B. France
2014 — conf
Analysing Requirements to Detect Latent Security Vulnerabilities.
SERE (Companion)
Curtis C. R. Busby Earle, Robert B. France, Indrakshi Ray
2014 — conf
Analyzing Behavioral Aspects of UML Design Class Models against Temporal Properties.
QSIC
Mustafa Al-Lail, Wuliang Sun, Robert B. France
2014 J jnl
Assumptions Underlying Agile Software Development Processes.
CoRR
Dan Turk, Robert B. France, Bernhard Rumpe
2014 J jnl
Critical Systems Development Using Modeling Languages. (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop).
CoRR
Jan Jürjens, Eduardo B. Fernández, Robert B. France, Bernhard Rumpe, Constance L. Heitmeyer
2014 J jnl
Developing the UML as a Formal Modelling Notation.
CoRR
Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe
2014 — conf
Domain Globalization: Using Languages to Support Technical and Social Coordination.
Globalizing Domain-Specific Languages
Julien Deantoni, Cédric Brun, Benoît Caillaud, Robert B. France, Gabor Karsai, Oscar Nierstrasz, Eugene Syriani
2014 J jnl
Editorial for the SoSyM issue 2014/04.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2014 B conf
Evaluating the Usability of a Visual Feature Modeling Notation.
SLE
Aleksandar Jaksic, Robert B. France, Philippe Collet, Sudipto Ghosh
2014 — conf
From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics.
Modellierung
Martin Gogolla, Lars Hamann, Frank Hilken, Mirco Kuhlmann, Robert B. France
2014 J jnl
Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412).
Dagstuhl Reports
Betty H. C. Cheng, Benoît Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe
2014 J jnl
Globalizing Modeling Languages.
Computer
Benoît Combemale, Julien Deantoni, Benoit Baudry, Robert B. France, Jean-Marc Jézéquel, Jeff Gray
2014 J jnl
Limitations of Agile Software Processes.
CoRR
Dan Turk, Robert B. France, Bernhard Rumpe
2014 Misc conf
Manipulating models using internal domain-specific languages.
SAC
Filip Krikava, Philippe Collet, Robert B. France
2014 J jnl
Meta-Modeling Semantics of UML.
CoRR
Andy Evans, Kevin Lano, Robert B. France, Bernhard Rumpe
2014 J jnl
Model-Driven Development of Complex Software: A Research Roadmap.
CoRR
Robert B. France, Bernhard Rumpe
2014 J jnl
Modeling big smart data.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2014 — ed.
[email protected] - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27 - December 2, 2011].
[email protected]@Dagstuhl
Nelly Bencomo, Robert B. France, Betty H. C. Cheng, Uwe Aßmann
2014 — conf
On the Globalization of Domain-Specific Languages.
Globalizing Domain-Specific Languages
Betty H. C. Cheng, Benoît Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe
2014 — ed.
Proceedings of the 2nd International Workshop on The Globalization of Modeling Languages co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, GEMOC@Models 2014, Valencia, - Spain, September 28, 2014.
GEMOC@MoDELS
Benoît Combemale, Julien Deantoni, Robert B. France
2014 — ed.
Proceedings of the 9th Workshop on [email protected] co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 30, 2014.
[email protected]
Sebastian Götz, Nelly Bencomo, Robert B. France
2014 J jnl
Report on the First Workshop On the Globalization of Modeling Languages.
CoRR
Benoît Combemale, Julien De Antoni, Robert B. France, Frédéric Boulanger, Sébastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler
2014 A conf
SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations.
MoDELS
Filip Krikava, Philippe Collet, Robert B. France
2014 J jnl
The 2013 "State of the Journal" report.
Softw. Syst. Model.
Robert B. France, Geri Georg, Bernhard Rumpe, Martin Schindler
2014 A conf
The Relevance of Model-Driven Engineering Thirty Years from Now.
MoDELS
Gunter Mussbacher, Daniel Amyot, Ruth Breu, Jean-Michel Bruel, Betty H. C. Cheng, Philippe Collet, Benoît Combemale, Robert B. France, Rogardt Heldal, James H. Hill, Jörg Kienzle, Matthias Schöttle, Friedrich Steimann, Dave R. Stikkolorum, Jon Whittle
2014 J jnl
The UML as a Formal Modeling Notation.
CoRR
Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe
2014 — conf
Towards the Model Driven Organization.
HICSS
Tony Clark, Vinay Kulkarni, Balbir Barn, Robert B. France, Ulrich Frank, Dan Turk
2014 Misc conf
Using models to dynamically refactor runtime code.
SAC
Mohammed Al-Refai, Walter Cazzola, Robert B. France
2013 A* conf
5th international workshop on modeling in software engineering (MiSE 2013).
ICSE
Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray, Richard F. Paige, Bernhard Rumpe
2013 J jnl
A newly introduced Industry Voice Column.
Softw. Syst. Model.
Tony Clark, Gabor Karsai, Roel J. Wieringa, Robert B. France, Bernhard Rumpe
2013 — conf
An Approach to Analyzing Temporal Properties in UML Class Models.
MoDeVVa@MoDELS
Mustafa Al-Lail, Ramadan Abdunabi, Robert B. France, Indrakshi Ray
2013 A conf
An Approach to Testing Java Implementation against Its UML Class Model.
MoDELS
Hector Miguel Chavez, Wuwei Shen, Robert B. France, Benjamin A. Mechling
2013 — conf
Analyzing Behavioral Refactoring of Class Models.
ME@MoDELS
Wuliang Sun, Robert B. France, Indrakshi Ray
2013 A conf
Composing Your Compositions of Variability Models.
MoDELS
Mathieu Acher, Benoît Combemale, Philippe Collet, Olivier Barais, Philippe Lahire, Robert B. France
2013 A conf
Contract-Aware Slicing of UML Class Models.
MoDELS
Wuliang Sun, Robert B. France, Indrakshi Ray
2013 J jnl
Editorial.
Computing
Radu Calinescu, Robert B. France, Carlo Ghezzi
2013 J jnl
FAMILIAR: A domain-specific language for large scale management of feature models.
Sci. Comput. Program.
Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France
2013 A conf
Fine-Grained Software Evolution Using UML Activity and Class Models.
MoDELS
Walter Cazzola, Nicole Alicia Rossini, Mohammed Al-Refai, Robert B. France
2013 — conf
GlobalDSL 2013: First Workshop on the Globalization of Domain Specific Languages.
GlobalDSL@ECOOP
Benoît Combemale, Walter Cazzola, Robert B. France
2013 B conf
Hypervisor Event Logs as a Source of Consistent Virtual Machine Evidence for Forensic Cloud Investigations.
DBSec
Sean S. E. Thorpe, Indrajit Ray, Tyrone Grandison, Abbie Barbir, Robert B. France
2013 — conf
Introduction.
GEMOC+AMINO@MoDELS
Balbir Barn, Tony Clark, Robert B. France, Ulrich Frank, Vinay Kulkarni, Dan Turk
2013 — ed.
Joint Proceedings of the First International Workshop On the Globalization of Modeling Languages (GEMOC 2013) and the First International Workshop: Towards the Model Driven Organization (AMINO 2013) Co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29 - October 04, 2013.
GEMOC+AMINO@MoDELS
Benoît Combemale, Julien De Antoni, Robert B. France, Balbir Barn, Tony Clark, Ulrich Frank, Vinay Kulkarni, Dan Turk
2013 J jnl
Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182).
Dagstuhl Reports
Tony Clark, Robert B. France, Martin Gogolla, Bran Selic
2013 J jnl
Model-based lifecycle management of software-intensive systems, applications, and services.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2013 C ed.
Proceedings of the 5th International Workshop on Modeling in Software Engineering, MiSE 2013, San Francisco, California, USA, May 18-19, 2013
MiSE
Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray, Richard F. Paige, Bernhard Rumpe
2013 — ed.
Proceedings of the 8th Workshop on Models @ Run.time co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, FL, USA, September 29, 2013.
[email protected]
Nelly Bencomo, Robert B. France, Sebastian Götz, Bernhard Rumpe
2013 — ed.
Proceedings of the First Workshop on the Globalization of Domain Specific Languages, GlobalDSL@ECOOP 2013, Montpellier, France, July 1, 2013
GlobalDSL@ECOOP
Benoît Combemale, Walter Cazzola, Robert B. France
2013 — ed.
Proceedings of the Fourth International Comparing Modeling Approaches Workshop 2013 co-located with the ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems ( MODELS 2013), Miami, Florida, USA, October 1, 2013.
CMA@MoDELS
Ana Moreira, Geri Georg, Gunter Mussbacher, Jörg Kienzle, Robert B. France, Shaukat Ali
2013 B conf
Reifying Concurrency for Executable Metamodeling.
SLE
Benoît Combemale, Julien De Antoni, Matias Vara Larsen, Frédéric Mallet, Olivier Barais, Benoit Baudry, Robert B. France
2013 — conf
Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013).
GEMOC+AMINO@MoDELS
Benoît Combemale, Julien Deantoni, Robert B. France, Frédéric Boulanger, Sébastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler
2013 B conf
Rigorous Analysis of Temporal Access Control Properties in Mobile Systems.
ICECCS
Mustafa Al-Lail, Ramadan Abdunabi, Robert B. France, Indrakshi Ray
2013 C conf
Specification and analysis of access control policies for mobile applications.
SACMAT
Ramadan Abdunabi, Indrakshi Ray, Robert B. France
2013 J jnl
Specification, Validation, and Enforcement of a Generalized Spatio-Temporal Role-Based Access Control Model.
IEEE Syst. J.
Ramadan Abdunabi, Mustafa Al-Lail, Indrakshi Ray, Robert B. France
2013 — conf
Summary of the 8th International Workshop on Models @ Run.time.
[email protected]
Nelly Bencomo, Robert B. France, Sebastian Götz, Bernhard Rumpe
2013 J jnl
The 2012 "State of the Journal" Report.
Softw. Syst. Model.
Robert B. France, Geri Georg, Bernhard Rumpe, Martin Schindler
2013 J jnl
The evolution of modeling research challenges.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2013 B conf
Using Model Types to Support Contract-Aware Model Substitutability.
ECMFA
Wuliang Sun, Benoît Combemale, Steven Derrien, Robert B. France
2013 J jnl
Why it is so hard to use models in software development: observations.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe, Martin Schindler
2012 J jnl
A domain-specific modeling approach to realizing user-centric communication.
Softw. Pract. Exp.
Yali Wu, Andrew A. Allen, Frank Hernandez, Robert B. France, Peter J. Clarke
2012 — conf
Actor-based runtime model of adaptable feedback control loops.
[email protected]
Filip Krikava, Philippe Collet, Robert B. France
2012 J jnl
Composing multiple variability artifacts to assemble coherent workflows.
Softw. Qual. J.
Mathieu Acher, Philippe Collet, Alban Gaignard, Philippe Lahire, Johan Montagnat, Robert B. France
2012 J jnl
Data warehouse concepts for model artifacts?
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2012 A ed.
Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings
MoDELS
Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson
2012 J jnl
Modeling to improve quality or efficiency? An automotive domain perspective.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2012 J jnl
On the relationship between modeling and programming languages - Editorial for the SoSyM Issue 2012/01: Part 1.
Softw. Syst. Model.
Bernhard Rumpe, Robert B. France
2012 J jnl
Open Models as a Foundation of Future Enterprise Systems (Dagstuhl Seminar 12131).
Dagstuhl Reports
Robert B. France, Ulrich Frank, Andreas Oberweis, Matti Rossi, Stefan Strecker
2012 C ed.
Proceedings of the 4th International Workshop on Modeling in Software Engineering, MiSE 2012, Zurich, Switzerland, June 2-3, 2012
MiSE
Joanne M. Atlee, Robert Baillargeon, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steffen Zschaler
2012 A* conf
Repository for Model Driven Development (ReMoDD).
ICSE
Robert B. France, James M. Bieman, Sai Pradeep Mandalaparty, Betty H. C. Cheng, Adam C. Jensen
2012 — conf
Separation of concerns in feature modeling: support and applications.
AOSD
Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France
2012 B conf
Systematic Scenario-Based Analysis of UML Design Class Models.
ICECCS
Lijun Yu, Robert B. France, Indrakshi Ray, Wuliang Sun
2012 J jnl
The 2011 "State of the Journal" Report - Editorial for the SoSyM Issue 2012/01: Part 2.
Softw. Syst. Model.
Robert B. France, Geri Georg, Bernhard Rumpe, Martin Schindler
2012 J jnl
The journal on Software and Systems Modeling Matures.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2011 B conf
A DSML for Coordinating User-Centric Communication Services.
COMPSAC
Yali Wu, Frank Hernandez, Peter J. Clarke, Robert B. France
2011 Misc conf
A domain-specific language for managing feature models.
SAC
Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France
2011 J jnl
Challenges and directions in formalizing the semantics of modeling languages.
Comput. Sci. Inf. Syst.
Barrett R. Bryant, Jeff Gray, Marjan Mernik, Peter J. Clarke, Robert B. France, Gabor Karsai
2011 — conf
Comparing Six Modeling Approaches.
MoDELS (Workshops)
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 J. Troup
2011 A* conf
Decomposing feature models: language, environment, and applications.
ASE
Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France
2011 — conf
Fine-Grained Semi-automated Runtime Evolution.
[email protected]@Dagstuhl
Walter Cazzola, Nicole Alicia Rossini, Phillipa Bennett, Sai Pradeep Mandalaparty, Robert B. France
2011 — conf
Formal Parameterization of Log Synchronization Events within a Distributed Forensic Compute Cloud Database Environment.
ICDF2C
Sean S. E. Thorpe, Indrakshi Ray, Indrajit Ray, Tyrone Grandison, Abbie Barbir, Robert B. France
2011 J jnl
Linking models and their storage artifacts.
Softw. Syst. Model.
Bernhard Rumpe, Robert B. France
2011 — conf
Managing feature models with familiar: a demonstration of the language and its tool support.
VaMoS
Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France
2011 — conf
Mechanisms for Leveraging Models at Runtime in Self-adaptive Software.
[email protected]@Dagstuhl
Amel Bennaceur, Robert B. France, Giordano Tamburrelli, Thomas Vogel, Pieter J. Mosterman, Walter Cazzola, Fábio M. Costa, Alfonso Pierantonio, Matthias Tichy, Mehmet Aksit, Pär Emmanuelson, Gang Huang, Nikolaos Georgantas, David Redlich
2011 A conf
Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far?
MoDELS
Antoine Floch, Tomofumi Yuki, Clément Guy, Steven Derrien, Benoît Combemale, Sanjay V. Rajopadhye, Robert B. France
2011 B ed.
Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings
ECMFA
Robert B. France, Jochen Malte Küster, Behzad Bordbar, Richard F. Paige
2011 J jnl
[email protected] (Dagstuhl Seminar 11481).
Dagstuhl Reports
Uwe Aßmann, Nelly Bencomo, Betty H. C. Cheng, Robert B. France
2011 — ed.
Proceedings of the 6th International Workshop on [email protected] at the ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, Wellington, New Zealand, October 17, 2011
[email protected]
Nelly Bencomo, Gordon S. Blair, Betty H. C. Cheng, Robert B. France, Cédric Jeanneret
2011 — conf
Rigorous Analysis of UML Access Control Policy Models.
POLICY
Wuliang Sun, Robert B. France, Indrakshi Ray
2011 A conf
Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior.
MoDELS
Mickael Clavreul, Sébastien Mosser, Mireille Blay-Fornarino, Robert B. France
2011 A* conf
Slicing feature models.
ASE
Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France
2011 — conf
Summary of the 6th International Workshop on [email protected].
MoDELS (Workshops)
Nelly Bencomo, Gordon S. Blair, Robert B. France, Betty H. C. Cheng, Cédric Jeanneret
2011 — conf
Supporting Community-Driven Evolution of Model-Driven Development Knowledge Using ReMoDD.
ECBS
Robert B. France
2011 — conf
Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models.
HASE
Wuliang Sun, Robert B. France, Indrakshi Ray
2011 J jnl
Teaching Programming Students how to Model: Challenges & Opportunities.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Robert B. France
2011 J jnl
Variability in UML language and semantics.
Softw. Syst. Model.
Bernhard Rumpe, Robert B. France
2010 J jnl
Barriers to systematic model transformation testing.
Commun. ACM
Benoit Baudry, Sudipto Ghosh, Franck Fleurey, Robert B. France, Yves Le Traon, Jean-Marie Mottu
2010 B conf
Comparing Approaches to Implement Feature Model Composition.
ECMFA
Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France
2010 A conf
Managing Variability in Workflow with Feature Model Composition Operators.
SC
Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France
2010 — conf
Measuring the effort for creating and using domain-specific models.
DSM@SPLASH
Yali Wu, Frank Hernandez, Francisco R. Ortega, Peter J. Clarke, Robert B. France
2010 J jnl
Modeling for the cloud.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2010 J jnl
The 8th Annual State of SoSyM Report.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2010 J jnl
Workflow Design Using Fragment Composition - Crisis Management System Design through ADORE.
LNCS Trans. Aspect Oriented Softw. Dev.
Sébastien Mosser, Mireille Blay-Fornarino, Robert B. France
2009 — conf
4
MoDELS (Workshops)
Nelly Bencomo, Gordon S. Blair, Robert B. France, Freddy Muñoz, Cédric Jeanneret
2009 B conf
A Rigorous Approach to Uncovering Security Policy Violations in UML Designs.
ICECCS
Lijun Yu, Robert B. France, Indrakshi Ray, Sudipto Ghosh
2009 B conf
Composing Feature Models.
SLE
Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France
2009 A conf
Educators' Symposium at MODELS 2009.
MoDELS
Robert B. France, Martin Gogolla
2009 — conf
Essentials of the 5th Educators' Symposium at MODELS 2009.
MoDELS (Workshops)
Robert B. France, Martin Gogolla
2009 — conf
Modeling in Software Engineering (MiSE 09).
ICSE Companion
Robert Baillargeon, Bernhard Rumpe, Steven Völkel, Robert B. France, Geri Georg, Steffen Zschaler
2009 J jnl
Models@ run.time.
Computer
Gordon S. Blair, Nelly Bencomo, Robert B. France
2009 J jnl
Performance analysis of security aspects by weaving scenarios extracted from UML models.
J. Syst. Softw.
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
2009 J jnl
SoSyM at 7 years.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe, Martin Schindler
2009 — conf
Teaching Modeling: Why, When, What?
MoDELS (Workshops)
Jean Bézivin, Robert B. France, Martin Gogolla, Øystein Haugen, Gabriele Taentzer, Dániel Varró
2009 — ed.
Transactions on Aspect-Oriented Software Development VI, Special Issue on Aspects and Model-Driven Engineering
Trans. Aspect-Oriented Software Development VI
Shmuel Katz, Harold Ossher, Robert B. France, Jean-Marc Jézéquel
2009 J jnl
Why Johnny can't model.
Softw. Syst. Model.
Robert B. France
2009 J jnl
Workshop on modeling in software engineering at ICSE 2009.
ACM SIGSOFT Softw. Eng. Notes
Robert Baillargeon, Robert B. France, Steffen Zschaler, Bernhard Rumpe, Steven Völkel, Geri Georg
2008 — conf
A reference process for model composition.
AOM@AOSD
Cédric Jeanneret, Robert B. France, Benoit Baudry
2008 — conf
Aspect Oriented Modeling of Component Architectures Using AADL.
NTMS
Lydia Michotte, Thomas Vergnaud, Peter H. Feiler, Robert B. France
2008 J jnl
Correct development of real time and embedded systems.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2008 J jnl
Fair treatment of evaluations in reviews.
Softw. Syst. Model.
Robert B. France
2008 C ed.
International Workshop on Modeling in Software Engineering, MiSE 2008, Leipzig, Germany, May 10-11, 2008
MiSE
Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steven Völkel, Steffen Zschaler
2008 J jnl
Model-based development.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2008 — conf
Modeling in software engineering.
ICSE Companion
Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steven Völkel, Steffen Zschaler
2008 A conf
Scenario-Based Static Analysis of UML Class Models.
MoDELS
Lijun Yu, Robert B. France, Indrakshi Ray
2008 — conf
Third International Workshop on [email protected].
MoDELS (Workshops)
Nelly Bencomo, Gordon S. Blair, Robert B. France, Freddy Muñoz, Cédric Jeanneret
2007 — conf
A Generic Approach for Automatic Model Composition.
MoDELS (Workshops)
Franck Fleurey, Benoit Baudry, Robert B. France, Sudipto Ghosh
2007 B conf
A light-weight static approach to analyzing UML behavioral properties.
ICECCS
Lijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano
2007 J jnl
A method engineering approach to developing aspect-oriented modelling processes based on the OPEN process framework.
Inf. Softw. Technol.
Brian Henderson-Sellers, Robert B. France, Geri Georg, Raghu Reddy
2007 C conf
Construction and Execution of Adaptable Applications Using an Aspect-Oriented and Model Driven Approach.
DAIS
Sten A. Lundesgaard, Arnor Solberg, Jon Oldevik, Robert B. France, Jan Øyvind Aagedal, Frank Eliassen
2007 J jnl
Does model driven engineering tame complexity?
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2007 J jnl
Feedback on our editorials.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2007 — conf
Model-Driven Software Adaptation.
ECOOP Workshops
Nelly Bencomo, Gordon S. Blair, Robert B. France
2007 — conf
Model-driven Development of Complex Software: A Research Roadmap.
FOSE
Robert B. France, Bernhard Rumpe
2007 B conf
Modeling and Integrating Aspects into Component Architectures.
EDOC
Lydia Michotte, Robert B. France, Franck Fleurey
2007 — conf
Modeling in Software Engineering.
ICSE Companion
Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steffen Zschaler
2007 — conf
On the Contributions of an End-to-End AOSD Testbed.
EA@ICSE
Phil Greenwood, Alessandro F. Garcia, Awais Rashid, Eduardo Figueiredo, Cláudio Sant'Anna, Nélio Cacho, Américo Sampaio, Sérgio Soares, Paulo Borba, Marcos Dósea, Ricardo Argenton Ramos, Uirá Kulesza, Thiago T. Bartolomei, Mónica Pinto, Lidia Fuentes, Nadia Gámez, Ana Moreira, João Araújo, Thaís Batista, Ana Luisa Medeiros, Francisco Dantas, Lyrene Fernandes da Silva, Jan Wloka, Christina Chavez, Robert B. France, Isabel Sofia Brito
2007 — conf
Performance analysis of security aspects in UML models.
WOSP
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
2007 B conf
Providing Support for Model Composition in Metamodels.
EDOC
Robert B. France, Franck Fleurey, Raghu Reddy, Benoit Baudry, Sudipto Ghosh
2007 — conf
Realizing the Model Driven Engineering Vision.
LMO
Robert B. France
2007 — conf
Second International Workshop on [email protected].
MoDELS (Workshops)
Nelly Bencomo, Robert B. France, Gordon S. Blair
2007 J jnl
Six years of modeling in SoSyM.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2007 J jnl
Testing UML designs.
Inf. Softw. Technol.
Orest Pilskalns, Anneliese Amschler Andrews, Andrew Knight, Sudipto Ghosh, Robert B. France
2006 A conf
A Systematic Approach to Generate Inputs to Test UML Design Models.
ISSRE
Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. France
2006 — conf
Critical Systems Development Using Modeling Languages - CSDUML 2006 Workshop Report.
MoDELS (Workshops)
Geri Georg, Siv Hilde Houmb, Robert B. France, Steffen Zschaler, Dorina C. Petriu, Jan Jürjens
2006 J jnl
Developing Distributed Services Using an Aspect Oriented Model Driven Framework.
Int. J. Cooperative Inf. Syst.
Arnor Solberg, Devon M. Simmonds, Raghu Reddy, Robert B. France, Sudipto Ghosh, Jan Øyvind Aagedal
2006 J jnl
Directives for Composing Aspect-Oriented Design Class Models.
LNCS Trans. Aspect Oriented Softw. Dev.
Y. Raghu Reddy, Sudipto Ghosh, Robert B. France, Greg Straw, James M. Bieman, Nathan McEachen, Eunjee Song, Geri Georg
2006 J jnl
Editorial for the SoSyM issue 2006/02.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2006 J jnl
Five years of modeling in SoSyM.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2006 J jnl
Model-Driven Development Using UML 2.0: Promises and Pitfalls.
Computer
Robert B. France, Sudipto Ghosh, Trung T. Dinh-Trong, Arnor Solberg
2006 J jnl
Modeling the Complex Living World.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2006 — conf
Repository for Model Driven Development (ReMoDD).
MoDELS (Workshops)
Robert B. France, James M. Bieman, Betty H. C. Cheng
2006 — conf
Summary of the Workshop [email protected] at MoDELS 2006.
MoDELS (Workshops)
Nelly Bencomo, Gordon S. Blair, Robert B. France
2005 J jnl
A Framework for Design Tradeoffs.
Softw. Qual. J.
Anneliese Amschler Andrews, Ed Mancebo, Per Runeson, Robert B. France
2005 — conf
A Model-based approach to Managing Enterprise Information Systems.
WSMDEIS
Robert B. France, Roger Burkhart, Charmaine DeLisser
2005 B conf
A Tool-Supported Approach to Testing UML Design Models.
ICECCS
Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh, Robert B. France, Anneliese Amschler Andrews
2005 J jnl
A middleware-transparent approach to developing distributed applications.
Softw. Pract. Exp.
Sudipto Ghosh, Robert B. France, Devon M. Simmonds, Abhijit Bare, Brahmila Kamalakar, Roopashree P. Shankar, Gagan Tandon, Peter Vile, Shuxin Yin
2005 B conf
An Aspect Oriented Model Driven Framework.
EDOC
Devon M. Simmonds, Raghu Reddy, Robert B. France, Sudipto Ghosh, Arnor Solberg
2005 J jnl
Assumptions Underlying Agile Software-Development Processes.
J. Database Manag.
Daniel E. Turk, Robert B. France, Bernhard Rumpe
2005 B conf
Cost-Benefit Trade-Off Analysis Using BBN for Aspect-Oriented Risk-Driven Development.
ICECCS
Siv Hilde Houmb, Geri Georg, Robert B. France, James M. Bieman, Jan Jürjens
2005 J jnl
Domain specific modeling.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2005 J jnl
Model aesthetics.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2005 J jnl
Modeling Paradigms.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2005 — conf
UMLAnT: an Eclipse plugin for animating and testing UML designs.
eTX
Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. France, Michael Hamilton, Brent Wilkins
2005 — conf
Using Aspect Oriented Techniques to Support Separation of Concerns in Model Driven Development.
COMPSAC (1)
Arnor Solberg, Devon M. Simmonds, Raghu Reddy, Sudipto Ghosh, Robert B. France
2005 C conf
Verifiable composition of access control and application features.
SACMAT
Eunjee Song, Raghu Reddy, Robert B. France, Indrakshi Ray, Geri Georg, Roger T. Alexander
2004 J jnl
A UML-Based Pattern Specification Technique.
IEEE Trans. Software Eng.
Robert B. France, Dae-Kyoo Kim, Sudipto Ghosh, Eunjee Song
2004 J jnl
A UML-based language for specifying domain-specific patterns.
J. Vis. Lang. Comput.
Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh
2004 J jnl
A software engineering research repository.
ACM SIGSOFT Softw. Eng. Notes
Roger T. Alexander, James M. Bieman, Robert B. France
2004 J jnl
An aspect-based approach to modeling access control concerns.
Inf. Softw. Technol.
Indrakshi Ray, Robert B. France, Na Li, Geri Georg
2004 J jnl
Aspect-oriented approach to early design modelling.
IEE Proc. Softw.
Robert B. France, Indrakshi Ray, Geri Georg, Sudipto Ghosh
2004 J jnl
Assessing model quality.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2004 — conf
Critical Systems Development Using Modeling Languages (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop).
UML Satellite Activities
Jan Jürjens, Eduardo B. Fernández, Robert B. France, Bernhard Rumpe, Constance L. Heitmeyer
2004 — conf
EPTUD: An Eclipse Plugin for Testing UML Designs.
UML Satellite Activities
Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh, Robert B. France, Anneliese Amschler Andrews
2004 J jnl
In search of effective design abstractions.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2004 — conf
Model Composition Directives.
UML
Greg Straw, Geri Georg, Eunjee Song, Sudipto Ghosh, Robert B. France, James M. Bieman
2004 B conf
Modeling Role-Based Access Control Using Parameterized UML Models.
FASE
Dae-Kyoo Kim, Indrakshi Ray, Robert B. France, Na Li
2004 — conf
Requirements Trade-offs During UML Design.
ECBS
Anneliese Amschler Andrews, Per Runeson, Robert B. France
2004 J jnl
SoSyM at three.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2004 — conf
Specifying Cross-Cutting Requirement Concerns.
UML
Geri Georg, Raghu Reddy, Robert B. France
2004 B conf
Supporting Rigorous Evolution of UML Models.
ICECCS
Sheena R. Judson, Robert B. France, Doris L. Carver
2004 C conf
Using uml to visualize role-based access control constraints.
SACMAT
Indrakshi Ray, Na Li, Robert B. France, Dae-Kyoo Kim
2003 J jnl
A Metamodeling Approach to Pattern-Based Model Refactoring.
IEEE Softw.
Robert B. France, Sudipto Ghosh, Eunjee Song, Dae-Kyoo Kim
2003 B conf
A Role-Based Metamodeling Approach to Specifying Design Patterns.
COMPSAC
Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eunjee Song
2003 — conf
A metamodeling approach to model transformation.
OOPSLA Companion
Sheena R. Judson, Doris L. Carver, Robert B. France
2003 J jnl
Editorial - Model engineering.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2003 J jnl
Editorial.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2003 J jnl
Editorial.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2003 — conf
Rigorous Testing by Merging Structural and Behavioral UML Representations.
UML
Orest Pilskalns, Anneliese Amschler Andrews, Sudipto Ghosh, Robert B. France
2003 J jnl
Supporting Effective Software Modeling.
Obj. Logiciel Base données Réseaux
Robert B. France, Sudipto Ghosh, Daniel E. Turk
2003 A conf
Test Adequacy Assessment for UML Design Model Testing.
ISSRE
Sudipto Ghosh, Robert B. France, Conrad Braganza, Nilesh Kawane, Anneliese Amschler Andrews, Orest Pilskalns
2003 J jnl
Test adequacy criteria for UML design models.
Softw. Test. Verification Reliab.
Anneliese Amschler Andrews, Robert B. France, Sudipto Ghosh, Gerald Craig
2003 — conf
Using Parameterized UML to Specify and Compose Access Control Models.
IICIS
Indrakshi Ray, Na Li, Dae-Kyoo Kim, Robert B. France
2002 — conf
Designing High Integrity Systems Using Aspects.
IICIS
Geri Georg, Robert B. France, Indrakshi Ray
2002 J jnl
First Issue of the International Journal on Software and Systems Modeling.
Softw. Syst. Model.
Robert B. France, Bernhard Rumpe
2002 — conf
Integration and Transformation of UML Models.
ECOOP Workshops
João Araújo, Jonathan Whittle, José Ambrosio Toval Álvarez, Robert B. France
2002 — conf
Model-Driven Approaches to Software Development.
OOIS Workshops
Daniel E. Turk, Robert B. France, Bernhard Rumpe, Geri Georg
2002 — conf
Object-Oriented Theories for Model Driven Architecture.
OOIS Workshops
Tony Clark, Andy Evans, Robert B. France
2002 — conf
Tool Support for Aspect-Oriented Design.
OOIS Workshops
François Mekerke, Geri Georg, Robert B. France
2002 — conf
UML Aspect Specification Using Role Models.
OOIS
Geri Georg, Robert B. France
2002 B conf
Using Aspects to Design a Secure System.
ICECCS
Geri Georg, Indrakshi Ray, Robert B. France
2002 B conf
Using Role-Based Modeling Language (RBML) to Characterize Model Families.
ICECCS
Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eunjee Song
2001 — conf
Extending the UML to Support Evolution Management.
ICSM
Robert B. France, James M. Bieman, Ray Trask
2001 — conf
Improving the UML Metamodel to Rigorously Specify Aggregation and Composition.
OOIS
Jean-Michel Bruel, Brian Henderson-Sellers, Franck Barbier, Annig Le Parc, Robert B. France
2001 — conf
Multi-View Software Evolution: A UML-based Framework for Evolving Object-Oriented Software.
ICSM
Robert B. France, James M. Bieman
2001 — ed.
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
pUML
Andy Evans, Robert B. France, Ana M. D. Moreira, Bernhard Rumpe
2001 — conf
RIGR - A Repository Model Based Approach to Management.
pUML
Ray Trask, Robert B. France
2001 — conf
Towards a Model-Driven Approach to Reuse.
OOIS
Robert B. France, Sudipto Ghosh, Daniel E. Turk
2001 A* conf
UML for Software Engineers.
ICSE
Robert B. France, Cris Kobryn
2001 — conf
Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study.
pUML
Geri Georg, Jores Bieman, Robert B. France
2000 J jnl
A Semantic Comparison of Fusion and Syntropy.
Comput. J.
Kevin Lano, Robert B. France, Jean-Michel Bruel
2000 — conf
Defining Precise Semantics for UML.
ECOOP Workshops
Jean-Michel Bruel, Johan Lilius, Ana M. D. Moreira, Robert B. France
2000 J jnl
Generating test-cases from an object-oriented model with an artifical-intelligence planning system.
IEEE Trans. Reliab.
Anneliese von Mayrhauser, Robert B. France, Michael Scheetz, Eric Dahlman
2000 — conf
UML2Z: An UML-Based Object-Oriented Modeling Tool for an Internet Integrated Formalization Process.
OOIS
Emanuel S. Grant, Robert B. France, Ramchander Varadarajan, Adam Carheden, Jean-Michel Bruel
1999 A conf
A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts.
OOPSLA
Robert B. France
1999 — conf
Aggregation.
ECOOP Workshops
Andy Evans, Robert B. France, Guy Genilloud, Brian Henderson-Sellers, Perdita Stevens
1999 A conf
Generating test cases from an OO model with an AI planning system.
ISSRE
Anneliese von Mayrhauser, Robert B. France
1999 — conf
Is a Precise Semantics Desirable? For What Purpose?
ECOOP Workshops
Stuart Kent, Bernhard Rumpe, Andy Evans, Robert B. France
1999 — ch.
Meta-Modelling Semantics of UML.
Behavioral Specifications of Businesses and Systems
Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe
1999 A conf
Reasoning about VHDL and VHDL-AMS using Denotational Semantics.
DATE
Peter T. Breuer, Natividad Martínez Madrid, Jonathan P. Bowen, Robert B. France, Maria M. Larrondo-Petrie, Carlos Delgado Kloos
1999 — conf
What Does the Term
ECOOP Workshops
Bernhard Rumpe, Stuart Kent, Andy Evans, Robert B. France
1999 — ed.
«UML»'99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings
UML
Robert B. France, Bernhard Rumpe
1998 — conf
Extending Aggregation Constructs in UML.
UML
Minika Saksena, Maria M. Larrondo-Petrie, Robert B. France, Matthew P. Evett
1998 — conf
The UML as a Formal Modeling Notation.
UML
Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe
1998 J jnl
The UML as a formal modeling notation.
Comput. Stand. Interfaces
Robert B. France, Andy Evans, Kevin Lano, Bernhard Rumpe
1997 J jnl
An Integrated Object-Oriented and Formal Modeling Environment.
J. Object Oriented Program.
Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie
1997 — conf
From Domain Models to Architecture Frameworks.
SSR
Jacques Meekel, Thomas B. Horton, Robert B. France, Charlie Mellone, Sajid Dalvi
1997 — conf
Integrated Informal Object-Oriented and Formal Modeling Techniques.
ECOOP Workshops
Robert B. France, Jean-Michel Bruel
1997 — conf
Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations.
AMAST
Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emanuel S. Grant
1997 A* conf
Towards Semantic-Based Object-Oriented CASE Tools.
ASE
Robert B. France, Matthew P. Evett, Emanuel S. Grant
1997 C conf
Towards a Rigorous Object-Oriented Analysis and Design Method.
ICFEM
Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emanuel S. Grant, Minika Saksena
1997 B conf
Towards a formalization of UML class structures in Z.
COMPSAC
Malcolm Shroff, Robert B. France
1996 B conf
A Z-based Approach to Specifying and Analyzing Complex Systems.
ICECCS
Jean-Michel Bruel, Robert B. France, Abdelmalek Benzekri
1996 A conf
Guidelines for Formalizing Fusion Object-Oriented Analysis Methods .
CAiSE
B. W. Bates, Jean-Michel Bruel, Robert B. France, Maria M. Larrondo-Petrie
1995 B conf
A Formal Specification of an Authorization Model for Object-Oriented Databases.
DBSec
Eduardo B. Fernández, Robert B. France, D. Wei
1995 — conf
A Two-Dimensional View of Integrated Formal and Informal Specification Techniques.
ZUM
Robert B. France, Maria M. Larrondo-Petrie
1995 — conf
Applying Domain Analysis and Modeling: An Industrial Experience.
SSR
Robert B. France, Thomas B. Horton
1995 B conf
Formal specification of real-time dependable systems.
ICECCS
Eduardo B. Fernández, Robert B. France
1995 — conf
Understanding the Role of Formal Specification Techniques in Requirements Engineering.
CSEE
Robert B. France, Maria M. Larrondo-Petrie
1994 — conf
From Structured Analysis to Formal Specifications: State of the Theory.
ACM Conference on Computer Science
Robert B. France, Maria M. Larrondo-Petrie
1993 J jnl
A predicative basis for structured analysis specification tools.
Inf. Softw. Technol.
Robert B. France
1993 C conf
Towards CASE Tool Support for Rigorous Structured Analysis.
ICCI
Robert B. France, Thomas W. G. Docker
1992 J jnl
Integrated Structured Analysis and Formal Specification Techniques.
Comput. J.
Lesley Semmens, Robert B. France, Thomas W. G. Docker
1992 J jnl
Semantically Extended Data Flow Diagrams: A Formal Specification Tool.
IEEE Trans. Software Eng.
Robert B. France
1989 — conf
Flexibility and Rigour in Structured Analysis.
IFIP Congress
Thomas W. G. Docker, Robert B. France
1989 — conf
Formal Specification Using Structured Systems Analysis.
ESEC
Robert B. France, Thomas W. G. Docker