Robert B. France

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Fine-Grained Software Evolution Using UML Activity and Class Models.

[BibT_eX]

[DOI]

Walter Cazzola

Nicole Alicia Rossini

Mohammed Al-Refai

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Summary of the 8th International Workshop on Models @ Run.time.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

An Approach to Analyzing Temporal Properties in UML Class Models.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Model Driven Engineering, 2013

Composing Your Compositions of Variability Models.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

5th international workshop on modeling in software engineering (MiSE 2013).

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Rigorous Analysis of Temporal Access Control Properties in Mobile Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Benoît Combemale

Walter Cazzola

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

Using Model Types to Support Contract-Aware Model Substitutability.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Data and Applications Security and Privacy XXVII, 2013

2012

Composing multiple variability artifacts to assemble coherent workflows.

[BibT_eX]

[DOI]

Softw. Qual. J., 2012

A domain-specific modeling approach to realizing user-centric communication.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2012

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

[BibT_eX]

[DOI]

Softw. Syst. Model., 2012

The journal on Software and Systems Modeling Matures.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2012

Modeling to improve quality or efficiency? An automotive domain perspective.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2012

Data warehouse concepts for model artifacts?

[BibT_eX]

[DOI]

Softw. Syst. Model., 2012

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

[BibT_eX]

[DOI]

Softw. Syst. Model., 2012

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

[BibT_eX]

[DOI]

Dagstuhl Reports, 2012

Actor-based runtime model of adaptable feedback control loops.

[BibT_eX]

[DOI]

Filip Krikava

Philippe Collet

Proceedings of the 7th Workshop on Models@run.time, Innsbruck, Austria, October 02, 2012, 2012

Repository for Model Driven Development (ReMoDD).

[BibT_eX]

[DOI]

Sai Pradeep Mandalaparty

Betty H. C. Cheng

Adam C. Jensen

Proceedings of the 34th International Conference on Software Engineering, 2012

Systematic Scenario-Based Analysis of UML Design Class Models.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Separation of concerns in feature modeling: support and applications.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

2011

Variability in UML language and semantics.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2011

Linking models and their storage artifacts.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2011

Teaching Programming Students how to Model: Challenges & Opportunities.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Models@run.time (Dagstuhl Seminar 11481).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2011

Challenges and directions in formalizing the semantics of modeling languages.

[BibT_eX]

[DOI]

Comput. Sci. Inf. Syst., 2011

Managing feature models with familiar: a demonstration of the language and its tool support.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Variability Modelling of Software-Intensive Systems, 2011

A domain-specific language for managing feature models.

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Rigorous Analysis of UML Access Control Policy Models.

[BibT_eX]

[DOI]

Wuliang Sun

Proceedings of the POLICY 2011, 2011

Comparing Six Modeling Approaches.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2011

Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far?

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior.

[BibT_eX]

[DOI]

Mickael Clavreul

Sébastien Mosser

Mireille Blay-Fornarino

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Summary of the 6th International Workshop on Models@run.time.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2011

Decomposing feature models: language, environment, and applications.

[BibT_eX]

[DOI]

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

Slicing feature models.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Digital Forensics and Cyber Crime - Third International ICST Conference, 2011

Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models.

[BibT_eX]

[DOI]

Wuliang Sun

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Supporting Community-Driven Evolution of Model-Driven Development Knowledge Using ReMoDD.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

Fine-Grained Semi-automated Runtime Evolution.

[BibT_eX]

[DOI]

Walter Cazzola

Nicole Alicia Rossini

Phillipa Bennett

Sai Pradeep Mandalaparty

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.

[BibT_eX]

[DOI]

Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

A DSML for Coordinating User-Centric Communication Services.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Sébastien Mosser

Mireille Blay-Fornarino

LNCS Trans. Aspect Oriented Softw. Dev., 2010

Modeling for the cloud.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2010

The 8th Annual State of SoSyM Report.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2010

Barriers to systematic model transformation testing.

[BibT_eX]

[DOI]

Commun. ACM, 2010

Managing Variability in Workflow with Feature Model Composition Operators.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 9th International Conference, 2010

Measuring the effort for creating and using domain-specific models.

[BibT_eX]

[DOI]

Proceedings of the DSM@SPLASH 2010: Proceedings of the 10th Workshop on Domain-Specific Modeling, 2010

Comparing Approaches to Implement Feature Model Composition.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010

2009

SoSyM at 7 years.

[BibT_eX]

[DOI]

Martin Schindler

Softw. Syst. Model., 2009

Why Johnny can't model.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2009

