Robert B. France

Affiliations:
  • Colorado State University, USA


According to our database1, Robert B. France authored at least 232 papers between 1989 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2016
An Approach to Checking Consistency between UML Class Model and Its Java Implementation.
IEEE Trans. Software Eng., 2016

Using Models to Validate Unanticipated, Fine-Grained Adaptations at Runtime.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

Discovering Potential Interaction Violations among Requirements.
Proceedings of the Advanced Information Systems Engineering Workshops, 2016

2015
Special section of SoSyM dedicated to 50 years of Petri nets.
Softw. Syst. Model., 2015

The 2014 "State of the Journal" report.
Softw. Syst. Model., 2015

Devising the Future of the Models@run.time Workshop.
ACM SIGSOFT Softw. Eng. Notes, 2015

Using Slicing to Improve the Performance of Model Invariant Checking.
J. Object Technol., 2015

Synergy between Activity Theory and goal/scenario modeling for requirements elicitation, analysis, and evolution.
Inf. Softw. Technol., 2015

Modeling of Online Social Network Policies Using an Attribute-Based Access Control Framework.
Proceedings of the Information Systems Security - 11th International Conference, 2015

Analysis of a Relationship Based Access Control Model.
Proceedings of the Eighth International C* Conference on Computer Science & Software Engineering, 2015

Towards the use of slicing techniques for an efficient invariant checking.
Proceedings of the Companion Proceedings of the 14th International Conference on Modularity, 2015

2014
Editorial for the SoSyM issue 2014/04.
Softw. Syst. Model., 2014

Modeling big smart data.
Softw. Syst. Model., 2014

The 2013 "State of the Journal" report.
Softw. Syst. Model., 2014

Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412).
Dagstuhl Reports, 2014

Limitations of Agile Software Processes.
CoRR, 2014

Meta-Modeling Semantics of UML.
CoRR, 2014

Developing the UML as a Formal Modelling Notation.
CoRR, 2014

Report on the First Workshop On the Globalization of Modeling Languages.
CoRR, 2014

Globalizing Modeling Languages.
Computer, 2014

Analysing Requirements to Detect Latent Security Vulnerabilities.
Proceedings of the IEEE Eighth International Conference on Software Security and Reliability, 2014

Evaluating the Usability of a Visual Feature Modeling Notation.
Proceedings of the Software Language Engineering - 7th International Conference, 2014

Manipulating models using internal domain-specific languages.
Proceedings of the Symposium on Applied Computing, 2014

ACTRESS: domain-specific modeling of self-adaptive software architectures.
Proceedings of the Symposium on Applied Computing, 2014

Using models to dynamically refactor runtime code.
Proceedings of the Symposium on Applied Computing, 2014

Analyzing Behavioral Aspects of UML Design Class Models against Temporal Properties.
Proceedings of the 2014 14th International Conference on Quality Software, 2014

The Relevance of Model-Driven Engineering Thirty Years from Now.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014

SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014

From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics.
Proceedings of the Modellierung 2014, 19.-21. März 2014, Wien, Österreich, 2014

Towards the Model Driven Organization.
Proceedings of the 47th Hawaii International Conference on System Sciences, 2014

Domain Globalization: Using Languages to Support Technical and Social Coordination.
Proceedings of the Globalizing Domain-Specific Languages, 2014

On the Globalization of Domain-Specific Languages.
Proceedings of the Globalizing Domain-Specific Languages, 2014

2013
Why it is so hard to use models in software development: observations.
Softw. Syst. Model., 2013

Model-based lifecycle management of software-intensive systems, applications, and services.
Softw. Syst. Model., 2013

The evolution of modeling research challenges.
Softw. Syst. Model., 2013

The 2012 "State of the Journal" Report.
Softw. Syst. Model., 2013

A newly introduced Industry Voice Column.
Softw. Syst. Model., 2013

Specification, Validation, and Enforcement of a Generalized Spatio-Temporal Role-Based Access Control Model.
IEEE Syst. J., 2013

FAMILIAR: A domain-specific language for large scale management of feature models.
Sci. Comput. Program., 2013

Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182).
Dagstuhl Reports, 2013

Editorial.
Computing, 2013

Reifying Concurrency for Executable Metamodeling.
Proceedings of the Software Language Engineering - 6th International Conference, 2013

Specification and analysis of access control policies for mobile applications.
Proceedings of the 18th ACM Symposium on Access Control Models and Technologies, 2013

