 | 2009 |
|---|
| 124 |       | Lijun Yu,
Robert B. France,
Indrakshi Ray,
Sudipto Ghosh:
A Rigorous Approach to Uncovering Security Policy Violations in UML Designs.
ICECCS 2009: 126-135 |
| 123 | | 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 |
| 122 | | C. Murray Woodside,
Dorina C. Petriu,
Dorin Bogdan Petriu,
Jing Xu,
Tauseef A. Israr,
Geri Georg,
Robert B. France,
James M. Bieman,
Siv Hilde Houmb,
Jan Jürjens:
Performance analysis of security aspects by weaving scenarios extracted from UML models.
Journal of Systems and Software 82(1): 56-74 (2009) |
| 121 | | Robert B. France,
Bernhard Rumpe,
Martin Schindler:
SoSyM at 7 years.
Software and System Modeling 8(1): 1-3 (2009) |
| 120 | | Robert B. France:
Why Johnny can't model.
Software and System Modeling 8(2): 163-164 (2009) |
| 2008 |
|---|
| 119 | | 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 |
| 118 | | Lijun Yu,
Robert B. France,
Indrakshi Ray:
Scenario-Based Static Analysis of UML Class Models.
MoDELS 2008: 234-248 |
| 117 | | 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 |
| 116 | | Robert B. France,
Bernhard Rumpe:
Model-based development.
Software and System Modeling 7(1): 1-2 (2008) |
| 115 | | Robert B. France,
Bernhard Rumpe:
Correct development of real time and embedded systems.
Software and System Modeling 7(2): 125 (2008) |
| 114 | | Robert B. France:
Fair treatment of evaluations in reviews.
Software and System Modeling 7(3): 253-254 (2008) |
| 2007 |
|---|
| 113 | | 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 |
| 112 | | Nelly Bencomo,
Gordon S. Blair,
Robert B. France:
Model-Driven Software Adaptation.
ECOOP Workshops 2007: 132-141 |
| 111 | | Lydia Michotte,
Robert B. France,
Franck Fleurey:
Modeling and Integrating Aspects into Component Architectures.
EDOC 2007: 181-192 |
| 110 | | Robert B. France,
Franck Fleurey,
Raghu Reddy,
Benoit Baudry,
Sudipto Ghosh:
Providing Support for Model Composition in Metamodels.
EDOC 2007: 253-266 |
| 109 | | Robert B. France,
Bernhard Rumpe:
Model-driven Development of Complex Software: A Research Roadmap.
FOSE 2007: 37-54 |
| 108 | | Lijun Yu,
Robert B. France,
Indrakshi Ray,
Kevin Lano:
A light-weight static approach to analyzing UML behavioral properties.
ICECCS 2007: 56-63 |
| 107 | | Joanne M. Atlee,
Robert B. France,
Geri Georg,
Ana Moreira,
Bernhard Rumpe,
Steffen Zschaler:
Modeling in Software Engineering.
ICSE Companion 2007: 113-114 |
| 106 |  | Robert B. France:
Realizing the Model Driven Engineering Vision.
LMO 2007: 15 |
| 105 | | Nelly Bencomo,
Robert B. France,
Gordon S. Blair:
Second International Workshop on Models@run.time.
MoDELS Workshops 2007: 206-211 |
| 104 | | Franck Fleurey,
Benoit Baudry,
Robert B. France,
Sudipto Ghosh:
A Generic Approach for Automatic Model Composition.
MoDELS Workshops 2007: 7-15 |
| 103 | | 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 |
| 102 | | Brian Henderson-Sellers,
Robert B. France,
Geri Georg,
Raghu Reddy:
A method engineering approach to developing aspect-oriented modelling processes based on the OPEN process framework.
Information & Software Technology 49(7): 761-773 (2007) |
| 101 | | Orest Pilskalns,
Anneliese Amschler Andrews,
Andrew Knight,
Sudipto Ghosh,
Robert B. France:
Testing UML designs.
Information & Software Technology 49(8): 892-912 (2007) |
| 100 | | Robert B. France,
Bernhard Rumpe:
Does model driven engineering tame complexity?
Software and System Modeling 6(1): 1-2 (2007) |
| 99 | | Robert B. France,
Bernhard Rumpe:
Feedback on our editorials.
Software and System Modeling 6(3): 221 (2007) |
| 98 | | Robert B. France,
Bernhard Rumpe:
Six years of modeling in SoSyM.
Software and System Modeling 6(4): 349-352 (2007) |
| 2006 |
|---|
| 97 | | Trung T. Dinh-Trong,
Sudipto Ghosh,
Robert B. France:
A Systematic Approach to Generate Inputs to Test UML Design Models.
ISSRE 2006: 95-104 |
| 96 | | Nelly Bencomo,
Gordon S. Blair,
Robert B. France:
Summary of the Workshop Models@run.time at MoDELS 2006.
MoDELS Workshops 2006: 227-231 |
| 95 | | 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 |
| 94 | | Robert B. France,
James M. Bieman,
Betty H. C. Cheng:
Repository for Model Driven Development (ReMoDD).
MoDELS Workshops 2006: 311-317 |
| 93 | | Robert B. France,
Sudipto Ghosh,
Trung T. Dinh-Trong,
Arnor Solberg:
Model-Driven Development Using UML 2.0: Promises and Pitfalls.
IEEE Computer 39(2): 59-66 (2006) |
| 92 | | 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) |
| 91 | | Robert B. France,
Bernhard Rumpe:
Modeling the Complex Living World.
Software and System Modeling 5(1): 1-2 (2006) |
| 90 | | Robert B. France,
Bernhard Rumpe:
Editorial for the SoSyM issue 2006/02.
Software and System Modeling 5(2): 1 (2006) |
| 89 | | Robert B. France,
Bernhard Rumpe:
Five years of modeling in SoSyM.
Software and System Modeling 5(4): 343-347 (2006) |
| 88 | | Y. Raghu Reddy,
Sudipto Ghosh,
Robert B. France,
Greg Straw,
James M. Bieman,
N. McEachen,
Eunjee Song,
Geri Georg:
Directives for Composing Aspect-Oriented Design Class Models.
T. Aspect-Oriented Software Development I: 75-105 (2006) |
| 2005 |
|---|
| 87 | | 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 |
| 86 | | Devon M. Simmonds,
Raghu Reddy,
Robert B. France,
Sudipto Ghosh,
Arnor Solberg:
An Aspect Oriented Model Driven Framework.
EDOC 2005: 119-130 |
| 85 | | 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 |
| 84 | | 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 |
| 83 | | 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 |
| 82 | | 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 |
| 81 | | Robert B. France,
Roger Burkhart,
Charmaine DeLisser:
A Model-based approach to Managing Enterprise Information Systems.
WSMDEIS 2005: 149-157 |
| 80 | | Daniel E. Turk,
Robert B. France,
Bernhard Rumpe:
Assumptions Underlying Agile Software-Development Processes.
J. Database Manag. 16(4): 62-87 (2005) |
| 79 | | Sudipto Ghosh,
Robert B. France,
Devon M. Simmonds,
Abhijit Bare,
Brahmila Kamalakar,
Roopashree P. Shankar,
Gagan Tandon,
Peter Vile,
Shuxin Yin:
A middleware-transparent approach to developing distributed applications.
Softw., Pract. Exper. 35(12): 1131-1154 (2005) |
| 78 | | Anneliese Amschler Andrews,
Ed Mancebo,
Per Runeson,
Robert B. France:
A Framework for Design Tradeoffs.
Software Quality Journal 13(4): 377-405 (2005) |
| 77 | | Robert B. France,
Bernhard Rumpe:
Domain specific modeling.
Software and System Modeling 4(1): 1-3 (2005) |
| 76 | | Robert B. France,
Bernhard Rumpe:
Model aesthetics.
Software and System Modeling 4(2): 107-108 (2005) |
| 75 | | Robert B. France,
Bernhard Rumpe:
Modeling Paradigms.
Software and System Modeling 4(3): 233-233 (2005) |
| 2004 |
|---|
| 74 | | Anneliese Amschler Andrews,
Per Runeson,
Robert B. France:
Requirements Trade-offs During UML Design.
ECBS 2004: 282-292 |
| 73 | | Dae-Kyoo Kim,
Indrakshi Ray,
Robert B. France,
Na Li:
Modeling Role-Based Access Control Using Parameterized UML Models.
FASE 2004: 180-193 |
| 72 | | Sheena R. Judson,
Robert B. France,
Doris L. Carver:
Supporting Rigorous Evolution of UML Models.
ICECCS 2004: 128-137 |
| 71 | | Indrakshi Ray,
Na Li,
Robert B. France,
Dae-Kyoo Kim:
Using uml to visualize role-based access control constraints.
SACMAT 2004: 115-124 |
| 70 | | Geri Georg,
Raghu Reddy,
Robert B. France:
Specifying Cross-Cutting Requirement Concerns.
UML 2004: 113-127 |
| 69 | | Greg Straw,
Geri Georg,
Eunjee Song,
Sudipto Ghosh,
Robert B. France,
James M. Bieman:
Model Composition Directives.
UML 2004: 84-97 |
| 68 | | 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 |
| 67 | | 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 |
| 66 | | Roger T. Alexander,
James M. Bieman,
Robert B. France:
A software engineering research repository.
ACM SIGSOFT Software Engineering Notes 29(5): 1-4 (2004) |
| 65 | | Robert B. France,
Indrakshi Ray,
Geri Georg,
Sudipto Ghosh:
Aspect-oriented approach to early design modelling.
IEE Proceedings - Software 151(4): 173-186 (2004) |
| 64 | | 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) |
| 63 | | Indrakshi Ray,
Robert B. France,
Na Li,
Geri Georg:
An aspect-based approach to modeling access control concerns.
Information & Software Technology 46(9): 575-587 (2004) |
| 62 | | 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) |
| 61 | | Robert B. France,
Bernhard Rumpe:
In search of effective design abstractions.
Software and System Modeling 3(1): 1-3 (2004) |
| 60 | | Robert B. France,
Bernhard Rumpe:
Assessing model quality.
Software and System Modeling 3(3): 179-180 (2004) |
| 59 | | Robert B. France,
Bernhard Rumpe:
SoSyM at three.
Software and System Modeling 3(4): 255-257 (2004) |
| 2003 |
|---|
| 58 | | Dae-Kyoo Kim,
Robert B. France,
Sudipto Ghosh,
Eunjee Song:
A Role-Based Metamodeling Approach to Specifying Design Patterns.
COMPSAC 2003: 452- |
| 57 | | 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 |
| 56 | | Sheena R. Judson,
Doris L. Carver,
Robert B. France:
A metamodeling approach to model transformation.
OOPSLA Companion 2003: 326-327 |
| 55 | | Orest Pilskalns,
Anneliese Amschler Andrews,
Sudipto Ghosh,
Robert B. France:
Rigorous Testing by Merging Structural and Behavioral UML Representations.
UML 2003: 234-248 |
| 54 | | Robert B. France,
Sudipto Ghosh,
Eunjee Song,
Dae-Kyoo Kim:
A Metamodeling Approach to Pattern-Based Model Refactoring.
IEEE Software 20(5): 52-58 (2003) |
| 53 | | Robert B. France,
Sudipto Ghosh,
Daniel E. Turk:
Supporting Effective Software Modeling.
L'OBJET 9(4): 11-29 (2003) |
| 52 | | Anneliese Amschler Andrews,
Robert B. France,
Sudipto Ghosh,
Gerald Craig:
Test adequacy criteria for UML design models.
Softw. Test., Verif. Reliab. 13(2): 95-127 (2003) |
| 51 | | Robert B. France,
Bernhard Rumpe:
Editorial.
Software and System Modeling 2(1): 1-2 (2003) |
| 50 | | Robert B. France,
Bernhard Rumpe:
Editorial - Model engineering.
Software and System Modeling 2(2): 73-75 (2003) |
| 49 | | Robert B. France,
Bernhard Rumpe:
Editorial.
Software and System Modeling 2(4): 211-214 (2003) |
| 2002 |
|---|
| 48 | | João Araújo,
Jonathan Whittle,
José Ambrosio Toval Álvarez,
Robert B. France:
Integration and Transformation of UML Models.
ECOOP Workshops 2002: 184-191 |
| 47 | | Dae-Kyoo Kim,
Robert B. France,
Sudipto Ghosh,
Eunjee Song:
Using Role-Based Modeling Language (RBML) to Characterize Model Families.
ICECCS 2002: 107-116 |
| 46 | | Geri Georg,
Indrakshi Ray,
Robert B. France:
Using Aspects to Design a Secure System.
ICECCS 2002: 117- |
| 45 | | Geri Georg,
Robert B. France,
Indrakshi Ray:
Designing High Integrity Systems Using Aspects.
IICIS 2002: 37-57 |
| 44 | | Geri Georg,
Robert B. France:
UML Aspect Specification Using Role Models.
OOIS 2002: 186-191 |
| 43 | | Daniel E. Turk,
Robert B. France,
Bernhard Rumpe,
Geri Georg:
Model-Driven Approaches to Software Development.
OOIS Workshops 2002: 229-230 |
| 42 | | Tony Clark,
Andy Evans,
Robert B. France:
Object-Oriented Theories for Model Driven Architecture.
OOIS Workshops 2002: 235-244 |
| 41 | | François Mekerke,
Geri Georg,
Robert B. France:
Tool Support for Aspect-Oriented Design.
OOIS Workshops 2002: 280-289 |
| 40 | | Robert B. France,
Bernhard Rumpe:
First Issue of the International Journal on Software and Systems Modeling.
Software and System Modeling 1(1): 1-4 (2002) |
| 2001 |
|---|
| 39 | | 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
GI 2001 |
| 38 | | Robert B. France,
Cris Kobryn:
UML for Software Engineers.
ICSE 2001: 705-706 |
| 37 | | Robert B. France,
James M. Bieman,
Ray Trask:
Extending the UML to Support Evolution Management.
ICSM 2001: 106 |
| 36 | | Robert B. France,
James M. Bieman:
Multi-View Software Evolution: A UML-based Framework for Evolving Object-Oriented Software.
ICSM 2001: 386- |
| 35 | | Robert B. France,
Sudipto Ghosh,
Daniel E. Turk:
Towards a Model-Driven Approach to Reuse.
OOIS 2001: 181-190 |
| 34 | | 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 |
| 33 | | 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 |
| 32 | | Ray Trask,
Robert B. France:
RIGR - A Repository Model Based Approach to Management.
pUML 2001: 258-269 |
| 2000 |
|---|
| 31 | | Jean-Michel Bruel,
Johan Lilius,
Ana M. D. Moreira,
Robert B. France:
Defining Precise Semantics for UML.
ECOOP Workshops 2000: 113-122 |
| 30 | | 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 |
| 29 | | Kevin Lano,
Robert B. France,
Jean-Michel Bruel:
A Semantic Comparison of Fusion and Syntropy.
Comput. J. 43(6): 451-468 (2000) |
| 1999 |
|---|
| 28 | | 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
Springer 1999 |
| 27 | | 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 |
| 26 | | 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 |
| 25 | | Stuart Kent,
Bernhard Rumpe,
Andy Evans,
Robert B. France:
Is a Precise Semantics Desirable? For What Purpose?
ECOOP Workshops 1999: 37-40 |
| 24 | | Andy Evans,
Robert B. France,
Guy Genilloud,
Brian Henderson-Sellers,
Perdita Stevens:
Aggregation.
ECOOP Workshops 1999: 55-56 |
| 23 | | Robert B. France:
A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts.
OOPSLA 1999: 57-69 |
| 1998 |
|---|
| 22 | | Andy Evans,
Robert B. France,
Kevin Lano,
Bernhard Rumpe:
The UML as a Formal Modeling Notation.
UML 1998: 336-348 |
| 21 | | Minika Saksena,
Maria M. Larrondo-Petrie,
Robert B. France,
Matthew P. Evett:
Extending Aggregation Constructs in UML.
UML 1998: 435-441 |
| 1997 |
|---|
| 20 | | 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 |
| 19 | | Robert B. France,
Matthew P. Evett,
Emanuel S. Grant:
Towards Semantic-Based Object-Oriented CASE Tools.
ASE 1997: 295-296 |
| 18 | | Malcolm Shroff,
Robert B. France:
Towards a formalization of UML class structures in Z.
COMPSAC 1997: 646- |
| 17 | | Robert B. France,
Jean-Michel Bruel:
Integrated Informal Object-Oriented and Formal Modeling Techniques.
ECOOP Workshops 1997: 178-181 |
| 16 | | 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 |
| 15 | | Jacques Meekel,
Thomas B. Horton,
Robert B. France,
Charlie Mellone,
Sajid Dalvi:
From Domain Models to Architecture Frameworks.
SSR 1997: 75-80 |
| 14 | | Robert B. France,
Jean-Michel Bruel,
Maria M. Larrondo-Petrie:
An Integrated Object-Oriented and Formal Modeling Environment.
JOOP 10(7): 25-34, 50 (1997) |
| 1996 |
|---|
| 13 | | 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 |
| 12 | | Jean-Michel Bruel,
Robert B. France,
Abdelmalek Benzekri:
A Z-based Approach to Specifying and Analyzing Complex Systems.
ICECCS 1996: 336-343 |
| 1995 |
|---|
| 11 | | Robert B. France,
Maria M. Larrondo-Petrie:
Understanding the Role of Formal Specification Techniques in Requirements Engineering.
CSEE 1995: 207-221 |
| 10 | | Eduardo B. Fernández,
Robert B. France,
D. Wei:
A Formal Specification of an Authorization Model for Object-Oriented Databases.
DBSec 1995: 95-110 |
| 9 | | Eduardo B. Fernández,
Robert B. France:
Formal specification of real-time dependable systems.
ICECCS 1995: 342-348 |
| 8 | | Robert B. France,
Thomas B. Horton:
Applying Domain Analysis and Modeling: An Industrial Experience.
SSR 1995: 206-214 |
| 7 | | Robert B. France,
Maria M. Larrondo-Petrie:
A Two-Dimensional View of Integrated Formal and Informal Specification Techniques.
ZUM 1995: 434-448 |
| 1994 |
|---|
| 6 | | 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 |
|---|
| 5 | | Robert B. France,
Thomas W. G. Docker:
Towards CASE Tool Support for Rigorous Structured Analysis.
ICCI 1993: 474-478 |
| 1992 |
|---|
| 4 | | Lesley Semmens,
Robert B. France,
Thomas W. G. Docker:
Integrated Structured Analysis and Formal Specification Techniques.
Comput. J. 35(6): 600-610 (1992) |
| 3 | | Robert B. France:
Semantically Extended Data Flow Diagrams: A Formal Specification Tool.
IEEE Trans. Software Eng. 18(4): 329-346 (1992) |
| 1989 |
|---|
| 2 | | Robert B. France,
Thomas W. G. Docker:
Formal Specification Using Structured Systems Analysis.
ESEC 1989: 293-310 |
| 1 | | Thomas W. G. Docker,
Robert B. France:
Flexibility and Rigour in Structured Analysis.
IFIP Congress 1989: 89-94 |