Workshop on modeling in software engineering at ICSE 2009.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2009

Performance analysis of security aspects by weaving scenarios extracted from UML models.

[BibT_eX]

[DOI]

J. Syst. Softw., 2009

Models@ run.time.

[BibT_eX]

[DOI]

Computer, 2009

Composing Feature Models.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering, Second International Conference, 2009

Essentials of the 5th Educators' Symposium at MODELS 2009.

[BibT_eX]

[DOI]

Martin Gogolla

Proceedings of the Models in Software Engineering, 2009

Educators' Symposium at MODELS 2009.

[BibT_eX]

[DOI]

Martin Gogolla

Proceedings of the Model Driven Engineering Languages and Systems, 2009

Teaching Modeling: Why, When, What?

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2009

4<sup>th</sup> International Workshop on Models@run.time.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2009

Modeling in Software Engineering (MiSE 09).

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

A Rigorous Approach to Uncovering Security Policy Violations in UML Designs.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

2008

Correct development of real time and embedded systems.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2008

Model-based development.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2008

Fair treatment of evaluations in reviews.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2008

Aspect Oriented Modeling of Component Architectures Using AADL.

[BibT_eX]

[DOI]

Proceedings of the NTMS 2008, 2008

Scenario-Based Static Analysis of UML Class Models.

[BibT_eX]

[DOI]

Lijun Yu

Proceedings of the Model Driven Engineering Languages and Systems, 2008

Third International Workshop on Models@run.time.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

Modeling in software engineering.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

A reference process for model composition.

[BibT_eX]

[DOI]

Cédric Jeanneret

Benoit Baudry

Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling, 2008

2007

Six years of modeling in SoSyM.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2007

Feedback on our editorials.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2007

Does model driven engineering tame complexity?

[BibT_eX]

[DOI]

Softw. Syst. Model., 2007

Testing UML designs.

[BibT_eX]

[DOI]

Orest Pilskalns

Andrew Knight

Inf. Softw. Technol., 2007

A method engineering approach to developing aspect-oriented modelling processes based on the OPEN process framework.

[BibT_eX]

[DOI]

Brian Henderson-Sellers

Raghu Reddy

Inf. Softw. Technol., 2007

Performance analysis of security aspects in UML models.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Software and Performance, 2007

A Generic Approach for Automatic Model Composition.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Proceedings of the Actes des journées Langages et Modèles à Objets, 2007

On the Contributions of an End-to-End AOSD Testbed.

[BibT_eX]

[DOI]

Proceedings of the Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design, 2007

Model-driven Development of Complex Software: A Research Roadmap.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Engineering, 2007

Modeling in Software Engineering.

[BibT_eX]

[DOI]

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

A light-weight static approach to analyzing UML behavioral properties.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Modeling and Integrating Aspects into Component Architectures.

[BibT_eX]

[DOI]

Lydia Michotte

Franck Fleurey

Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007

Providing Support for Model Composition in Metamodels.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007

Model-Driven Software Adaptation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Distributed Applications and Interoperable Systems, 2007

2006

Directives for Composing Aspect-Oriented Design Class Models.

[BibT_eX]

[DOI]

LNCS Trans. Aspect Oriented Softw. Dev., 2006

Five years of modeling in SoSyM.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2006

Editorial for the SoSyM issue 2006/02.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2006

Modeling the Complex Living World.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2006

Developing Distributed Services Using an Aspect Oriented Model Driven Framework.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2006

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

[BibT_eX]

[DOI]

Computer, 2006

Critical Systems Development Using Modeling Languages - CSDUML 2006 Workshop Report.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2006

Repository for Model Driven Development (ReMoDD).

[BibT_eX]

[DOI]

Betty H. C. Cheng

Proceedings of the Models in Software Engineering, 2006

Summary of the Workshop Models@run.time at MoDELS 2006.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2006

A Systematic Approach to Generate Inputs to Test UML Design Models.

[BibT_eX]

[DOI]

Trung T. Dinh-Trong

Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

2005

A Framework for Design Tradeoffs.

[BibT_eX]

[DOI]

Ed Mancebo

Per Runeson

Softw. Qual. J., 2005

A middleware-transparent approach to developing distributed applications.

[BibT_eX]

[DOI]

Roopashree P. Shankar

Gagan Tandon

Peter Vile

Shuxin Yin

Softw. Pract. Exp., 2005

Modeling Paradigms.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2005

Model aesthetics.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2005

Domain specific modeling.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2005

Assumptions Underlying Agile Software-Development Processes.

[BibT_eX]

[DOI]

Daniel E. Turk

J. Database Manag., 2005

A Model-based approach to Managing Enterprise Information Systems.

[BibT_eX]

Roger Burkhart

Charmaine DeLisser

Proceedings of the Web Services and Model-Driven Enterprise Information Services, 2005

Verifiable composition of access control and application features.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

A Tool-Supported Approach to Testing UML Design Models.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

An Aspect Oriented Model Driven Framework.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2005), 2005

UMLAnT: an Eclipse plugin for animating and testing UML designs.

[BibT_eX]

[DOI]

Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, 2005

Using Aspect Oriented Techniques to Support Separation of Concerns in Model Driven Development.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004

A UML-based language for specifying domain-specific patterns.

[BibT_eX]

[DOI]

Dae-Kyoo Kim

J. Vis. Lang. Comput., 2004

A UML-Based Pattern Specification Technique.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2004

SoSyM at three.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2004

Assessing model quality.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2004

In search of effective design abstractions.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2004

A software engineering research repository.

[BibT_eX]

[DOI]

Roger T. Alexander

ACM SIGSOFT Softw. Eng. Notes, 2004

An aspect-based approach to modeling access control concerns.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2004

Aspect-oriented approach to early design modelling.

[BibT_eX]

[DOI]

IEE Proc. Softw., 2004

Model Composition Directives.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Constance L. Heitmeyer

Proceedings of the UML Modeling Languages and Applications, 2004

Specifying Cross-Cutting Requirement Concerns.

[BibT_eX]

[DOI]

Raghu Reddy

Proceedings of the «UML» 2004, 2004

EPTUD: An Eclipse Plugin for Testing UML Designs.

[BibT_eX]

[DOI]

Proceedings of the UML Modeling Languages and Applications, 2004

Using uml to visualize role-based access control constraints.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM Symposium on Access Control Models and Technologies, 2004

Supporting Rigorous Evolution of UML Models.

[BibT_eX]

[DOI]

Sheena R. Judson

Doris L. Carver

Proceedings of the 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 2004

Modeling Role-Based Access Control Using Parameterized UML Models.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2004

Requirements Trade-offs During UML Design.

[BibT_eX]

[DOI]

Per Runeson

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.

[BibT_eX]

[DOI]

Gerald Craig

Softw. Test. Verification Reliab., 2003

Editorial.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2003

Editorial - Model engineering.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2003

A Metamodeling Approach to Pattern-Based Model Refactoring.

[BibT_eX]

[DOI]

IEEE Softw., 2003

Supporting Effective Software Modeling.

[BibT_eX]

[DOI]

Daniel E. Turk

Obj. Logiciel Base données Réseaux, 2003

Rigorous Testing by Merging Structural and Behavioral UML Representations.

[BibT_eX]

[DOI]

Orest Pilskalns

Proceedings of the «UML» 2003, 2003

Using Parameterized UML to Specify and Compose Access Control Models.

[BibT_eX]

[DOI]

Proceedings of the Integrity and Internal Control in Information Systems VI, 2003

A metamodeling approach to model transformation.

[BibT_eX]

[DOI]

Sheena R. Judson

Doris L. Carver

Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003

Test Adequacy Assessment for UML Design Model Testing.

[BibT_eX]

[DOI]

Orest Pilskalns

Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

A Role-Based Metamodeling Approach to Specifying Design Patterns.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2002

Designing High Integrity Systems Using Aspects.

[BibT_eX]

Proceedings of the Integrity and Internal Control in Information Systems V, 2002

Model-Driven Approaches to Software Development.

[BibT_eX]

[DOI]

Proceedings of the Advances in Object-Oriented Information Systems, 2002

Tool Support for Aspect-Oriented Design.

[BibT_eX]

[DOI]

François Mekerke

Proceedings of the Advances in Object-Oriented Information Systems, 2002

UML Aspect Specification Using Role Models.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented. Information Systems, 8th International Conference, 2002

Object-Oriented Theories for Model Driven Architecture.

[BibT_eX]

[DOI]

Tony Clark

Andy Evans

Proceedings of the Advances in Object-Oriented Information Systems, 2002

Using Role-Based Modeling Language (RBML) to Characterize Model Families.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002

Using Aspects to Design a Secure System.

[BibT_eX]

[DOI]

José Ambrosio Toval Álvarez

Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002

Integration and Transformation of UML Models.

[BibT_eX]

[DOI]

João Araújo

Jonathan Whittle

Proceedings of the Object-Oriented Technology, 2002

2001

RIGR - A Repository Model Based Approach to Management.

[BibT_eX]

[DOI]

Ray Trask

Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study.

[BibT_eX]

[DOI]

Jores Bieman

Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

Towards a Model-Driven Approach to Reuse.

[BibT_eX]

[DOI]

Daniel E. Turk

Proceedings of the 7th International Conference on Object Oriented Information Systems, 2001

Improving the UML Metamodel to Rigorously Specify Aggregation and Composition.

[BibT_eX]

[DOI]

Brian Henderson-Sellers

Franck Barbier

Annig Le Parc

Proceedings of the 7th International Conference on Object Oriented Information Systems, 2001

Extending the UML to Support Evolution Management.

[BibT_eX]

[DOI]

Ray Trask

Proceedings of the 2001 International Conference on Software Maintenance, 2001

Multi-View Software Evolution: A UML-based Framework for Evolving Object-Oriented Software.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Conference on Software Maintenance, 2001

UML for Software Engineers.

[BibT_eX]

Cris Kobryn

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.

[BibT_eX]

[DOI]

Anneliese von Mayrhauser

Michael Scheetz

Eric Dahlman

IEEE Trans. Reliab., 2000

A Semantic Comparison of Fusion and Syntropy.

[BibT_eX]

[DOI]

Kevin Lano

Comput. J., 2000

UML2Z: An UML-Based Object-Oriented Modeling Tool for an Internet Integrated Formalization Process.

[BibT_eX]

[DOI]

Ramchander Varadarajan

Adam Carheden

Proceedings of the 6th International Conference on Object Oriented Information Systems, 2000

Defining Precise Semantics for UML.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology, 2000

1999

A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Anneliese von Mayrhauser

Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999

What Does the Term <i>Semantics</i> Mean in the Context of UML.

[BibT_eX]

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

Is a Precise Semantics Desirable? For What Purpose?

[BibT_eX]

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

Aggregation.

[BibT_eX]

Andy Evans

Natividad Martínez Madrid

Guy Genilloud

Brian Henderson-Sellers

Perdita Stevens

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

Reasoning about VHDL and VHDL-AMS using Denotational Semantics.

[BibT_eX]

[DOI]

Peter T. Breuer

Jonathan P. Bowen

Carlos Delgado Kloos

Proceedings of the 1999 Design, 1999

Meta-Modelling Semantics of UML.

[BibT_eX]

[DOI]

Proceedings of the Behavioral Specifications of Businesses and Systems, 1999

1998

The UML as a formal modeling notation.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 1998

Extending Aggregation Constructs in UML.

[BibT_eX]

[DOI]

Minika Saksena

Matthew P. Evett

Proceedings of the Unified Modeling Language, 1998

1997

An Integrated Object-Oriented and Formal Modeling Environment.

[BibT_eX]

J. Object Oriented Program., 1997

From Domain Models to Architecture Frameworks.

[BibT_eX]

[DOI]

Proceedings of the 1997 ACM SIGSOFT Symposium on Symposium on Software Reusability, 1997

Towards Semantic-Based Object-Oriented CASE Tools.

[BibT_eX]

[DOI]

Matthew P. Evett

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

Towards a Rigorous Object-Oriented Analysis and Design Method.

[BibT_eX]

[DOI]

Minika Saksena

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

Integrated Informal Object-Oriented and Formal Modeling Techniques.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Towards a formalization of UML class structures in Z.

[BibT_eX]

[DOI]

Malcolm Shroff

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

A Z-based Approach to Specifying and Analyzing Complex Systems.

[BibT_eX]

[DOI]

Abdelmalek Benzekri

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

Guidelines for Formalizing Fusion Object-Oriented Analysis Methods .

[BibT_eX]

[DOI]

B. W. Bates

Proceedings of the Advances Information System Engineering, 8th International Conference, 1996

1995

A Two-Dimensional View of Integrated Formal and Informal Specification Techniques.

[BibT_eX]

[DOI]

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

Applying Domain Analysis and Modeling: An Industrial Experience.

[BibT_eX]

[DOI]

Thomas B. Horton

Proceedings of the ACM SIGSOFT Symposium on Software Reusability, 1995

Formal specification of real-time dependable systems.

[BibT_eX]

[DOI]

Eduardo B. Fernández

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.

[BibT_eX]

Eduardo B. Fernández

D. Wei

Proceedings of the Database Security IX: Status and Prospects, 1995

Understanding the Role of Formal Specification Techniques in Requirements Engineering.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 1993

Towards CASE Tool Support for Rigorous Structured Analysis.

[BibT_eX]