Analyzing Behavioral Refactoring of Class Models.
Proceedings of the Workshop on Models and Evolution co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

Contract-Aware Slicing of UML Class Models.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013).
Proceedings of the 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, 2013

An Approach to Testing Java Implementation against Its UML Class Model.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Fine-Grained Software Evolution Using UML Activity and Class Models.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Summary of the 8th International Workshop on Models @ Run.time.
Proceedings of the 8th Workshop on Models @ Run.time co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

Introduction.
Proceedings of the 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, 2013

An Approach to Analyzing Temporal Properties in UML Class Models.
Proceedings of the 10th International Workshop on Model Driven Engineering, 2013

Composing Your Compositions of Variability Models.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

5th international workshop on modeling in software engineering (MiSE 2013).
Proceedings of the 35th International Conference on Software Engineering, 2013

Rigorous Analysis of Temporal Access Control Properties in Mobile Systems.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

GlobalDSL 2013: First Workshop on the Globalization of Domain Specific Languages.
Proceedings of the First Workshop on the Globalization of Domain Specific Languages, 2013

Using Model Types to Support Contract-Aware Model Substitutability.
Proceedings of the Modelling Foundations and Applications - 9th European Conference, 2013

Hypervisor Event Logs as a Source of Consistent Virtual Machine Evidence for Forensic Cloud Investigations.
Proceedings of the Data and Applications Security and Privacy XXVII, 2013

2012
Composing multiple variability artifacts to assemble coherent workflows.
Softw. Qual. J., 2012

A domain-specific modeling approach to realizing user-centric communication.
Softw. Pract. Exp., 2012

On the relationship between modeling and programming languages - Editorial for the SoSyM Issue 2012/01: Part 1.
Softw. Syst. Model., 2012

The journal on Software and Systems Modeling Matures.
Softw. Syst. Model., 2012

Modeling to improve quality or efficiency? An automotive domain perspective.
Softw. Syst. Model., 2012

Data warehouse concepts for model artifacts?
Softw. Syst. Model., 2012

The 2011 "State of the Journal" Report - Editorial for the SoSyM Issue 2012/01: Part 2.
Softw. Syst. Model., 2012

Open Models as a Foundation of Future Enterprise Systems (Dagstuhl Seminar 12131).
Dagstuhl Reports, 2012

Actor-based runtime model of adaptable feedback control loops.
Proceedings of the 7th Workshop on Models@run.time, Innsbruck, Austria, October 02, 2012, 2012

Repository for Model Driven Development (ReMoDD).
Proceedings of the 34th International Conference on Software Engineering, 2012

Systematic Scenario-Based Analysis of UML Design Class Models.
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Separation of concerns in feature modeling: support and applications.
Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

2011
Variability in UML language and semantics.
Softw. Syst. Model., 2011

Linking models and their storage artifacts.
Softw. Syst. Model., 2011

Teaching Programming Students how to Model: Challenges & Opportunities.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Models@run.time (Dagstuhl Seminar 11481).
Dagstuhl Reports, 2011

Challenges and directions in formalizing the semantics of modeling languages.
Comput. Sci. Inf. Syst., 2011

Managing feature models with familiar: a demonstration of the language and its tool support.
Proceedings of the Fifth International Workshop on Variability Modelling of Software-Intensive Systems, 2011

A domain-specific language for managing feature models.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Rigorous Analysis of UML Access Control Policy Models.
Proceedings of the POLICY 2011, 2011


Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far?
Proceedings of the Model Driven Engineering Languages and Systems, 2011

Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

Summary of the 6th International Workshop on Models@run.time.
Proceedings of the Models in Software Engineering, 2011

Decomposing feature models: language, environment, and applications.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Slicing feature models.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Formal Parameterization of Log Synchronization Events within a Distributed Forensic Compute Cloud Database Environment.
Proceedings of the Digital Forensics and Cyber Crime - Third International ICST Conference, 2011

Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Supporting Community-Driven Evolution of Model-Driven Development Knowledge Using ReMoDD.
Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

Fine-Grained Semi-automated Runtime Evolution.
Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

Mechanisms for Leveraging Models at Runtime in Self-adaptive Software.
Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

A DSML for Coordinating User-Centric Communication Services.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010
Workflow Design Using Fragment Composition - Crisis Management System Design through ADORE.
LNCS Trans. Aspect Oriented Softw. Dev., 2010

