default search action
Robert 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
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
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 Models@run.time Workshop. ACM SIGSOFT Softw. Eng. Notes 40(1): 26-29 (2015) - [j76]Robert B. France, Geri Georg, Bernhard Rumpe
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
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
Globalizing Modeling Languages. Computer 47(6): 68-71 (2014) - [j73]Robert B. France, Geri Georg, Bernhard Rumpe
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
On the Globalization of Domain-Specific Languages. Globalizing Domain-Specific Languages 2014: 1-6 - [c139]Julien Deantoni
Domain Globalization: Using Languages to Support Technical and Social Coordination. Globalizing Domain-Specific Languages 2014: 70-87 - [c138]Tony Clark
Towards the Model Driven Organization. HICSS 2014: 4817-4826 - [c137]Martin Gogolla, Lars Hamann
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
The Relevance of Model-Driven Engineering Thirty Years from Now. MoDELS 2014: 183-200 - [c135]Filip Krikava
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
ACTRESS: domain-specific modeling of self-adaptive software architectures. SAC 2014: 391-398 - [c132]Mohammed Al-Refai, Walter Cazzola
Using models to dynamically refactor runtime code. SAC 2014: 1108-1113 - [c131]Filip Krikava
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:
Models@run.time - 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 Models@run.time 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
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
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
A newly introduced Industry Voice Column. Softw. Syst. Model. 12(3): 441-442 (2013) - [j63]Robert B. France, Bernhard Rumpe
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
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
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
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. Models@run.time 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
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
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
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
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
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
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
Repository for Model Driven Development (ReMoDD). ICSE 2012: 1471-1472 - [c109]Filip Krikava
Actor-based runtime model of adaptable feedback control loops. Models@run.time 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
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
Linking models and their storage artifacts. Softw. Syst. Model. 10(3): 281-282 (2011) - [j52]Bernhard Rumpe
Variability in UML language and semantics. Softw. Syst. Model. 10(4): 439-440 (2011) - [c108]Yali Wu, Frank Hernandez, Peter J. Clarke
A DSML for Coordinating User-Centric Communication Services. COMPSAC 2011: 93-102 - [c107]Amel Bennaceur
Mechanisms for Leveraging Models at Runtime in Self-adaptive Software. Models@run.time@Dagstuhl 2011: 19-46 - [c106]Walter Cazzola
Fine-Grained Semi-automated Runtime Evolution. Models@run.time@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
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
Summary of the 6th International Workshop on Models@run.time. MoDELS (Workshops) 2011: 149-151 - [c99]Gunter Mussbacher, Wisam Al Abed, Omar Alam, Shaukat Ali
Comparing Six Modeling Approaches. MoDELS (Workshops) 2011: 217-243 - [c98]Mickael Clavreul, Sébastien Mosser
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:
Models@run.time (Dagstuhl Seminar 11481). Dagstuhl Reports 1(11): 91-123 (2011) - 2010
- [j51]Benoit Baudry, Sudipto Ghosh, Franck Fleurey, Robert B. France, Yves Le Traon
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
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
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
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
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
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 Models@run.time. 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
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 Models@run.time. 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
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
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 Models@run.time. 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
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
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 Models@run.time 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
A Framework for Design Tradeoffs. Softw. Qual. J. 13(4): 377-405 (2005) - [c62]Arnor Solberg, Devon M. Simmonds, Raghu Reddy
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
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
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
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
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
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
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
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
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
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
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
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-12-26 01:52 CET 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: