default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRobert B. France
Person information
- affiliation: Colorado State University, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2016
[j80]Hector Miguel Chavez, Wuwei Shen, Robert B. France, Benjamin A. Mechling, Guangyuan Li:
An Approach to Checking Consistency between UML Class Model and Its Java Implementation. IEEE Trans. Software Eng. 42(4): 322-344 (2016)- [c145]Curtis C. R. Busby Earle, Robert B. France:
Discovering Potential Interaction Violations among Requirements. CAiSE Workshops 2016: 243-253 - [c144]Mohammed Al-Refai, Walter Cazzola
, Sudipto Ghosh, Robert B. France:
Using Models to Validate Unanticipated, Fine-Grained Adaptations at Runtime. HASE 2016: 23-30 - 2015
- [j79]Geri Georg, Gunter Mussbacher, Daniel Amyot, Dorina C. Petriu, Lucy J. Troup, Saul Lozano-Fuentes, Robert B. France:
Synergy between Activity Theory and goal/scenario modeling for requirements elicitation, analysis, and evolution. Inf. Softw. Technol. 59: 109-135 (2015) - [j78]Wuliang Sun, Benoît Combemale, Robert B. France, Arnaud Blouin, Benoit Baudry, Indrakshi Ray:
Using Slicing to Improve the Performance of Model Invariant Checking. J. Object Technol. 14(4): 1:1-28 (2015) - [j77]Sebastian Götz, Nelly Bencomo, Robert B. France:
Devising the Future of the [email protected] Workshop. ACM SIGSOFT Softw. Eng. Notes 40(1): 26-29 (2015) - [j76]Robert B. France, Geri Georg, Bernhard Rumpe, Martin Schindler:
The 2014 "State of the Journal" report. Softw. Syst. Model. 14(1): 1-2 (2015) - [j75]Robert B. France, Bernhard Rumpe:
Special section of SoSyM dedicated to 50 years of Petri nets. Softw. Syst. Model. 14(2): 667-668 (2015) - [c143]Wuliang Sun, Benoît Combemale, Robert B. France:
Towards the use of slicing techniques for an efficient invariant checking. MODULARITY (Companion) 2015: 23-24 - [c142]Phillipa Bennett, Indrakshi Ray, Robert B. France:
Analysis of a Relationship Based Access Control Model. C3S2E 2015: 1-8 - [c141]Phillipa Bennett, Indrakshi Ray, Robert B. France:
Modeling of Online Social Network Policies Using an Attribute-Based Access Control Framework. ICISS 2015: 79-97 - [e19]Robert B. France, Sudipto Ghosh, Gary T. Leavens:
Proceedings of the 14th International Conference on Modularity, MODULARITY 2015, Fort Collins, CO, USA, March 16 - 19, 2015. ACM 2015, ISBN 978-1-4503-3249-1 [contents] - [e18]Robert B. France, Sudipto Ghosh, Gary T. Leavens:
Companion Proceedings of the 14th International Conference on Modularity, MODULARITY 2015, Fort Collins, CO, USA, March 16 - 19, 2015. ACM 2015, ISBN 978-1-4503-3283-5 [contents] - [e17]Betty H. C. Cheng, Benoît Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe:
Globalizing Domain-Specific Languages - International Dagstuhl Seminar Dagstuhl Castle, Germany, October 5-10, 2014 Revised Papers. Lecture Notes in Computer Science 9400, Springer 2015, ISBN 978-3-319-26171-3 [contents] - 2014
- [j74]Benoît Combemale, Julien DeAntoni, Benoit Baudry, Robert B. France, Jean-Marc Jézéquel, Jeff Gray:
Globalizing Modeling Languages. Computer 47(6): 68-71 (2014) - [j73]Robert B. France, Geri Georg, Bernhard Rumpe, Martin Schindler:
The 2013 "State of the Journal" report. Softw. Syst. Model. 13(1): 1-3 (2014) - [j72]Robert B. France, Bernhard Rumpe:
Modeling big smart data. Softw. Syst. Model. 13(2): 457-458 (2014) - [j71]Robert B. France, Bernhard Rumpe:
Editorial for the SoSyM issue 2014/04. Softw. Syst. Model. 13(4): 1223 (2014) - [c140]Betty H. C. Cheng, Benoît Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe:
On the Globalization of Domain-Specific Languages. Globalizing Domain-Specific Languages 2014: 1-6 - [c139]Julien Deantoni, Cédric Brun, Benoît Caillaud, Robert B. France, Gabor Karsai, Oscar Nierstrasz, Eugene Syriani:
Domain Globalization: Using Languages to Support Technical and Social Coordination. Globalizing Domain-Specific Languages 2014: 70-87 - [c138]Tony Clark, Vinay Kulkarni, Balbir Barn, Robert B. France, Ulrich Frank, Dan Turk:
Towards the Model Driven Organization. HICSS 2014: 4817-4826 - [c137]Martin Gogolla, Lars Hamann, Frank Hilken, Mirco Kuhlmann, Robert B. France:
From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics. Modellierung 2014: 273-288 - [c136]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:
The Relevance of Model-Driven Engineering Thirty Years from Now. MoDELS 2014: 183-200 - [c135]Filip Krikava, Philippe Collet, Robert B. France:
SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations. MoDELS 2014: 569-585 - [c134]Mustafa Al-Lail, Wuliang Sun, Robert B. France:
Analyzing Behavioral Aspects of UML Design Class Models against Temporal Properties. QSIC 2014: 196-201 - [c133]Filip Krikava, Philippe Collet, Robert B. France:
ACTRESS: domain-specific modeling of self-adaptive software architectures. SAC 2014: 391-398 - [c132]Mohammed Al-Refai, Walter Cazzola, Robert B. France:
Using models to dynamically refactor runtime code. SAC 2014: 1108-1113 - [c131]Filip Krikava, Philippe Collet, Robert B. France:
Manipulating models using internal domain-specific languages. SAC 2014: 1612-1614 - [c130]Aleksandar Jaksic, Robert B. France, Philippe Collet, Sudipto Ghosh:
Evaluating the Usability of a Visual Feature Modeling Notation. SLE 2014: 122-140 - [c129]Curtis C. R. Busby Earle, Robert B. France, Indrakshi Ray:
Analysing Requirements to Detect Latent Security Vulnerabilities. SERE (Companion) 2014: 168-175 - [e16]Nelly Bencomo, Robert B. France, Betty H. C. Cheng, Uwe Aßmann:
[email protected] - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27 - December 2, 2011]. Lecture Notes in Computer Science 8378, Springer 2014, ISBN 978-3-319-08914-0 [contents] - [e15]Joanne M. Atlee, Vinay Kulkarni, Tony Clark, Robert B. France, Bernhard Rumpe:
6th International Workshop on Modeling in Software Engineering, MiSE 2014, Hyderabad, India, June 2-3, 2014. ACM 2014, ISBN 978-1-4503-2849-4 [contents] - [e14]Benoît Combemale, Julien Deantoni, Robert B. France:
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. CEUR Workshop Proceedings 1236, CEUR-WS.org 2014 [contents] - [e13]Sebastian Götz, Nelly Bencomo, Robert B. France:
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. CEUR Workshop Proceedings 1270, CEUR-WS.org 2014 [contents] - [i12]Benoît Combemale, Julien De Antoni, Robert B. France, Frédéric Boulanger, Sébastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler:
Report on the First Workshop On the Globalization of Modeling Languages. CoRR abs/1408.5703 (2014) - [i11]Dan Turk, Robert B. France, Bernhard Rumpe:
Limitations of Agile Software Processes. CoRR abs/1409.6600 (2014) - [i10]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). CoRR abs/1409.6608 (2014) - [i9]Dan Turk, Robert B. France, Bernhard Rumpe:
Assumptions Underlying Agile Software Development Processes. CoRR abs/1409.6610 (2014) - [i8]Robert B. France, Bernhard Rumpe:
Model-Driven Development of Complex Software: A Research Roadmap. CoRR abs/1409.6620 (2014) - [i7]Andy Evans, Kevin Lano, Robert B. France, Bernhard Rumpe:
Meta-Modeling Semantics of UML. CoRR abs/1409.6917 (2014) - [i6]Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe:
The UML as a Formal Modeling Notation. CoRR abs/1409.6919 (2014) - [i5]Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe:
Developing the UML as a Formal Modelling Notation. CoRR abs/1409.6928 (2014) - [i4]Betty H. C. Cheng, Benoît Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe:
Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412). Dagstuhl Reports 4(10): 32-50 (2014) - 2013
- [j70]Radu Calinescu, Robert B. France, Carlo Ghezzi:
Editorial. Computing 95(3): 165-166 (2013) - [j69]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) - [j68]Ramadan Abdunabi, Mustafa Al-Lail, Indrakshi Ray, Robert B. France:
Specification, Validation, and Enforcement of a Generalized Spatio-Temporal Role-Based Access Control Model. IEEE Syst. J. 7(3): 501-515 (2013) - [j67]Robert B. France, Geri Georg, Bernhard Rumpe, Martin Schindler:
The 2012 "State of the Journal" Report. Softw. Syst. Model. 12(1): 1-3 (2013) - [j66]Robert B. France, Bernhard Rumpe:
The evolution of modeling research challenges. Softw. Syst. Model. 12(2): 223-225 (2013) - [j65]Robert B. France, Bernhard Rumpe:
Model-based lifecycle management of software-intensive systems, applications, and services. Softw. Syst. Model. 12(3): 439-440 (2013) - [j64]Tony Clark, Gabor Karsai, Roel J. Wieringa, Robert B. France, Bernhard Rumpe:
A newly introduced Industry Voice Column. Softw. Syst. Model. 12(3): 441-442 (2013) - [j63]Robert B. France, Bernhard Rumpe, Martin Schindler:
Why it is so hard to use models in software development: observations. Softw. Syst. Model. 12(4): 665-668 (2013) - [c128]Sean S. E. Thorpe, Indrajit Ray, Tyrone Grandison, Abbie Barbir, Robert B. France:
Hypervisor Event Logs as a Source of Consistent Virtual Machine Evidence for Forensic Cloud Investigations. DBSec 2013: 97-112 - [c127]Wuliang Sun, Benoît Combemale, Steven Derrien, Robert B. France:
Using Model Types to Support Contract-Aware Model Substitutability. ECMFA 2013: 118-133 - [c126]Benoît Combemale, Walter Cazzola, Robert B. France:
GlobalDSL 2013: First Workshop on the Globalization of Domain Specific Languages. GlobalDSL@ECOOP 2013: 1-3 - [c125]Mustafa Al-Lail, Ramadan Abdunabi, Robert B. France, Indrakshi Ray:
Rigorous Analysis of Temporal Access Control Properties in Mobile Systems. ICECCS 2013: 246-251 - [c124]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 2013: 1531-1532 - [c123]Mathieu Acher, Benoît Combemale, Philippe Collet, Olivier Barais, Philippe Lahire, Robert B. France:
Composing Your Compositions of Variability Models. MoDELS 2013: 352-369 - [c122]Nelly Bencomo, Robert B. France, Sebastian Götz, Bernhard Rumpe:
Summary of the 8th International Workshop on Models @ Run.time. [email protected] 2013 - [c121]Benoît Combemale, Julien DeAntoni, Robert B. France, Frédéric Boulanger, Sébastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler:
Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013). GEMOC+AMINO@MoDELS 2013: 3-13 - [c120]Balbir Barn, Tony Clark, Robert B. France, Ulrich Frank, Vinay Kulkarni, Dan Turk:
Introduction. GEMOC+AMINO@MoDELS 2013: 14-17 - [c119]Wuliang Sun, Robert B. France, Indrakshi Ray:
Analyzing Behavioral Refactoring of Class Models. ME@MoDELS 2013: 70-79 - [c118]Mustafa Al-Lail, Ramadan Abdunabi, Robert B. France, Indrakshi Ray:
An Approach to Analyzing Temporal Properties in UML Class Models. MoDeVVa@MoDELS 2013: 77-86 - [c117]Hector Miguel Chavez, Wuwei Shen, Robert B. France, Benjamin A. Mechling:
An Approach to Testing Java Implementation against Its UML Class Model. MoDELS 2013: 220-236 - [c116]Walter Cazzola, Nicole Alicia Rossini, Mohammed Al-Refai, Robert B. France:
Fine-Grained Software Evolution Using UML Activity and Class Models. MoDELS 2013: 271-286 - [c115]Wuliang Sun, Robert B. France, Indrakshi Ray:
Contract-Aware Slicing of UML Class Models. MoDELS 2013: 724-739 - [c114]Ramadan Abdunabi, Indrakshi Ray, Robert B. France:
Specification and analysis of access control policies for mobile applications. SACMAT 2013: 173-184 - [c113]Benoît Combemale, Julien De Antoni, Matias Vara Larsen, Frédéric Mallet, Olivier Barais, Benoit Baudry, Robert B. France:
Reifying Concurrency for Executable Metamodeling. SLE 2013: 365-384 - [e12]Benoît Combemale, Walter Cazzola, Robert B. France:
Proceedings of the First Workshop on the Globalization of Domain Specific Languages, GlobalDSL@ECOOP 2013, Montpellier, France, July 1, 2013. ACM 2013, ISBN 978-1-4503-2043-6 [contents] - [e11]Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray, Richard F. Paige, Bernhard Rumpe:
Proceedings of the 5th International Workshop on Modeling in Software Engineering, MiSE 2013, San Francisco, California, USA, May 18-19, 2013. IEEE Computer Society 2013, ISBN 978-1-4673-6447-8 [contents] - [e10]Ana Moreira, Geri Georg, Gunter Mussbacher, Jörg Kienzle, Robert B. France, Shaukat Ali:
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. CEUR Workshop Proceedings 1076, CEUR-WS.org 2013 [contents] - [e9]Nelly Bencomo, Robert B. France, Sebastian Götz, Bernhard Rumpe:
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. CEUR Workshop Proceedings 1079, CEUR-WS.org 2013 [contents] - [e8]Benoît Combemale, Julien De Antoni, Robert B. France, Balbir Barn, Tony Clark, Ulrich Frank, Vinay Kulkarni, Dan Turk:
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. CEUR Workshop Proceedings 1102, CEUR-WS.org 2013 [contents] - [i3]Tony Clark, Robert B. France, Martin Gogolla, Bran Selic:
Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182). Dagstuhl Reports 3(4): 188-226 (2013) - 2012
- [j62]Bernhard Rumpe, Robert B. France:
On the relationship between modeling and programming languages - Editorial for the SoSyM Issue 2012/01: Part 1. Softw. Syst. Model. 11(1): 1-2 (2012) - [j61]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. Softw. Syst. Model. 11(1): 3-5 (2012) - [j60]Robert B. France, Bernhard Rumpe:
Data warehouse concepts for model artifacts? Softw. Syst. Model. 11(2): 151-152 (2012) - [j59]Robert B. France, Bernhard Rumpe:
Modeling to improve quality or efficiency? An automotive domain perspective. Softw. Syst. Model. 11(3): 303-304 (2012) - [j58]Robert B. France, Bernhard Rumpe:
The journal on Software and Systems Modeling Matures. Softw. Syst. Model. 11(4): 463-465 (2012) - [j57]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. Exp. 42(3): 357-390 (2012) - [j56]Mathieu Acher, Philippe Collet, Alban Gaignard, Philippe Lahire, Johan Montagnat, Robert B. France:
Composing multiple variability artifacts to assemble coherent workflows. Softw. Qual. J. 20(3-4): 689-734 (2012) - [c112]Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France:
Separation of concerns in feature modeling: support and applications. AOSD 2012: 1-12 - [c111]Lijun Yu, Robert B. France, Indrakshi Ray, Wuliang Sun:
Systematic Scenario-Based Analysis of UML Design Class Models. ICECCS 2012: 86-95 - [c110]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 - [c109]Filip Krikava, Philippe Collet, Robert B. France:
Actor-based runtime model of adaptable feedback control loops. [email protected] 2012: 39-44 - [e7]Joanne M. Atlee, Robert Baillargeon, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steffen Zschaler:
Proceedings of the 4th International Workshop on Modeling in Software Engineering, MiSE 2012, Zurich, Switzerland, June 2-3, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-1757-3 [contents] - [e6]Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson:
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 [contents] - [i2]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) - 2011
- [j55]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) - [j54]Robert B. France:
Teaching Programming Students how to Model: Challenges & Opportunities. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 52 (2011) - [j53]Bernhard Rumpe, Robert B. France:
Linking models and their storage artifacts. Softw. Syst. Model. 10(3): 281-282 (2011) - [j52]Bernhard Rumpe, Robert B. France:
Variability in UML language and semantics. Softw. Syst. Model. 10(4): 439-440 (2011) - [c108]Yali Wu, Frank Hernandez, Peter J. Clarke, Robert B. France:
A DSML for Coordinating User-Centric Communication Services. COMPSAC 2011: 93-102 - [c107]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:
Mechanisms for Leveraging Models at Runtime in Self-adaptive Software. [email protected]@Dagstuhl 2011: 19-46 - [c106]Walter Cazzola, Nicole Alicia Rossini, Phillipa Bennett, Sai Pradeep Mandalaparty, Robert B. France:
Fine-Grained Semi-automated Runtime Evolution. [email protected]@Dagstuhl 2011: 237-258 - [c105]Robert B. France:
Supporting Community-Driven Evolution of Model-Driven Development Knowledge Using ReMoDD. ECBS 2011: 3 - [c104]Wuliang Sun, Robert B. France, Indrakshi Ray:
Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models. HASE 2011: 9-16 - [c103]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 - [c102]Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France:
Slicing feature models. ASE 2011: 424-427 - [c101]Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France:
Decomposing feature models: language, environment, and applications. ASE 2011: 600-603 - [c100]Nelly Bencomo, Gordon S. Blair, Robert B. France, Betty H. C. Cheng, Cédric Jeanneret:
Summary of the 6th International Workshop on [email protected]. MoDELS (Workshops) 2011: 149-151 - [c99]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:
Comparing Six Modeling Approaches. MoDELS (Workshops) 2011: 217-243 - [c98]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 - [c97]Antoine Floch, Tomofumi Yuki, Clément 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 - [c96]Wuliang Sun, Robert B. France, Indrakshi Ray:
Rigorous Analysis of UML Access Control Policy Models. POLICY 2011: 9-16 - [c95]Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France:
A domain-specific language for managing feature models. SAC 2011: 1333-1340 - [c94]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 - [e5]Robert B. France, Jochen Malte Küster, Behzad Bordbar, Richard F. Paige:
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 [contents] - [i1]Uwe Aßmann, Nelly Bencomo, Betty H. C. Cheng, Robert B. France:
[email protected] (Dagstuhl Seminar 11481). Dagstuhl Reports 1(11): 91-123 (2011) - 2010
- [j51]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) - [j50]Robert B. France, Bernhard Rumpe:
The 8th Annual State of SoSyM Report. Softw. Syst. Model. 9(1): 1-3 (2010) - [j49]Robert B. France, Bernhard Rumpe:
Modeling for the cloud. Softw. Syst. Model. 9(2): 139-140 (2010) - [j48]Sébastien Mosser, Mireille Blay-Fornarino, Robert B. France:
Workflow Design Using Fragment Composition - Crisis Management System Design through ADORE. LNCS Trans. Aspect Oriented Softw. Dev. 7: 200-233 (2010) - [c93]Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France:
Comparing Approaches to Implement Feature Model Composition. ECMFA 2010: 3-19 - [c92]Yali Wu, Frank Hernandez, Francisco R. Ortega, Peter J. Clarke, Robert B. France:
Measuring the effort for creating and using domain-specific models. DSM@SPLASH 2010: 14:1-14:6 - [c91]Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France:
Managing Variability in Workflow with Feature Model Composition Operators. SC@TOOLS 2010: 17-33
2000 – 2009
- 2009
- [j47]Gordon S. Blair, Nelly Bencomo, Robert B. France:
Models@ run.time. Computer 42(10): 22-27 (2009) - [j46]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. J. Syst. Softw. 82(1): 56-74 (2009) - [j45]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 Softw. Eng. Notes 34(4): 34-37 (2009) - [j44]Robert B. France, Bernhard Rumpe, Martin Schindler:
SoSyM at 7 years. Softw. Syst. Model. 8(1): 1-3 (2009) - [j43]Robert B. France:
Why Johnny can't model. Softw. Syst. Model. 8(2): 163-164 (2009) - [c90]Lijun Yu, Robert B. France, Indrakshi Ray, Sudipto Ghosh:
A Rigorous Approach to Uncovering Security Policy Violations in UML Designs. ICECCS 2009: 126-135 - [c89]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 - [c88]Robert B. France, Martin Gogolla:
Essentials of the 5th Educators' Symposium at MODELS 2009. MoDELS (Workshops) 2009: 36-39 - [c87]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 - [c86]Nelly Bencomo, Gordon S. Blair, Robert B. France, Freddy Muñoz, Cédric Jeanneret:
4th International Workshop on [email protected]. MoDELS (Workshops) 2009: 119-123 - [c85]Robert B. France, Martin Gogolla:
Educators' Symposium at MODELS 2009. MoDELS 2009: 753-754 - [c84]Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France:
Composing Feature Models. SLE 2009: 62-81 - [e4]Shmuel Katz, Harold Ossher, Robert B. France, Jean-Marc Jézéquel:
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 [contents] - 2008
- [j42]Robert B. France, Bernhard Rumpe:
Model-based development. Softw. Syst. Model. 7(1): 1-2 (2008) - [j41]Robert B. France, Bernhard Rumpe:
Correct development of real time and embedded systems. Softw. Syst. Model. 7(2): 125 (2008) - [j40]Robert B. France:
Fair treatment of evaluations in reviews. Softw. Syst. Model. 7(3): 253-254 (2008) - [c83]Cédric Jeanneret, Robert B. France, Benoit Baudry:
A reference process for model composition. AOM@AOSD 2008: 1-6 - [c82]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 - [c81]Nelly Bencomo, Gordon S. Blair, Robert B. France, Freddy Muñoz, Cédric Jeanneret:
Third International Workshop on [email protected]. MoDELS (Workshops) 2008: 90-96 - [c80]Lijun Yu, Robert B. France, Indrakshi Ray:
Scenario-Based Static Analysis of UML Class Models. MoDELS 2008: 234-248 - [c79]Lydia Michotte, Thomas Vergnaud, Peter H. Feiler, Robert B. France:
Aspect Oriented Modeling of Component Architectures Using AADL. NTMS 2008: 1-6 - [e3]Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steven Völkel, Steffen Zschaler:
International Workshop on Modeling in Software Engineering, MiSE 2008, Leipzig, Germany, May 10-11, 2008. ACM 2008, ISBN 978-1-60558-025-8 [contents] - 2007
- [j39]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. Inf. Softw. Technol. 49(7): 761-773 (2007) - [j38]Orest Pilskalns, Anneliese Amschler Andrews, Andrew Knight, Sudipto Ghosh, Robert B. France:
Testing UML designs. Inf. Softw. Technol. 49(8): 892-912 (2007) - [j37]Robert B. France, Bernhard Rumpe:
Does model driven engineering tame complexity? Softw. Syst. Model. 6(1): 1-2 (2007) - [j36]Robert B. France, Bernhard Rumpe:
Feedback on our editorials. Softw. Syst. Model. 6(3): 221 (2007) - [j35]Robert B. France, Bernhard Rumpe:
Six years of modeling in SoSyM. Softw. Syst. Model. 6(4): 349-352 (2007) - [c78]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 - [c77]Nelly Bencomo, Gordon S. Blair, Robert B. France:
Model-Driven Software Adaptation. ECOOP Workshops 2007: 132-141 - [c76]Lydia Michotte, Robert B. France, Franck Fleurey:
Modeling and Integrating Aspects into Component Architectures. EDOC 2007: 181-192 - [c75]Robert B. France, Franck Fleurey, Raghu Reddy, Benoit Baudry, Sudipto Ghosh:
Providing Support for Model Composition in Metamodels. EDOC 2007: 253-266 - [c74]Lijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano:
A light-weight static approach to analyzing UML behavioral properties. ICECCS 2007: 56-63 - [c73]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:
On the Contributions of an End-to-End AOSD Testbed. EA@ICSE 2007: 8 - [c72]Robert B. France, Bernhard Rumpe:
Model-driven Development of Complex Software: A Research Roadmap. FOSE 2007: 37-54 - [c71]Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steffen Zschaler:
Modeling in Software Engineering. ICSE Companion 2007: 113-114 - [c70]Robert B. France:
Realizing the Model Driven Engineering Vision. LMO 2007: 15 - [c69]Franck Fleurey, Benoit Baudry, Robert B. France, Sudipto Ghosh:
A Generic Approach for Automatic Model Composition. MoDELS (Workshops) 2007: 7-15 - [c68]Nelly Bencomo, Robert B. France, Gordon S. Blair:
Second International Workshop on [email protected]. MoDELS (Workshops) 2007: 206-211 - [c67]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 - 2006
- [j34]Robert B. France, Sudipto Ghosh, Trung T. Dinh-Trong, Arnor Solberg:
Model-Driven Development Using UML 2.0: Promises and Pitfalls. Computer 39(2): 59-66 (2006) - [j33]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) - [j32]Robert B. France, Bernhard Rumpe:
Modeling the Complex Living World. Softw. Syst. Model. 5(1): 1-2 (2006) - [j31]Robert B. France, Bernhard Rumpe:
Editorial for the SoSyM issue 2006/02. Softw. Syst. Model. 5(2): 1 (2006) - [j30]Robert B. France, Bernhard Rumpe:
Five years of modeling in SoSyM. Softw. Syst. Model. 5(4): 343-347 (2006) - [j29]Y. Raghu Reddy, Sudipto Ghosh, Robert B. France, Greg Straw, James M. Bieman, Nathan McEachen, Eunjee Song, Geri Georg:
Directives for Composing Aspect-Oriented Design Class Models. LNCS Trans. Aspect Oriented Softw. Dev. 1: 75-105 (2006) - [c66]Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. France:
A Systematic Approach to Generate Inputs to Test UML Design Models. ISSRE 2006: 95-104 - [c65]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 - [c64]Nelly Bencomo, Gordon S. Blair, Robert B. France:
Summary of the Workshop [email protected] at MoDELS 2006. MoDELS (Workshops) 2006: 227-231 - [c63]Robert B. France, James M. Bieman, Betty H. C. Cheng:
Repository for Model Driven Development (ReMoDD). MoDELS (Workshops) 2006: 311-317 - 2005
- [j28]Daniel E. Turk, Robert B. France, Bernhard Rumpe:
Assumptions Underlying Agile Software-Development Processes. J. Database Manag. 16(4): 62-87 (2005) - [j27]Robert B. France, Bernhard Rumpe:
Domain specific modeling. Softw. Syst. Model. 4(1): 1-3 (2005) - [j26]Robert B. France, Bernhard Rumpe:
Model aesthetics. Softw. Syst. Model. 4(2): 107-108 (2005) - [j25]Robert B. France, Bernhard Rumpe:
Modeling Paradigms. Softw. Syst. Model. 4(3): 233 (2005) - [j24]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. Exp. 35(12): 1131-1154 (2005) - [j23]Anneliese Amschler Andrews, Ed Mancebo, Per Runeson, Robert B. France:
A Framework for Design Tradeoffs. Softw. Qual. J. 13(4): 377-405 (2005) - [c62]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 - [c61]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 - [c60]Devon M. Simmonds, Raghu Reddy, Robert B. France, Sudipto Ghosh, Arnor Solberg:
An Aspect Oriented Model Driven Framework. EDOC 2005: 119-130 - [c59]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 - [c58]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 - [c57]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 - [c56]Robert B. France, Roger Burkhart, Charmaine DeLisser:
A Model-based approach to Managing Enterprise Information Systems. WSMDEIS 2005: 149-157 - 2004
- [j22]Robert B. France, Indrakshi Ray, Geri Georg, Sudipto Ghosh:
Aspect-oriented approach to early design modelling. IEE Proc. Softw. 151(4): 173-186 (2004) - [j21]Indrakshi Ray, Robert B. France, Na Li, Geri Georg:
An aspect-based approach to modeling access control concerns. Inf. Softw. Technol. 46(9): 575-587 (2004) - [j20]Roger T. Alexander, James M. Bieman, Robert B. France:
A software engineering research repository. ACM SIGSOFT Softw. Eng. Notes 29(5): 1-4 (2004) - [j19]Robert B. France, Bernhard Rumpe:
In search of effective design abstractions. Softw. Syst. Model. 3(1): 1-3 (2004) - [j18]Robert B. France, Bernhard Rumpe:
Assessing model quality. Softw. Syst. Model. 3(3): 179-180 (2004) - [j17]Robert B. France, Bernhard Rumpe:
SoSyM at three. Softw. Syst. Model. 3(4): 255-257 (2004) - [j16]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) - [j15]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) - [c55]Anneliese Amschler Andrews, Per Runeson, Robert B. France:
Requirements Trade-offs During UML Design. ECBS 2004: 282-292 - [c54]Dae-Kyoo Kim, Indrakshi Ray, Robert B. France, Na Li:
Modeling Role-Based Access Control Using Parameterized UML Models. FASE 2004: 180-193 - [c53]Sheena R. Judson, Robert B. France, Doris L. Carver:
Supporting Rigorous Evolution of UML Models. ICECCS 2004: 128-137 - [c52]Indrakshi Ray, Na Li, Robert B. France, Dae-Kyoo Kim:
Using uml to visualize role-based access control constraints. SACMAT 2004: 115-124 - [c51]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 - [c50]Greg Straw, Geri Georg, Eunjee Song, Sudipto Ghosh, Robert B. France, James M. Bieman:
Model Composition Directives. UML 2004: 84-97 - [c49]Geri Georg, Raghu Reddy, Robert B. France:
Specifying Cross-Cutting Requirement Concerns. UML 2004: 113-127 - [c48]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 - 2003
- [j14]Robert B. France, Sudipto Ghosh, Daniel E. Turk:
Supporting Effective Software Modeling. Obj. Logiciel Base données Réseaux 9(4): 11-29 (2003) - [j13]Robert B. France, Sudipto Ghosh, Eunjee Song, Dae-Kyoo Kim:
A Metamodeling Approach to Pattern-Based Model Refactoring. IEEE Softw. 20(5): 52-58 (2003) - [j12]Robert B. France, Bernhard Rumpe:
Editorial. Softw. Syst. Model. 2(1): 1-2 (2003) - [j11]Robert B. France, Bernhard Rumpe:
Editorial - Model engineering. Softw. Syst. Model. 2(2): 73-75 (2003) - [j10]Robert B. France, Bernhard Rumpe:
Editorial. Softw. Syst. Model. 2(4): 211-214 (2003) - [j9]Anneliese Amschler Andrews, Robert B. France, Sudipto Ghosh, Gerald Craig:
Test adequacy criteria for UML design models. Softw. Test. Verification Reliab. 13(2): 95-127 (2003) - [c47]Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eunjee Song:
A Role-Based Metamodeling Approach to Specifying Design Patterns. COMPSAC 2003: 452- - [c46]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 - [c45]Sheena R. Judson, Doris L. Carver, Robert B. France:
A metamodeling approach to model transformation. OOPSLA Companion 2003: 326-327 - [c44]Indrakshi Ray, Na Li, Dae-Kyoo Kim, Robert B. France:
Using Parameterized UML to Specify and Compose Access Control Models. IICIS 2003: 49-65 - [c43]Orest Pilskalns, Anneliese Amschler Andrews, Sudipto Ghosh, Robert B. France:
Rigorous Testing by Merging Structural and Behavioral UML Representations. UML 2003: 234-248 - 2002
- [j8]Robert B. France, Bernhard Rumpe:
First Issue of the International Journal on Software and Systems Modeling. Softw. Syst. Model. 1(1): 1-4 (2002) - [c42]João Araújo, Jonathan Whittle, José Ambrosio Toval Álvarez, Robert B. France:
Integration and Transformation of UML Models. ECOOP Workshops 2002: 184-191 - [c41]Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eunjee Song:
Using Role-Based Modeling Language (RBML) to Characterize Model Families. ICECCS 2002: 107-116 - [c40]Geri Georg, Indrakshi Ray, Robert B. France:
Using Aspects to Design a Secure System. ICECCS 2002: 117- - [c39]Geri Georg, Robert B. France:
UML Aspect Specification Using Role Models. OOIS 2002: 186-191 - [c38]Daniel E. Turk, Robert B. France, Bernhard Rumpe, Geri Georg:
Model-Driven Approaches to Software Development. OOIS Workshops 2002: 229-230 - [c37]Tony Clark, Andy Evans, Robert B. France:
Object-Oriented Theories for Model Driven Architecture. OOIS Workshops 2002: 235-244 - [c36]François Mekerke, Geri Georg, Robert B. France:
Tool Support for Aspect-Oriented Design. OOIS Workshops 2002: 280-289 - [c35]Geri Georg, Robert B. France, Indrakshi Ray:
Designing High Integrity Systems Using Aspects. IICIS 2002: 37-57 - 2001
- [c34]Robert B. France, Cris Kobryn:
UML for Software Engineers. ICSE 2001: 705-706 - [c33]Robert B. France, James M. Bieman, Ray Trask:
Extending the UML to Support Evolution Management. ICSM 2001: 106 - [c32]Robert B. France, James M. Bieman:
Multi-View Software Evolution: A UML-based Framework for Evolving Object-Oriented Software. ICSM 2001: 386- - [c31]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 - [c30]Robert B. France, Sudipto Ghosh, Daniel E. Turk:
Towards a Model-Driven Approach to Reuse. OOIS 2001: 181-190 - [c29]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 - [c28]Ray Trask, Robert B. France:
RIGR - A Repository Model Based Approach to Management. pUML 2001: 258-269 - [e2]Andy Evans, Robert B. France, Ana M. D. Moreira, Bernhard Rumpe:
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 P-7, GI 2001, ISBN 3-88579-335-0 [contents] - 2000
- [j7]Kevin Lano, Robert B. France, Jean-Michel Bruel:
A Semantic Comparison of Fusion and Syntropy. Comput. J. 43(6): 451-468 (2000) - [j6]Anneliese von Mayrhauser, Robert B. France, Michael Scheetz, Eric Dahlman:
Generating test-cases from an object-oriented model with an artifical-intelligence planning system. IEEE Trans. Reliab. 49(1): 26-36 (2000) - [c27]Jean-Michel Bruel, Johan Lilius, Ana M. D. Moreira, Robert B. France:
Defining Precise Semantics for UML. ECOOP Workshops 2000: 113-122 - [c26]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
1990 – 1999
- 1999
- [c25]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 - [c24]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 - [c23]Stuart Kent, Bernhard Rumpe, Andy Evans, Robert B. France:
Is a Precise Semantics Desirable? For What Purpose? ECOOP Workshops 1999: 37-40 - [c22]Andy Evans, Robert B. France, Guy Genilloud, Brian Henderson-Sellers, Perdita Stevens:
Aggregation. ECOOP Workshops 1999: 55-56 - [c21]Anneliese von Mayrhauser, Robert B. France:
Generating test cases from an OO model with an AI planning system. ISSRE 1999: 250-259 - [c20]Robert B. France:
A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts. OOPSLA 1999: 57-69 - [p1]Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe:
Meta-Modelling Semantics of UML. Behavioral Specifications of Businesses and Systems 1999: 45-60 - [e1]Robert B. France, Bernhard Rumpe:
«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 [contents] - 1998
- [j5]Robert B. France, Andy Evans, Kevin Lano, Bernhard Rumpe:
The UML as a formal modeling notation. Comput. Stand. Interfaces 19(7): 325-334 (1998) - [c19]Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe:
The UML as a Formal Modeling Notation. UML 1998: 336-348 - [c18]Minika Saksena, Maria M. Larrondo-Petrie, Robert B. France, Matthew P. Evett:
Extending Aggregation Constructs in UML. UML 1998: 435-441 - 1997
- [j4]Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie:
An Integrated Object-Oriented and Formal Modeling Environment. J. Object Oriented Program. 10(7): 25-34, 50 (1997) - [c17]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 - [c16]Malcolm Shroff, Robert B. France:
Towards a formalization of UML class structures in Z. COMPSAC 1997: 646-651 - [c15]Robert B. France, Jean-Michel Bruel:
Integrated Informal Object-Oriented and Formal Modeling Techniques. ECOOP Workshops 1997: 178-181 - [c14]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 - [c13]Robert B. France, Matthew P. Evett, Emanuel S. Grant:
Towards Semantic-Based Object-Oriented CASE Tools. ASE 1997: 295-296 - [c12]Jacques Meekel, Thomas B. Horton, Robert B. France, Charlie Mellone, Sajid Dalvi:
From Domain Models to Architecture Frameworks. SSR 1997: 75-80 - 1996
- [c11]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 - [c10]Jean-Michel Bruel, Robert B. France, Abdelmalek Benzekri:
A Z-based Approach to Specifying and Analyzing Complex Systems. ICECCS 1996: 336-343 - 1995
- [c9]Robert B. France, Maria M. Larrondo-Petrie:
Understanding the Role of Formal Specification Techniques in Requirements Engineering. CSEE 1995: 207-221 - [c8]Eduardo B. Fernández, Robert B. France, D. Wei:
A Formal Specification of an Authorization Model for Object-Oriented Databases. DBSec 1995: 95-110 - [c7]Eduardo B. Fernández, Robert B. France:
Formal specification of real-time dependable systems. ICECCS 1995: 342-348 - [c6]Robert B. France, Thomas B. Horton:
Applying Domain Analysis and Modeling: An Industrial Experience. SSR 1995: 206-214 - [c5]Robert B. France, Maria M. Larrondo-Petrie:
A Two-Dimensional View of Integrated Formal and Informal Specification Techniques. ZUM 1995: 434-448 - 1994
- [c4]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 - 1993
- [j3]Robert B. France:
A predicative basis for structured analysis specification tools. Inf. Softw. Technol. 35(2): 67-77 (1993) - [c3]Robert B. France, Thomas W. G. Docker:
Towards CASE Tool Support for Rigorous Structured Analysis. ICCI 1993: 474-478 - 1992
- [j2]Lesley Semmens, Robert B. France, Thomas W. G. Docker:
Integrated Structured Analysis and Formal Specification Techniques. Comput. J. 35(6): 600-610 (1992) - [j1]Robert B. France:
Semantically Extended Data Flow Diagrams: A Formal Specification Tool. IEEE Trans. Software Eng. 18(4): 329-346 (1992)
1980 – 1989
- 1989
- [c2]Robert B. France, Thomas W. G. Docker:
Formal Specification Using Structured Systems Analysis. ESEC 1989: 293-310 - [c1]Thomas W. G. Docker, Robert B. France:
Flexibility and Rigour in Structured Analysis. IFIP Congress 1989: 89-94
Coauthor Index
Anneliese Amschler Andrews
aka: Anneliese von Mayrhauser
aka: Anneliese von Mayrhauser
María M. Larrondo-Petrie
aka: Maria M. Larrondo-Petrie
aka: Maria M. Larrondo-Petrie
[j76] [j75] [e17] [j73] [j72] [j71] [c140] [e15] [i12] [i11] [i10] [i9] [i8] [i7] [i6] [i5] [i4] [j67] [j66] [j65] [j64] [j63] [c124] [c122] [c121] [e11] [e9] [j62] [j61] [j60] [j59] [j58] [e7] [j53] [j52] [j50] [j49] [j45] [j44] [c89] [j42] [j41] [c82] [e3] [j37] [j36] [j35] [c72] [c71] [j32] [j31] [j30] [j28] [j27] [j26] [j25] [j19] [j18] [j17] [c51] [j12] [j11] [j10] [j8] [c38] [e2] [c24] [c23] [p1] [e1] [j5] [c19]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 20:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