Modeling for the cloud.
Softw. Syst. Model., 2010

The 8th Annual State of SoSyM Report.
Softw. Syst. Model., 2010

Barriers to systematic model transformation testing.
Commun. ACM, 2010

Managing Variability in Workflow with Feature Model Composition Operators.
Proceedings of the Software Composition - 9th International Conference, 2010

Measuring the effort for creating and using domain-specific models.
Proceedings of the DSM@SPLASH 2010: Proceedings of the 10th Workshop on Domain-Specific Modeling, 2010

Comparing Approaches to Implement Feature Model Composition.
Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010

2009
SoSyM at 7 years.
Softw. Syst. Model., 2009

Why Johnny can't model.
Softw. Syst. Model., 2009

Workshop on modeling in software engineering at ICSE 2009.
ACM SIGSOFT Softw. Eng. Notes, 2009

Performance analysis of security aspects by weaving scenarios extracted from UML models.
J. Syst. Softw., 2009

Models@ run.time.
Computer, 2009

Composing Feature Models.
Proceedings of the Software Language Engineering, Second International Conference, 2009

Essentials of the 5th Educators' Symposium at MODELS 2009.
Proceedings of the Models in Software Engineering, 2009

Educators' Symposium at MODELS 2009.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

Teaching Modeling: Why, When, What?
Proceedings of the Models in Software Engineering, 2009

4<sup>th</sup> International Workshop on Models@run.time.
Proceedings of the Models in Software Engineering, 2009

Modeling in Software Engineering (MiSE 09).
Proceedings of the 31st International Conference on Software Engineering, 2009

A Rigorous Approach to Uncovering Security Policy Violations in UML Designs.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

2008
Correct development of real time and embedded systems.
Softw. Syst. Model., 2008

Model-based development.
Softw. Syst. Model., 2008

Fair treatment of evaluations in reviews.
Softw. Syst. Model., 2008

Aspect Oriented Modeling of Component Architectures Using AADL.
Proceedings of the NTMS 2008, 2008

Scenario-Based Static Analysis of UML Class Models.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

Third International Workshop on Models@run.time.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

Modeling in software engineering.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

A reference process for model composition.
Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling, 2008

2007
Six years of modeling in SoSyM.
Softw. Syst. Model., 2007

Feedback on our editorials.
Softw. Syst. Model., 2007

Does model driven engineering tame complexity?
Softw. Syst. Model., 2007

Testing UML designs.
Inf. Softw. Technol., 2007

A method engineering approach to developing aspect-oriented modelling processes based on the OPEN process framework.
Inf. Softw. Technol., 2007

Performance analysis of security aspects in UML models.
Proceedings of the 6th International Workshop on Software and Performance, 2007

A Generic Approach for Automatic Model Composition.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Second International Workshop on Models@run.time.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Realizing the Model Driven Engineering Vision.
Proceedings of the Actes des journées Langages et Modèles à Objets, 2007


Model-driven Development of Complex Software: A Research Roadmap.
Proceedings of the International Conference on Software Engineering, 2007

Modeling in Software Engineering.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

A light-weight static approach to analyzing UML behavioral properties.
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Modeling and Integrating Aspects into Component Architectures.
Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007

Providing Support for Model Composition in Metamodels.
Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007

Model-Driven Software Adaptation.
Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

Construction and Execution of Adaptable Applications Using an Aspect-Oriented and Model Driven Approach.
Proceedings of the Distributed Applications and Interoperable Systems, 2007

2006
Directives for Composing Aspect-Oriented Design Class Models.
LNCS Trans. Aspect Oriented Softw. Dev., 2006

Five years of modeling in SoSyM.
Softw. Syst. Model., 2006

Editorial for the SoSyM issue 2006/02.
Softw. Syst. Model., 2006

Modeling the Complex Living World.
Softw. Syst. Model., 2006

Developing Distributed Services Using an Aspect Oriented Model Driven Framework.
Int. J. Cooperative Inf. Syst., 2006

Model-Driven Development Using UML 2.0: Promises and Pitfalls.
Computer, 2006

Critical Systems Development Using Modeling Languages - CSDUML 2006 Workshop Report.
Proceedings of the Models in Software Engineering, 2006

Repository for Model Driven Development (ReMoDD).
Proceedings of the Models in Software Engineering, 2006

