·
Daniel Turk, Robert France, Bernhard Rumpe,
Assumptions Underlying Agile Software
Development Processes,
Journal of Database Management (JDM), Special Issue on Agile Information Systems
Development.
pdf (pre-publication draft)
Papers in bold font provide
good starting points for exploring our work on AOM.
·
Murray Woodside, Dorina C. Petriu, Dorin B. Petriu, Jing Xu, Tauseef Israr, Geri Georg, Robert
France, James M. Bieman, Siv
Hilde Houmb, Jan Jurjens, Performance Analysis of Security Aspects by
Weaving Scenarios Extracted from UML Models,
to be published in The Journal of Systems & Software.
·
Sten Lundesgaard, Arnor Solberg, Jon Oldevik, Robert France, Jan Oyvind
Aagedal, Frank Eliassen, Construction and Execution of Adaptable
Applications Using an Aspect- Oriented and Model Driven Approach,
IFIP DAIS 2007, LNCS 4531, 76-89, 2007.
pdf (pre-publication draft)
·
R. France, F. Fleurey, R. Reddy,
B. Baudry, and S. Ghosh, Providing Support for Model Composition in Metamodels.
Proceedings of EDOC 2007, Annapolis, MD, USA, October 2007.
pdf (pre-publication draft)
·
F. Fleurey, B. Baudry,
R. France, and S. Ghosh, A Generic Approach For Automatic Model Composition,
Proceedings of Aspect Oriented Modeling (AOM) Workshop associated to MoDELS'07,
Nashville, TN, USA, 2007.
·
D. Simmonds, A. Solberg, R. Reddy,
R. France, and S. Ghosh, 2006, Developing Service-Oriented Systems Using an Aspect-Oriented Model
Driven Framework,
International Journal of Cooperative Information Systems, Special Issue on
Enterprise Distributed Object Computing (EDOC).
·
Sudipto Ghosh, Robert France, Devon Simmonds,
Abhijit Bare, Brahmila Kamalakar, RoopashreeP. Shankar, Gagan Tandon, Peter Vile, Shuxin Yin, A Middleware
Transparent Approach to Developing Distributed Applications,
Software Practice and Experience, Vol. 35, May 2005, 1131-1154.
·
Y. R. Reddy,
S. Ghosh, R. France, G. Straw, J. Bieman,
N. McEachen, E. Song, and G. Georg, Directives for Composing Aspect-Oriented
Design Class Models,
Transactions on Aspect-Oriented Software Development (TAOSD), LNCS 3880,
75-105.
pdf (pre-publication draft)
·
Benoit Baudry, Franck Fleurey, Robert France, Raghu
Reddy, Exploring the Relationship between
Model Composition and Model Transformation,
MoDELS 2005 Aspect-Oriented Modeling Workshop,
October 2005, Jamaica.
·
D. Simmonds, A. Solberg, R. Reddy,
R. B. France, and S. Ghosh, An Aspect Oriented Model Driven Framework,
Proceedings of the 9th International Enterprise Distributed Object Computing
Conference (EDOC 2005), Enschede, The Netherlands,
September 19-23, 2005.
pdf (pre-publication draft)
·
Robert
France, Indrakshi Ray, Geri Georg, Sudipto Ghosh, An Aspect-Oriented Approach to Design
Modeling,
IEE Proceedings - Software, Special Issue on Early Aspects: Aspect-Oriented
Requirements Engineering and Architecture Design, Vol. 151, No. 4, August 2004,
173-185.
pdf (pre-publication draft)
·
Lijun Yu, Robert
France, Indrakshi Ray, Scenario-based Static Analysis of UML Behavioral Properties,
Proceedings of MODELS, 2008.
·
S. Hilde Houmb, G. Georg, J. Jurjens, and R. France, An
Integrated Security Verification and Security Design Trade-off Analysis
Approach,
Chapter in Integrating Security and
Software Engineering, editors Dr. Mouratidis and
Dr. Giorgini, Idea Group Inc.
·
Orest Pilskalns, Anneliese Andrews,
Andrew Knight, Sudipto Ghosh,
Robert France, Testing UML Designs,
Information & Software Technology (IST), Elsevier.
·
T. Dinh-Trong, S. Ghosh, and R. B. France, A Systematic Approach to Generate Inputs to Test UML Design Models,
Proceedings of the 17th IEEE International Symposium on Software Reliability
Engineering (ISSRE), Raleigh, North Carolina, 6-10 November 2006.
·
B. Baudry, T. Dinh-Trong,
J-M. Mottu, D. Simmonds, R.
France, S. Ghosh, F. Fleurey,
and Y. Le Traon, Model
Transformation Testing Challenges,
ECMDAWorkshop on Integration of Model-Driven
Development and Model Driven Testing, 10-13 July, 2006, Spain.
pdf (pre-publication version)
·
Anneliese Andrews,
Robert France, Sudipto Ghosh,
Gerald Craig, Test Adequacy Criteria for
UML Design Models,
Journal of Software Testing, Verification and Reliability, Vol. 13, No. 2,
April-June 2003, 95-127.
·
Meta-Modelling Semantics of UML
Andy Evans, Robert France, Kevin Lano, Bernhard Rumpe
In book: Advances in Formalizing the Semantics of UML, Kluwer,
1999.
pdf (pre-publication version)
·
Incorporating a Formal Design Technique in an Industrial
Setting
Robert B. France, Robert Busser, Maha
Boughdadi
in Proceedings of The Ninth International Symposium on Software Reliability
Engineering (ISSRE98), IEEE Press.
(Extended version) Postscript file
·
Transforming UML models to formal specifications
Jean-Michel Bruel, Robert B. France
In Proceedings of the OOPSLA'98 Workshop on Formalizing UML: Why? How?
Postscript file
·
The UML as a Formal Modeling Notation
Robert France, Andy Evans, Kevin Lano, Bernhard Rumpe (the pUML group)
In Proceedings of The Unified Modeling
Language - Workshop UML'98: Beyond the Notation
Jean Bezivin, Pierre-Alain Muller (eds.)
Springer Verlag Berlin, LNCS 1618, 1999.
pdf (pre-publication version)
·
Rigorous Object-Oriented Modeling: Integrating Formal and
Informal Notations
Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emmanuel Grant
in the Proceedings of the 6th International AMAST Conference, December 1997
Postscript file
1. Sebastien Mosser,
Mireille Blay-Fornarino,
and Robert France, 2010, Workflow Design using Fragment Composition: Crisis
Management System Design through ADORE, Accepted for publication in Transactions on Aspect-Oriented Software
Development.
2. Benoit Baudry,
Sudipto Ghosh, Franck Fleurey, Robert France, Yves Le Traon
and Jean-Marie Mottu, 2010, Barriers to Systematic
Model Transformation Testing, Communications
of the ACM, Vol. 53, No. 6, 2010.
3. Mathieu Acher,
Philippe Collet, Philippe Lahire,
Robert France, 2010, Comparing Approaches to Implement Feature Model
Composition in Proceedings of the 6th European Conference on Modelling Foundations and Applications (ECMFA), vol. LNCS,
pages 16, Springer, France, 15-18 June 2010.
4. Mathieu Acher,
Philippe Collet, Philippe Lahire,
Robert France, 2010, Managing Variability in Workflow with Feature Model
Composition Operators, in Proceedings of the 9th International Conference on
Software Composition (SC'10), vol. LNCS, pages 16, Springer, Malaga (Spain),
June 28-July 2 2010.
1. Murray Woodside, Dorina C. Petriu, Dorin B. Petriu, Jing Xu, Tauseef Israr,
Geri Georg, Robert France, James M.
Bieman, Siv Hilde Houmb, Jan Jurjens, 2009,
Performance Analysis of Security Aspects by Weaving Scenarios Extracted from
UML Models, The Journal of Systems &
Software, Vol. 82, No. 1, January 2009, 56-74.
2. Siv Hilde Houmb,
Geri Georg, Dorina C. Petriu,
Behzad Bordbar, Indrakshi Ray, Kyriakos Anastasakis, and Robert B. France, 2009, Balancing Security
and Performance Properties During System Architectural Design, to be published as
a chapter in Software Engineering for
Secure Systems: Industrial and Research Perspectives, Haris
Mouratidis, editor.
3. Mathieu Acher,
Philippe Collet, Philippe Lahire,
Robert France, 2009, Composing Feature Models, (long paper) in Proceedings of
the 2nd International Conference on Software Language Engineering (SLE'09),
pages 20, LNCS, Denver, Colorado, USA, 5-6 Oct 2009.
4. Lijun Yu, Robert France, Indrakshi Ray, Sudipto Ghosh, 2009, A Rigorous Approach to Uncovering Security
Policy Violations in UML Designs, in Proceedings of the 14th International
Conference on Engineering of Complex Computer Systems (ICECCS), IEEE Computer
Society, 126-135.
1. Lijun Yu, Robert France, Indrakshi Ray, Scenario-based
Static Analysis of UML Behavioral Properties, Proceedings of MODELS, 2008.
2. C. Jeanneret,
R. France, and B. Baudry, 2008. A reference process
for model composition. In Proceedings of the 2008 AOSD Workshop on
Aspect-Oriented Modeling, Brussels, Belgium, April 01 - 01, 2008. AOM '08. ACM,
New York, NY, 1-6.
1.
Orest Pilskalns, Anneliese Andrews,
Andrew Knight, Sudipto Ghosh,
Robert France, Testing UML Designs,
Information & Software
Technology (IST),
Elsevier.
2.
B.
Henderson-Sellers, R. France, G. Georg, R. Reddy, A method engineering approach to developing aspect-oriented modelling processes based on the OPEN process framework,
Information & Software
Technology (IST),
Elsevier.
3.
Robert B.
France, Bernhard Rumpe, Model-driven Development of Complex Software: A Research Roadmap,
The International Conference on
Software Engineering (ICSE): Future of Software Engineering Track, Minneapolis, May 2007.
4.
S. Hilde Houmb, G. Georg, J. Jurjens, and
R. France, An Integrated Security
Verification and Security Design Trade-off Analysis Approach,
Chapter in Integrating Security and Software Engineering, editors Dr. Mouratidis
and Dr. Giorgini, Idea Group Inc.
5.
Lijun Yu,
Robert France, Indrakshi Ray, Kevin Lano, A Light-weight
Static Approach to Analyzing Behavioral Properties,
Proceedings of the International
Conference on Engineering Complex Computer Systems (ICECCS), 2007, Auckland, New Zealand, July 2007.
6.
Sten Lundesgaard, Arnor Solberg, Jon Oldevik, Robert France, Jan Oyvind
Aagedal, Frank Eliassen, Construction and Execution of Adaptable
Applications Using an Aspect- Oriented and Model Driven Approach,
IFIP DAIS 2007, LNCS 4531, 76-89, 2007.
7.
Lydia Michotte, Robert France, Franck Fleurey,
Modeling and Integrating Architectural
Software Fault Tolerance Features.
Proceedings of the 11th IEEE International EDOC Conference (EDOC 2007),
Annapolis Maryland, U.S.A.
8.
R.
France, F. Fleurey, R. Reddy, B. Baudry,
and S. Ghosh, Providing
Support for Model Composition in Metamodels.
Proceedings of EDOC 2007, Annapolis, MD, USA, October 2007.
9.
F. Fleurey, B. Baudry, R. France,
and S. Ghosh, A
Generic Approach For Automatic Model Composition,
Proceedings of Aspect Oriented
Modeling (AOM) Workshop associated to MoDELS'07, Nashville, TN, USA, 2007 (Awarded one of two Best Papers).
1.
R.
France, S. Ghosh, T. Dinh-Trong,
and A. Solberg, 2006, Model-Driven
Development Using UML 2.0: Promises and Pitfalls,
IEEE Computer, Vol. 39, No. 2, February 2006, 59-66.
2.
D. Simmonds, A. Solberg, R. Reddy, R. France, and S. Ghosh, 2006, Developing
Service-Oriented Systems Using an Aspect-Oriented Model Driven Framework,
International Journal of
Cooperative Information Systems, Special Issue on Enterprise Distributed Object
Computing (EDOC).
3.
D. Simmonds, R. France, and S. Ghosh,
Using Directives to Implement Model
Transformations,
Chapter in From MDD Concepts to Experiments and Illustrations, editors: Jean-Philippe Babau,
Joel Champeau, and Sebastien
Gerard, ISTE Ltd., pp 25-41.
4.
T. Dinh-Trong, S. Ghosh, and R. B.
France, A Systematic Approach to Generate
Inputs to Test UML Design Models,
Proceedings of the 17th IEEE
International Symposium on Software Reliability Engineering (ISSRE), Raleigh, North Carolina, 6-10 November 2006.
5.
B. Baudry, T. Dinh-Trong, J-M. Mottu, D. Simmonds, R. France, S.
Ghosh, F. Fleurey, and Y.
Le Traon, Model
Transformation Testing Challenges,
ECMDAWorkshop on Integration of Model-Driven
Development and Model Driven Testing, 10-13 July, 2006, Spain.
1.
Sudipto Ghosh, Robert France, Devon Simmonds,
Abhijit Bare, Brahmila Kamalakar, RoopashreeP. Shankar, Gagan Tandon, Peter Vile, Shuxin Yin, A Middleware
Transparent Approach to Developing Distributed Applications,
Software Practice and Experience, Vol. 35, May 2005, 1131-1154.
2.
Y. R.
Reddy, S. Ghosh, R. France, G. Straw, J. Bieman, N. McEachen, E. Song, and
G. Georg, Directives for Composing
Aspect-Oriented Design Class Models,
Transactions on Aspect-Oriented
Software Development (TAOSD),
LNCS 3880, 75-105.
3.
A. Andrews,
E. Mancebo, P. Runeson, R.
France, A Framework for Design Tradeoffs,
Software Quality Control, Vol. 13, No. 4, 2005, 377-405.
4.
Daniel
Turk, Robert France, Bernhard Rumpe, Assumptions Underlying Agile Software
Development Processes,
Journal of Database Management
(JDM), Special Issue on Agile
Information Systems Development.
5.
Robert
France, Modeling Dependability Features,
Chapter in Model Driven Engineering for Distributed Real-time Embedded Systems, editors: Sebastien
Gerard, Jean-Philippe Babau, and Joel Champeau, Hermes.
6.
D. Simmonds, A. Solberg, R. Reddy, R. B. France, and S. Ghosh, An Aspect
Oriented Model Driven Framework,
Proceedings of the 9th
International Enterprise Distributed Object Computing Conference (EDOC 2005), Enschede, The
Netherlands, September 19-23, 2005.
7.
Solberg,
D. Simmonds, R. Reddy, S. Ghosh,
and R. France, Using Aspect Oriented
Techniques to Support Separation of Concerns in Model Driven Development,
Proceedings of the 29th Annual
International Computer Software and Applications Conference (COMPSAC 2005), Edinburgh, Scotland, July 25-28, 2005.
8.
Siv Hilde Houmb, Geri Georg, Robert France, James M. Bieman, Jan Jurjens, Cost- Benefit Trade-Off Analysis using BBN
for Aspect-Oriented Risk-Driven Development,
Proceedings of the 10th IEEE
International Conference on Engineering of Complex Computer Systems (ICECCS), Shanghai, China, June 16-20, 2005.
9.
T. Dinh-Trong, N. Kawane, S. Ghosh, R. France, A. A. Andrews, A Tool-Supported Approach to Testing UML Design Models,
Proceedings of the 10th IEEE
International Conference on Engineering of Complex Computer Systems (ICECCS), Shanghai, China, June 16-20, 2005.
10. Eunjee Song, Raghu Reddy,
Robert France, Indrakshi Ray, Geri Georg, Roger
Alexander, Verifiable Composition of Access
Control Features and Applications,
Proceedings of the 10th ACM
Symposium on Access Control Models and Technologies (SACMAT 2005), Scandic Hasselbacken, Stockholm, June 1-3, 2005.
11. Siv Hilde Homb, Geri Georg,
Robert France, Raghu Reddy, and James Bieman, Predicting
availability of systems using BBN in Aspect-Oriented Risk-Driven Development,
Proceedings of the Symposium on
Risk Management and Cyber-Informatics (RMCI 2005), Orlando, Florida, July, 2005.
12. T. Dinh-Trong, S. Ghosh, R. B. France, M. Hamilton, and B. Wilkins, UMLAnT: An Eclipse Plugin
for Animating and Testing UML Designs,
Eclipse Technology Exchange
Workshop, in conjunction with OOPSLA, San
Diego, USA.
13. Trung Dinh-Trong, Sudipto Ghosh, Robert France,
Benoit Baudry, Franck Fleurey,
A Taxonomy of Faults for UML Models,
Second Workshop on Model Design
and Validation held in
conjunction with MoDELS 2005.
14. Trung Dinh-Trong, Sudipto Ghosh, Robert France, and
Anneliese Andrews, Generating Test Data to test UML Design Models,
MoDELS 2005 Second Workshop on Model Design and Validation, October 2005, Jamaica.
15. Benoit Baudry, Franck Fleurey, Robert France, Raghu
Reddy, Exploring the Relationship between
Model Composition and Model Transformation,
MoDELS 2005 Aspect-Oriented Modeling Workshop, October 2005, Jamaica.
16. Raghu Reddy, Robert France, Sudipto
Ghosh, Franck Fleurey,
Benoit Baudry, Model
Composition: A Signature-Based Approach,
MoDELS 2005 Aspect-Oriented Modeling Work- shop, October 2005, Jamaica.
17. Arnor Solberg, Robert France, Navigating the MetaMuddle,
MoDELS Fourth Workshop in Software Model Engineering, October 2005, Jamaica.
18. Raghu Reddy, Robert France and Geri Georg, Aspect Oriented Modeling approach to Analyzing
Dependability Features,
Aspect Oriented Modeling
workshop held in conjunction with Aspect
Oriented Software Development (AOSD 2005) conference, March 14-18, 2005,
Chicago.
1.
Robert
France, Indrakshi Ray, Geri Georg, Sudipto Ghosh, An Aspect-Oriented Approach to Design
Modeling,
IEE Proceedings - Software, Special Issue on Early Aspects: Aspect-Oriented
Requirements Engineering and Architecture Design, Vol. 151, No. 4, August 2004,
173-185.
2.
Robert
France, Dae-Kyoo Kim, Sudipto
Ghosh, Eunjee Song, A UML-Based Pattern Specification Technique,
IEEE Transactions on Software
Engineering (TSE), Vol.
30, No. 3, March 2004, 193-206.
3.
Dae-Kyoo Kim, Robert
France, Sudipto Ghosh, A UML-Based Language for Specifying
Domain-Specific Patterns,
Journal of Visual Languages and
Computing, Vol. 15, Elsevier, 2 265-289 (Second most downloaded paper for the journal in
2004).
4.
Indrakshi Ray,
Robert France, Na Li, Geri Georg, An
Aspect-Based Approach to Modeling Access Control Concerns,
Information & Software
Technology (IST), Vol.
46, Elsevier, 575-587.
5.
Geri
Georg, Raghu Reddy, Robert France, Specifying Cross-Cutting Requirements
Concerns,
Proceedings of the International
Conference on the UML, October
2004. (Acceptance rate 22%)
6.
Greg
Straw, Geri Georg, Eunjee Song, Sudipto
Ghosh, Robert France, Jim Bieman,
Model Composition Directives,
Proceedings of the International
Conference on the UML, October
2004. (Acceptance rate 22%)
7.
Indrakshi Ray, Na
Li, Robert France, Dae-Kyoo Kim, Using UML to Visualize Role- Based Access Control Constraints,
Proceedings of the Symposium on
Access Control Models and Technologies (SACMAT 2004), 115-124.
8.
Dae-Kyoo Kim, Indrakshi Ray, Robert France and Na Li, Modeling Role-Based Access Control Using
Parameterized UML Models,
Proceedings of the 7th
Conference on Fundamental Approaches to Software Engineering (FASE 2004), 180-193. (Acceptance rate 23%)
9.
Sheena
Judson, Robert France, Doris Carver, Supporting
Rigorous Evolution of UML Models,
Proceedings of the International
Conference on Engineering Complex Computer Systems 2004 (ICECCS 2004), 128-137.
10. Anneliese Andrews, Per Runeson,
and Robert France, Requirements
Trade-offs During UML Design,
Proceedings of the 11th IEEE
International Conference and Workshop on the Engineering of Computer-Based
Systems (ECBS 2004),
282-292.
1.
Robert
France, Sudipto Ghosh, Eunjee Song, Dae-Kyoo Kim, A Metamodeling
Approach to Pattern-based Model Refactoring,
IEEE Software, Vol. 20, No. 5, September/October 2003, 52-58.
2.
Anneliese Andrews,
Robert France, Sudipto Ghosh,
Gerald Craig, Test Adequacy Criteria for
UML Design Models,
Journal of Software Testing,
Verification and Reliability,
Vol. 13, No. 2, April-June 2003, 95-127.
3.
Robert
France, Sudipto Ghosh, and
Dan Turk, Supporting Effective Software
Modeling,
L'Objet: Software, Databases, Networks, Vol. 9, No. 4/2003, 11-29.
4.
Anneliese vonMayrhauser, Robert France, Michael Scheetz,
Eric Dahlman, Generating
Test Cases from an Object-Oriented Model with an Artificial Intelligence
Planning System,
IEEE Transactions on Reliability, Vol. 49, No. 1, 26-36.
5.
Kevin Lano, Robert B. France, and Jean-Michel Bruel,
A Semantic Comparison of Fusion and Syntropy,
The Computer Journal, Vol. 43, No. 6, 451-468.
6.
Emanuel
Grant, Robert France, Sam Hsu, Towards an
Internet-based Education Model for Caribbean Countries,
Journal of Educational Media, Vol. 25, No. 1, Taylor & Francis
Ltd/Commonwealth of Learning, 21-30.
7. A MetaModeling
Approach to Model Refactoring
Sheena Judson, Doris Carver, Robert France
submitted to UML 2003.
.pdf file
8. Robert France, Dae-Kyoo
Kim, Eunjee Song, Sudipto Ghosh, 2003, Using
Roles to Characterize Model Families,
Chapter in Practical foundations of business and system specifications, editor: Haim Kilov, Kluwer.
9.
Sudipto Ghosh, Robert France, Conrad Braganza, Nilesh
Kawane, Anneliese Andrews
and Orest Pilskalns, Test Adequacy Assessment for UML Design
Model Testing,
Proceedings of International
Symposium on Software Reliability Engineering (ISSRE 2003), 332-343.
10. Dae Kyoo Kim, Robert France,
Sudipto Ghosh, and Eunjee Song, A Role-Based
Meta- modeling Approach to Specifying Design Patterns,
Proceedings of 27th Annual Interna- tional Computer Software
and Applications Conference (COMPSAC 2003), 452-457.
11. Orest Pilskalns, Anneliese Andrews, Sudipto Ghosh, and Robert France, Rigorous Testing by Merging Structural and Behavioral UML
Representations,
Proceedings of the 6th
International Conference on the Unified Modeling Language (UML 2003), 234-248.
12. Devon Simmonds, Sudipto Ghosh, and Robert France,
An MDA Framework for Middle- ware Transparent
Software Development and Quality of Service,
Proceedings of Workshop on Qos in Component-Based Software Engineering, Toulouse, France, June 20, 2003.
13. Indrakshi Ray, Na Li, Dae-Kyoo
Kim, Robert France, Using Parameterized
UML to Specify and Compose Access Control Models,
Proceedings of Sixth IFIP TC-11
WG 11.5 Working Conference on Integrity and Internal Control in Information
Systems (IICIS 2003), Kluwer Academic Publishers.
14. Geri Georg, Indrakshi
Ray, Robert France, Using Aspects to
Design a Secure System,
Proceedings of the Interational Conference on Engineering Complex Computing
Systems (ICECCS 2002),
117-126.
15. Dae-Kyoo Kim, Robert France, Sudipto
Ghosh, Eunjee Song, Using Role-Based Modeling Language (RBML) as
Precise Characterizations of Model Families,
Proceedings of the Interational Conference on Engineering Complex Computing
Systems (ICECCS 2002),
107-116.
16. Geri Georg, Robert France, Indrakshi
Ray, Designing High Integrity Systems
using Aspects,
Proceedings of the Fifth IFIP
TC-11 WG 11.5 Working Conference on Integrity and Internal Control in
Information Systems (IICIS 2002), 37-57.
17. Dan Turk, Robert France, Bernhard Rumpe, Limitations of
Agile Software Processes,
Proceedings of the Conference on
Extreme Programming and Agile Processes in Software Engineering.
18. Robert B. France, James Bieman,
Multi-View Software Evolution: A UML-based
Framework for Evolving Object-Oriented Software,
Proceedings of the International
Con- ference on Software Maintenance (ICSM 2001), 386-394.
19. Jean-Michel Bruel, Brian
Henderson-Sellers, Franck Barbier, Alain le Parc, Robert B. France, Improving
the UML Metamodel to Rigorously Specify Aggregation
and Composition,
Proceedings of the 7th
International Conference on Object-Oriented Information Systems (OOIS 2001), Springer, 5-14.
20. Robert B. France, Sudipto
Ghosh, Daniel Turk, Towards a Model-Driven Approach to Reuse,
Proceedings of the 7th
International Conference on Object-Oriented Information Systems (OOIS 2001), Springer, 181-190.
21. Emanuel Grant, Robert France, Ramchander
Varadarajan, Adam Carheden,
Jean-Michel Bruel, UML2Z: An UML-Based Object-Oriented Modeling Tool for an Internet In-tegrated Formalization Process,
Proceedings of the Int.
Conference on Object-Oriented Information Systems (OOIS'2000), 280-289.
1. A Problem-Oriented Analysis
of Basic UML Static Modeling Concepts
Robert France
In the proceedings of OOPSLA'99, ACM SIGPLAN Notices, vol. 34, no. 10, October
1999.
Postscript file
2. Towards Formal Reasoning with
UML Models
Andy Evans, Robert France, Emanuel Grant
In Proceedings of the OOPSLA'99 Workshop on Behavioral
Semantics, 1999.
Postscript file
3. Generating Test Cases from an
OO Model with an AI Planning System
Michael Scheetz, Anneliese
von Mayrhauser, Robert France, Eric Dahlman, and Adele E. Howe
in the proceedings of ISSRE'99, IEEE-Press, 1999.
4. An Industrial Application of
an Integrated UML and SDL Modeling Technique
Robert B. France, Maha Boughdadi,
Robert Busser
in proceedings of the 23rd International Computer Software and Applications
Conference (COMPSAC'99), IEEE-Press, 1999.
Postscript file
5. Meta-Modelling
Semantics of UML
Andy Evans, Robert France, Kevin Lano, Bernhard Rumpe
In book: Advances in Formalizing the Semantics of UML, Kluwer,
1999.
6. Incorporating a Formal Design
Technique in an Industrial Setting
Robert B. France, Robert Busser, Maha
Boughdadi
in Proceedings of The Ninth International Symposium on Software Reliability
Engineering (ISSRE98), IEEE Press.
(Extended version) Postscript file
7. Transforming UML models to
formal specifications
Jean-Michel Bruel, Robert B. France
In Proceedings of the OOPSLA'98 Workshop on Formalizing UML: Why? How?.
Postscript file
8. The UML as a Formal Modeling
Notation
Robert France, Andy Evans, Kevin Lano, Bernhard Rumpe (the pUML group)
Computer Standards and Interfaces: Special Issues on Formal Development
Techniques, 1998.
9. Applying Fusion/UML to the
Invoicing Problem
Robert B. France and Jean-Michel Bruel
FAU-TR (edited version appears in the Proceedings of the Int. Workshop on:
Comparing Systems Specification Techniques, Nantes, France eds. Michel Allemand, Chritian Attiogbe and Henri Habrias, Institut de Recherche en Informatique de Nantes, ISBN = 2-906082-29-5, 1998)
Compressed Postscript file
10. A Characterization of
Aggregation
Monika Saksena, Robert B. France, Maria M. Larrondo-Petrie, in Proceedings of the 5th International
Conference on Object-Oriented Information Systems (OOIS'98), September 1998.
Edited version printed in the International Journal of Computer Systems
Science \& Engineering.
postscript file
11. Extending the Notion of
Aggregation in UML
Monika Saksena, Maria Larrondo-Petrie,
Robert France, Matthew Evett, in the proceedings of
the UML'98 International Workshop, Mulhouse, France, 3rd-4th
June 1998.
postscript file
12. Rigorous Object-Oriented
Modeling: Integrating Formal and Informal Notations
Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emmanuel Grant
in the Proceedings of the 6th International AMAST Conference, December 1997
Postscript file
13. Towards Rigorous Analysis of
Fusion Models: The MIRG Experience
Robert B. France, Jean-Michel Bruel, and Gopal Raghavan
FAU-TR (revised version appears in Proceedings of the 2nd Northern Formal
Methods Workshop)
Compressed PostScript file
14. Towards a Rigorous
Object-Oriented Analysis and Design Method
Robert B. France, Jean-Michel Bruel, Monika Saksena, Emanuel Grant, and Maria M. Larrondo-Petrie
in the Proceedings of the 1st IEEE International Conference on Formal
Engineering Methods (ICFEM'97), 1997.
Postscript file
15. Exploring the Semantics of
UML Type Structures with Z
Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, and Malcolm Shroff
in the Proceedings of the Formal Methods for Open Object-based Distributed
Systems (FMOODS'97), 1997
16. Towards a Formalization of
UML Class Structures in Z
M. Shroff
and R. B. France.
TR-CSE-97-4 (also appears in COMPSAC'97)
Compressed PostScript file (21 pgs.)
17. Using Integrated and Formal
Modeling Techniques To Analyze Software Requirements:
A Case Study
R. B. France and J.-M. Bruel
TR-CSE-97-3
Compressed Postscript file
18. Towards a Formal Semantic
Base for the Type Models of the Unified Modeling Language Maria M. Larrondo-Petrie,
Robert B. France, Monika Saskena, and Malcolm Shroff
in the Proceedings of Formal Methods Pacific (FMP'97), 1997
19. Taming the Octopus: Using
formal models to integrate the Octopus object oriented analysis models
Robert B. France, Jean-Michel Bruel, and Gopal Raghavan
in Proceedings of the 2nd IEEE High-Assurance Systems Engineering Workshop
(HASE'97), 1997
20. Comparison of Fusion and Syntropy
Kevin Lano, Robert B. France, and Jean-Michel Bruel
to be published in Object-Oriented Systems, 1997
21. Formalizing Fusion Object
Oriented Analysis Models
B. W. Bates, J.-M. Bruel,
R. B. France, and M. M. Larrondo-Petrie.
In Proceedings of the First IFIP International workshop on Formal Methods for
Open Object-based Distributed Systems (FMOODS'96), Paris, France, March 4-6
1996.
22. A Tale of Two Case Studies:
Using Integrated Methods to Support Rigorous Requirements Specification,
Robert France, Jie Wu,
Maria Larrondo-Petrie
and Jean-Michel Bruel.
In Proceedings of the BCS FACS Methods Integration Workshop, Leeds, UK, March
25-26, 1996.
Compressed PostScript file
(18p.)
23. Guidelines for Formalizing
Fusion Object Oriented Analysis Models
B. W. Bates, J.-M. Bruel,
R. B. France, and M. M. Larrondo-Petrie.
In Proceedings of CAISE, Crete, Greece, 20-24 May, 1996.
24. FuZE--Draft of the User's Guide
J.-M. Bruel,
Bharat Chintapally, R. B. France, Gopal Raghavan and M. M. Larrondo-Petrie.
FAU Technical Report TR-CSE-96-9, Department of Computer Science &
Engineering, Florida Atlantic University, Boca Raton, FL-33431, USA.
Compressed PostScript file
(35p.)
25. The Role of Integrated
Specification Techniques in Complex System Modeling and Analysis
R. B. France, J.-M. Bruel.
In Proceedings of the Workshop on Real-Time Systems Education, Daytona Beach,
Florida, USA. IEEE Computer Society Press. April 1996.
Compressed PostScript file
(9p.)
26. A Formal Object-Oriented CASE
Tool for the Development of Complex Systems
J.-M. Bruel
and R. B. France,
In Proceedings of the 7th European Workshop on Next Generation of Case Tools
(NGCT'96), Crete, Greece, 20--21 May 1996.
compressed PostScript file
(11p.)
27. Formal Analysis of
Information Systems using an Integrated Approach based on Extended Petri Nets
R. B. France, J.-M. Bruel.
In Proceedings of the International Conference on Information Systems Analysis
and Synthesis (ISAS'96), Orlando, USA, July 23-26, 1996.
compressed PostScript file
(11p.)
28. A Tool for Rigorous Analysis
of Object Models
J.-M. Bruel,
R. B. France, Bahrat Chintapally, and Gopal Raghavan.
In Proceedings of the 20th International Conference on Technology of Oject-Oriented Languages and Systems (TOOLS), Santa Barbara,
California, July 29 -- August 2, 1996.
Compressed PostScript file
(19p.)
29. FuZE: A Fusion/Z Environment
R. B. France and J.-M. Bruel.
Fusion Newsletter,
4(3), July 1996. Invited paper.
Compressed PostScript file
(6p.)
30. An Integrated Object-Oriented
and Formal Modeling Environment
R. B. France, J.-M. Bruel,
M. M. Larrondo-Petrie.
in the Journal of Object-Oriented Programming (JOOP),
Nov/Dec 1997, Vol. 10, No. 7.
31. Formal Analysis of
Information Systems using an Integrated Approach based on Extended Petri Nets
R. B. France, J.-M. Bruel.
In Proceedings of the International Conference on Information Systems Analysis
and Synthesis (ISAS'96), Orlando, USA, 22--26 July 1996.
32. CASE-based Rigorous
Object-Oriented Modeling
J.-M. Bruel,
R. B. France, M. M. Larrondo-Petrie,
Gopal Raghavan, and Bharat Chintapally.
in Proceedings of the Northern Formal Methods Workshop
(NFMW'96), University of Bradford, U.K., 23--24 September, 1996.
33. A Tale of Two Case Studies:
Using Integrated Methods to Support Rigorous Requirements Specification,
Robert B. France, Jie Wu,
Maria M. Larrondo-Petrie and Jean-Michel Bruel.
FAU Technical Report TR-CSE-95-41, Department of Computer Science &
Engineering, Florida Atlantic University, Boca Raton, FL-33431, USA.
Compressed PostScript file
(17p.)
34. Formalizing Fusion
Object-Oriented Models
B. W. Bates, J.-M. Bruel,
R. B. France, and M. M. Larrondo-Petrie.
FAU Technical Report TR-CSE-95-44, Department of Computer Science &
Engineering, Florida Atlantic University, Boca Raton, FL-33431, USA.
PostScript file (17p.)
35. From Structured Analysis to
Formal Specifications: State of the Theory
R. B. France, M. M. Larrondo-Petrie.
In Proceedings of the ACM Computer Science Conference, 1994.
36. Towards Systematic
Formalization of Informal requirements Specifications: A Case Study on the
Vending Machine Problem
R. B. France, Jie Wu.
In Proceedings of the ISCA International Conference on Computer Applications in
Industry and Engineering, ISCA, 1994.
37. Understanding the Role of
Formal Specification Techniques in Requirements Engineering
R. B.
France, M. M. Larrondo-Petrie.
In Proceedings of the Conference on Software Engineering Education'95, Springer-Verlag, 1995.
38. A Two-Dimensional View of
Integrated Formal and Informal Specification Techniques
R. B.
France, M. M. Larrondo-Petrie.
In Proceedings of the Z Users Meeting'95, Springer-Verlag,
1995.
Last updated by Robert FRANCE, May, 2010.