Summary of the Workshop Models@run.time at MoDELS 2006.
Proceedings of the Models in Software Engineering, 2006

A Systematic Approach to Generate Inputs to Test UML Design Models.
Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

2005
A Framework for Design Tradeoffs.
Softw. Qual. J., 2005

A middleware-transparent approach to developing distributed applications.
Softw. Pract. Exp., 2005

Modeling Paradigms.
Softw. Syst. Model., 2005

Model aesthetics.
Softw. Syst. Model., 2005

Domain specific modeling.
Softw. Syst. Model., 2005

Assumptions Underlying Agile Software-Development Processes.
J. Database Manag., 2005

A Model-based approach to Managing Enterprise Information Systems.
Proceedings of the Web Services and Model-Driven Enterprise Information Services, 2005

Verifiable composition of access control and application features.
Proceedings of the 10th ACM Symposium on Access Control Models and Technologies, 2005

Cost-Benefit Trade-Off Analysis Using BBN for Aspect-Oriented Risk-Driven Development.
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

A Tool-Supported Approach to Testing UML Design Models.
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

An Aspect Oriented Model Driven Framework.
Proceedings of the Ninth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2005), 2005

UMLAnT: an Eclipse plugin for animating and testing UML designs.
Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, 2005

Using Aspect Oriented Techniques to Support Separation of Concerns in Model Driven Development.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004
A UML-based language for specifying domain-specific patterns.
J. Vis. Lang. Comput., 2004

A UML-Based Pattern Specification Technique.
IEEE Trans. Software Eng., 2004

SoSyM at three.
Softw. Syst. Model., 2004

Assessing model quality.
Softw. Syst. Model., 2004

In search of effective design abstractions.
Softw. Syst. Model., 2004

A software engineering research repository.
ACM SIGSOFT Softw. Eng. Notes, 2004

An aspect-based approach to modeling access control concerns.
Inf. Softw. Technol., 2004

Aspect-oriented approach to early design modelling.
IEE Proc. Softw., 2004

Model Composition Directives.
Proceedings of the «UML» 2004, 2004

Critical Systems Development Using Modeling Languages (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop).
Proceedings of the UML Modeling Languages and Applications, 2004

Specifying Cross-Cutting Requirement Concerns.
Proceedings of the «UML» 2004, 2004

EPTUD: An Eclipse Plugin for Testing UML Designs.
Proceedings of the UML Modeling Languages and Applications, 2004

Using uml to visualize role-based access control constraints.
Proceedings of the 9th ACM Symposium on Access Control Models and Technologies, 2004

Supporting Rigorous Evolution of UML Models.
Proceedings of the 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 2004

Modeling Role-Based Access Control Using Parameterized UML Models.
Proceedings of the Fundamental Approaches to Software Engineering, 2004

Requirements Trade-offs During UML Design.
Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

2003
Test adequacy criteria for UML design models.
Softw. Test. Verification Reliab., 2003

Editorial - Model engineering.
Softw. Syst. Model., 2003

Editorial.
Softw. Syst. Model., 2003

A Metamodeling Approach to Pattern-Based Model Refactoring.
IEEE Softw., 2003

Supporting Effective Software Modeling.
Obj. Logiciel Base données Réseaux, 2003

Rigorous Testing by Merging Structural and Behavioral UML Representations.
Proceedings of the «UML» 2003, 2003

Using Parameterized UML to Specify and Compose Access Control Models.
Proceedings of the Integrity and Internal Control in Information Systems VI, 2003

A metamodeling approach to model transformation.
Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003

Test Adequacy Assessment for UML Design Model Testing.
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

A Role-Based Metamodeling Approach to Specifying Design Patterns.
Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

2002
First Issue of the International Journal on Software and Systems Modeling.
Softw. Syst. Model., 2002

Designing High Integrity Systems Using Aspects.
Proceedings of the Integrity and Internal Control in Information Systems V, 2002

Model-Driven Approaches to Software Development.
Proceedings of the Advances in Object-Oriented Information Systems, 2002

Tool Support for Aspect-Oriented Design.
Proceedings of the Advances in Object-Oriented Information Systems, 2002

UML Aspect Specification Using Role Models.
Proceedings of the Object-Oriented. Information Systems, 8th International Conference, 2002

Object-Oriented Theories for Model Driven Architecture.
Proceedings of the Advances in Object-Oriented Information Systems, 2002

Using Role-Based Modeling Language (RBML) to Characterize Model Families.
Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002

Using Aspects to Design a Secure System.
Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002

Integration and Transformation of UML Models.
Proceedings of the Object-Oriented Technology, 2002

2001
RIGR - A Repository Model Based Approach to Management.
Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study.
Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

Towards a Model-Driven Approach to Reuse.
Proceedings of the 7th International Conference on Object Oriented Information Systems, 2001

Improving the UML Metamodel to Rigorously Specify Aggregation and Composition.
Proceedings of the 7th International Conference on Object Oriented Information Systems, 2001

Extending the UML to Support Evolution Management.
Proceedings of the 2001 International Conference on Software Maintenance, 2001

Multi-View Software Evolution: A UML-based Framework for Evolving Object-Oriented Software.
Proceedings of the 2001 International Conference on Software Maintenance, 2001

UML for Software Engineers.
Proceedings of the 23rd International Conference on Software Engineering, 2001

2000
Generating test-cases from an object-oriented model with an artifical-intelligence planning system.
IEEE Trans. Reliab., 2000

A Semantic Comparison of Fusion and Syntropy.
Comput. J., 2000

UML2Z: An UML-Based Object-Oriented Modeling Tool for an Internet Integrated Formalization Process.
Proceedings of the 6th International Conference on Object Oriented Information Systems, 2000

Defining Precise Semantics for UML.
Proceedings of the Object-Oriented Technology, 2000

1999
A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts.
Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

Generating test cases from an OO model with an AI planning system.
Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999

What Does the Term <i>Semantics</i> Mean in the Context of UML.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Is a Precise Semantics Desirable? For What Purpose?
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Aggregation.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Reasoning about VHDL and VHDL-AMS using Denotational Semantics.
Proceedings of the 1999 Design, 1999

Meta-Modelling Semantics of UML.
Proceedings of the Behavioral Specifications of Businesses and Systems, 1999

1998
The UML as a formal modeling notation.
Comput. Stand. Interfaces, 1998

Extending Aggregation Constructs in UML.
Proceedings of the Unified Modeling Language, 1998

1997
An Integrated Object-Oriented and Formal Modeling Environment.
J. Object Oriented Program., 1997

From Domain Models to Architecture Frameworks.
Proceedings of the 1997 ACM SIGSOFT Symposium on Symposium on Software Reusability, 1997

Towards Semantic-Based Object-Oriented CASE Tools.
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

Towards a Rigorous Object-Oriented Analysis and Design Method.
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

Integrated Informal Object-Oriented and Formal Modeling Techniques.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Towards a formalization of UML class structures in Z.
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations.
Proceedings of the Algebraic Methodology and Software Technology, 1997

1996
A Z-based Approach to Specifying and Analyzing Complex Systems.
Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

Guidelines for Formalizing Fusion Object-Oriented Analysis Methods .
Proceedings of the Advances Information System Engineering, 8th International Conference, 1996

1995
A Two-Dimensional View of Integrated Formal and Informal Specification Techniques.
Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

Applying Domain Analysis and Modeling: An Industrial Experience.
Proceedings of the ACM SIGSOFT Symposium on Software Reusability, 1995

Formal specification of real-time dependable systems.
Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

A Formal Specification of an Authorization Model for Object-Oriented Databases.
Proceedings of the Database Security IX: Status and Prospects, 1995

Understanding the Role of Formal Specification Techniques in Requirements Engineering.
Proceedings of the Software Engineering Education, 8th SEI CSEE Conference, New Orleans, LA, USA, March 29, 1995

1994
From Structured Analysis to Formal Specifications: State of the Theory.
Proceedings of the ACM 22rd Annual Computer Science Conference on Scaling up: Meeting the Challenge of Complexity in Real-World Computing Applications, 1994

1993
A predicative basis for structured analysis specification tools.
Inf. Softw. Technol., 1993

Towards CASE Tool Support for Rigorous Structured Analysis.
Proceedings of the Computing and Information, 1993

1992
Semantically Extended Data Flow Diagrams: A Formal Specification Tool.
IEEE Trans. Software Eng., 1992

Integrated Structured Analysis and Formal Specification Techniques.
Comput. J., 1992

1989
Flexibility and Rigour in Structured Analysis.
Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

Formal Specification Using Structured Systems Analysis.
Proceedings of the ESEC '89, 1989


  Loading...