Richard F. Paige

According to our database1, Richard F. Paige authored at least 260 papers between 1997 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon.
Software and Systems Modeling, 2020

Grand challenges in model-driven engineering: an analysis of the state of the research.
Software and Systems Modeling, 2020

Toward model-driven sustainability evaluation.
Commun. ACM, 2020

2019
Type inference in flexible model-driven engineering using classification algorithms.
Software and Systems Modeling, 2019

Stress-testing remote model querying APIs for relational and graph-based stores.
Software and Systems Modeling, 2019

Contents for a Model-Based Software Engineering Body of Knowledge.
Software and Systems Modeling, 2019

Towards Optimisation of Model Queries: A Parallel Execution Approach.
J. Object Technol., 2019

ModelFlow: towards reactive model management workflows.
Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2019

Crossflow: a framework for distributed mining of software repositories.
Proceedings of the 16th International Conference on Mining Software Repositories, 2019

On-the-Fly Translation and Execution of OCL-Like Queries on Simulink Models.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

On the Challenges of Model Decorations for Capturing Complex Metadata.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Reusable Textual Notations for Domain-Specific Languages.
Proceedings of the 19th International Workshop in OCL and Textual Modeling (OCL 2019) co-located with IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), 2019

Criteria to Systematically Evaluate (Safety) Assurance Cases.
Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

Domain-specific languages for the design, deployment and manipulation of heterogeneous databases.
Proceedings of the 11th International Workshop on Modelling in Software Engineerings, 2019

2018
Evaluating cloud database migration options using workload models.
J. Cloud Computing, 2018

Requirements in digital forensics method definition: Observations from a UK study.
Digital Investigation, 2018

Modeling for Sustainability (Dagstuhl Seminar 18351).
Dagstuhl Reports, 2018

Restmule: enabling resilient clients for remote APIs.
Proceedings of the 15th International Conference on Mining Software Repositories, 2018

Parallel execution of first-order operations.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

Towards a modular and flexible human-usable textual syntax for EMF models.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

How do we teach modelling and model-driven engineering?: a survey.
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

Towards a body of knowledge for model-based software engineering.
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

On Software Modernisation due to Library Obsolescence.
Proceedings of the 2nd IEEE/ACM International Workshop on API Usage and Evolution, 2018

Dependent input sampling strategies: using metaheuristics for generating parameterised random sampling regimes.
Proceedings of the Genetic and Evolutionary Computation Conference, 2018

Search-Based Temporal Testing in an Embedded Multicore Platform.
Proceedings of the Applications of Evolutionary Computation, 2018

Towards Automatic Generation of UML Profile Graphical Editors for Papyrus.
Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018

Parallel Model Validation with Epsilon.
Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018

2017
Eugenia: towards disciplined and automated development of GMF-based graphical model editors.
Software and Systems Modeling, 2017

Model-based tool support for Tactical Data Links: an experience report from the defence domain.
Software and Systems Modeling, 2017

Foreword to the special section on negative results in software engineering.
Empirical Software Engineering, 2017

Constraint programming for type inference in flexible model-driven engineering.
Comput. Lang. Syst. Struct., 2017

SECT-AIR: Software Engineering Costs and Timescales - Aerospace Initiative for Reduction.
Proceedings of the Software Technologies: Applications and Foundations, 2017

Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems.
Proceedings of the Software Technologies: Applications and Foundations, 2017

Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER).
Proceedings of the Software Technologies: Applications and Foundations, 2017

Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

User Experience for Model-Driven Engineering: Challenges and Future Directions.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

The Epsilon Pattern Language.
Proceedings of the 9th IEEE/ACM International Workshop on Modelling in Software Engineering, 2017

The Changing Face of Model-Driven Engineering.
Proceedings of the Present and Ulterior Software Engineering., 2017

2016
Evolving models in Model-Driven Engineering: State-of-the-art and future challenges.
J. Syst. Softw., 2016

MONDO: Scalable Modelling and Model Management on the Cloud.
Proceedings of the Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016), 2016

Towards Platform Independent Database Modelling in Enterprise Systems.
Proceedings of the Software Technologies: Applications and Foundations, 2016

A Maturity Model for Integrating Agile Processes and User Centred Design.
Proceedings of the Software Process Improvement and Capability Determination, 2016

Partial loading of XMI models.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

A Systematic Approach for Designing Mutation Operators for MDE Languages.
Proceedings of the 13th Workshop on Model-Driven Engineering, 2016

A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax.
Proceedings of the Theory and Practice of Model Transformations, 2016

Language engineering: challenges, opportunities and potential disasters for interactive systems.
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

Stress-Testing Centralised Model Stores.
Proceedings of the Modelling Foundations and Applications - 12th European Conference, 2016

Engineering Bidirectional Transformations.
Proceedings of the Bidirectional Transformations, 2016

2015
Localized model transformations for building large-scale transformations.
Software and Systems Modeling, 2015

Formal verification and validation of embedded systems: the UML-based MADES approach.
Software and Systems Modeling, 2015

User-visible cryptography in email and web scenarios.
Inf. Comput. Secur., 2015

Domain-Specific Languages (Dagstuhl Seminar 15062).
Dagstuhl Reports, 2015

Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014).
Comput. Lang. Syst. Struct., 2015

Patterns in Model Engineering 2015 - a Workshop Summary.
Proceedings of the First Workshop on Patterns in Model Engineering, 2015

MONDO: Scalable Modelling and Model Management on the Cloud.
Proceedings of the Projects Showcase, 2015


Observations on Utilising Usability Maturity Model-Human Centredness Scale in Integrating Agile Development Processes and User Centred Design.
Proceedings of the Software Process Improvement and Capability Determination, 2015

Flexible Modelling for Requirements Engineering.
Proceedings of the Workshop on Flexible Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2015), 2015

Type Inference Using Concrete Syntax Properties in Flexible Model-Driven Engineering.
Proceedings of the Workshop on Flexible Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2015), 2015

Evaluating Student Work in Modelling Courses.
Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

Assessing the Use of Eclipse MDE Technologies in Open-Source Software Projects.
Proceedings of the International Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

An OCL-based Bridge from Concrete to Abstract Syntax.
Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015).
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

7th International Workshop on Modeling in Software Engineering (MiSE 2015).
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Weaving an Assurance Case from Design: A Model-Based Approach.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Patterns for integrating agile development processes and user centred design.
Proceedings of the 20th European Conference on Pattern Languages of Programs, 2015

Type Inference in Flexible Model-Driven Engineering.
Proceedings of the Modelling Foundations and Applications - 11th European Conference, 2015

2014
Epsilon Flock: a model migration language.
Software and Systems Modeling, 2014

Guest editorial to the special issue on Success Stories in Model Driven Engineering.
Sci. Comput. Program., 2014

A tutorial on metamodelling for grammar researchers.
Sci. Comput. Program., 2014

On Demand Data Analysis and Filtering for Inaccurate Flight Trajectories.
CoRR, 2014

Manifesto - Model Engineering for Complex Systems.
CoRR, 2014

Re-engineering the Database Layer of Legacy Applications for Scalable Cloud Deployment.
Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014

Strategy-guided requirements development and validation.
Proceedings of the 15th IEEE/ACIS International Conference on Software Engineering, 2014

An Evaluation Template for Expert Review of Maturity Models.
Proceedings of the Product-Focused Software Process Improvement, 2014

Analysing the 'biodiversity' of open source ecosystems: the GitHub case.
Proceedings of the 11th Working Conference on Mining Software Repositories, 2014

Assigning Semantics to Graphical Concrete Syntaxes.
Proceedings of the 3rd Workshop on Extreme Modeling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, 2014

Software Analytics for MDE Communities.
Proceedings of the 1st Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, 2014

A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Towards Rigorously Faking Bidirectional Model Transformations.
Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

Bad Modelling Teaching Practices.
Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

CMSEBA 2014 Workshop Report.
Proceedings of the First International Workshop on Combining Modelling with Search- and Example-Based Approaches co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

Model Driven Grant Proposal Engineering.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Integrating Agile Development Processes and User Centred Design- A Place for Usability Maturity Models?
Proceedings of the Human-Centered Software Engineering, 2014

A systematic literature review for agile development processes and user centred design integration.
Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, 2014

System of Systems Acquisition Trade-offs.
Proceedings of the Conference on Systems Engineering Research, 2014

Resource Requirement Analysis for Web Applications Running in a Virtualised Environment.
Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

A Practitioner Perspective on Integrating Agile and User Centred Design.
Proceedings of the BCS-HCI 2014 Proceedings of the 28th International BCS Human Computer Interaction Conference, 2014

2013
Model-Driven Engineering and Model Transformation: for Fun and Profit.
Proceedings of the Engineering Dependable Software Systems, 2013

Genericity for model management operations.
Software and Systems Modeling, 2013

Guest editorial to the special issue on model transformation.
Software and Systems Modeling, 2013

Engineering model transformations with transML.
Software and Systems Modeling, 2013

Lies, Damned Lies and UML2Java.
J. Object Technol., 2013

The Value of User-Visible Internet Cryptography
CoRR, 2013

A research roadmap towards achieving scalability in model driven engineering.
Proceedings of the Workshop on Scalability in Model Driven Engineering, 2013

What do Metamodels Really Look Like?
Proceedings of the 3rd International Workshop on Experiences and Empirical Studies in Software Modeling co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

Exploring the Use of Metaheuristic Search to Infer Models of Dynamic System Behaviour.
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

Towards a Multi-Domain Model-Driven Traceability Approach.
Proceedings of the 7th Workshop on Multi-Paradigm Modeling co-located with the 16th International Conference on Model Driven Engineering Languages and Systems, 2013

Multimodel-Driven Software Engineering for Evolving Enterprise Systems.
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

A Traceability-Driven Approach to Model Transformation Testing.
Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), 2013

Programmatic Muddle Management.
Proceedings of the Workshop on Extreme Modeling co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2013), 2013

Adding Spreadsheets to the MDE Toolkit.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Towards a Scalable Cloud Platform for Search-Based Probabilistic Testing.
Proceedings of the 2013 IEEE International Conference on Software Maintenance, 2013

1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013).
Proceedings of the 35th International Conference on Software Engineering, 2013

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

2012
Lessons learned from building model-driven development tools.
Software and Systems Modeling, 2012

Special issue on Model Based Engineering for Embedded Systems Design.
J. Syst. Archit., 2012

Surveying Rule Inheritance in Model-to-Model Transformation Languages.
J. Object Technol., 2012

Large-scale complex IT systems.
Commun. ACM, 2012

Approaches to Modelling Security Scenarios with Domain-Specific Languages.
Proceedings of the Security Protocols XX, 2012

Metamodelling for Grammarware Researchers.
Proceedings of the Software Language Engineering, 5th International Conference, 2012

Revealing Complexity through Domain-Specific Modelling and Analysis.
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Searching for model migration strategies.
Proceedings of the 6th International Workshop on Models and Evolution, 2012

Sensitivity Analysis in Model-Driven Engineering.
Proceedings of the Model Driven Engineering Languages and Systems, 2012

Chaining model transformations.
Proceedings of the First Workshop on the Analysis of Model Transformations, 2012

Modelling and comparing cloud computing service level agreements.
Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing co-located with 15th International Conference on Model Driven Engineering Languages and Systems (MODELS 2012), Innsbruck, Austria, October 01, 2012

A feature model for model-to-text transformation languages.
Proceedings of the 4th International Workshop on Modeling in Software Engineering, 2012

A Plug-in Based Approach for UML Model Simulation.
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems.
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

A Lightweight Approach for Managing XML Documents with MDE Languages.
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

Solving Acquisition Problems Using Model-Driven Engineering.
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

An Integrated Framework for System/Software Requirements Development Aligning with Business Motivations.
Proceedings of the 2012 IEEE/ACIS 11th International Conference on Computer and Information Science, Shanghai, China, May 30, 2012

2011
Rigorous identification and encoding of trace-links in model-driven engineering.
Software and Systems Modeling, 2011

High-integrity agile processes for the development of safety critical software.
IJCCBS, 2011

An Approach for Model Querying-by-Example Applied to Multi- Paradigm Models.
ECEASST, 2011

Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case
Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Value-Based Software Traceability Workshop (VALSOT 2011).
Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2011

Identifying Desirable Game Character Behaviours through the Application of Evolutionary Algorithms to Model-Driven Engineering Metamodels.
Proceedings of the Search Based Software Engineering - Third International Symposium, 2011

EUnit: A Unit Testing Framework for Model Management Tasks.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

Model-Based Hardware Generation and Programming - The MADES Approach.
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011

A Comparison of Rule Inheritance in Model-to-Model Transformation Languages.
Proceedings of the Theory and Practice of Model Transformations, 2011

Model-based Failure Failure Analysis of Business Process.
Proceedings of the ICEIS 2011, 2011

Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Model Management in the Wild.
Proceedings of the Generative and Transformational Techniques in Software Engineering IV, 2011

Integrated Model Management with Epsilon.
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

Failures of a Business Process in Enterprise Systems.
Proceedings of the ENTERprise Information Systems - International Conference, 2011

2010
Programming Phase: Formal Methods.
Proceedings of the Encyclopedia of Software Engineering, 2010

Document-centric XML workflows with fragment digital signatures.
Softw. Pract. Exp., 2010

Guest editorial to the theme issue on traceability in model-driven engineering.
Software and Systems Modeling, 2010

Iterative criteria-based approach to engineering the requirements of software development methodologies.
IET Softw., 2010

KAOS-β: A Goal-oriented Process Model for EIS.
Proceedings of the Modelling, 2010

A Visual Specification Language for Model-to-Model Transformations.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

Analysing System Failure Behaviours with PRISM.
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

A Comparison of Model Migration Tools.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Behavioural interoperability to support model-driven systems integration.
Proceedings of the First International Workshop on Model-Driven Interoperability, 2010

Taming EMF and GMF Using Model Transformation.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

transML: A Family of Languages to Model Model Transformations.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Inter-modelling: From Theory to Practice.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Towards a Model-Based Refinement Process for Contractual State Machines.
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2010

Model Migration with Epsilon Flock.
Proceedings of the Theory and Practice of Model Transformations, 2010

Constructing and Navigating Non-invasive Model Decorations.
Proceedings of the Theory and Practice of Model Transformations, 2010

Concordance: A Framework for Managing Model Integrity.
Proceedings of the Modelling Foundations and Applications, 6th European Conference, 2010

Traceability in model-driven safety critical software engineering.
Proceedings of the 6th ECMFA Traceability Workshop, 2010

A state-based approach to traceability maintenance.
Proceedings of the 6th ECMFA Traceability Workshop, 2010

A Reflective Approach to Model-Driven Web Engineering.
Proceedings of the Modelling Foundations and Applications, 6th European Conference, 2010

Evaluating Goal-Oriented Analysis in the Domain of Enterprise Information Systems.
Proceedings of the ENTERprise Information Systems - International Conference, 2010

Formal Analysis in Model Management: Exploiting the Power of CZT.
Proceedings of the Abstract State Machines, 2010

An Iterative Approach for Development of Safety-Critical Software and Safety Arguments.
Proceedings of the 2010 Agile Conference, 2010

2009
XRound: A reversible template language and its application in model-based security analysis.
Inf. Softw. Technol., 2009

Editorial.
Formal Asp. Comput., 2009

Cameo: an alternative model of concurrency for Eiffel.
Formal Asp. Comput., 2009

The SCOOP Concurrency Model in Java-like Languages.
Proceedings of the thirty-second Communicating Process Architectures Conference, 2009

Automatic Generation of Integrated Formal Models Corresponding to UML System Models.
Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009

Domain-Specific Metamodelling Languages for Software Language Engineering.
Proceedings of the Software Language Engineering, Second International Conference, 2009

Probabilistic Failure Propagation and Transformation Analysis.
Proceedings of the Computer Safety, 2009

Abstracting Complex Languages through Transformation and Composition.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

Domain analysis on an electronic health records system.
Proceedings of the First International Workshop on Feature-Oriented Software Development, 2009

Enhanced Automation for Managing Model and Metamodel Inconsistency.
Proceedings of the ASE 2009, 2009

Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Raising the level of abstraction in the development of GMF-based graphical model editors.
Proceedings of the ICSE Workshop on Modeling in Software Engineering, 2009

The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Content Personalization for Inclusive Education through Model-Driven Engineering.
Proceedings of the Universal Access in Human-Computer Interaction. Applications and Services, 2009

The Use of Model Transformation in the INESS Project.
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages.
Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

2008
Model-driven software development. By Thomas Stahl and Markus Volter. Published by John Wiley & Sons, New York, 2006. ISBN: 0470025700.
Softw. Test. Verification Reliab., 2008

Observations for Assertion-based Scenarios in the context of Model Validation.
ECEASST, 2008

Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse.
ECEASST, 2008

Process-centered review of object oriented software development methodologies.
ACM Comput. Surv., 2008

The Role of Dependency Links in Ensuring Architectural View Consistency.
Proceedings of the Seventh Working IEEE / IFIP Conference on Software Architecture (WICSA 2008), 2008

Engineering a DSL for Software Traceability.
Proceedings of the Software Language Engineering, First International Conference, 2008

Towards Agile Engineering of High-Integrity Systems.
Proceedings of the Computer Safety, 2008

Constructing Models with the Human-Usable Textual Notation.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

FPTC: Automated Safety Analysis for Domain-Specific Languages.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

The Grand Challenge of Scalability for Model Driven Engineering.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

Unit Testing Model Management Operations.
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Detecting and Repairing Inconsistencies across Heterogeneous Models.
Proceedings of the First International Conference on Software Testing, 2008

Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation.
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Novel features in languages of the epsilon model management platform.
Proceedings of the International Workshop on Modeling in Software Engineering, 2008

The Epsilon Transformation Language.
Proceedings of the Theory and Practice of Model Transformations, 2008

The Epsilon Generation Language.
Proceedings of the Model Driven Architecture, 2008

08331 Manifesto - Model Engineering for Complex Systems.
Proceedings of the Perspectives Workshop: Model Engineering of Complex Systems (MECS), 10.08., 2008

08331 Abstracts Collection - Perspectives Workshop: Model Engineering of Complex Systems (MECS).
Proceedings of the Perspectives Workshop: Model Engineering of Complex Systems (MECS), 10.08., 2008

2007
Practical Distributed Processing.
Undergraduate Topics in Computer Science, Springer, ISBN: 978-1-84628-841-8, 2007

Knowledge Modelling Using UML Profile for Knowledge-Based Systems Development.
Proceedings of the Emerging Artificial Intelligence Applications in Computer Engineering, 2007

Metamodel-based model conformance and multiview consistency checking.
ACM Trans. Softw. Eng. Methodol., 2007

Update Transformations in the Small with the Epsilon Wizard Language.
J. Object Technol., 2007

Exceptions in Concurrent Eiffel.
J. Object Technol., 2007

A CSP model of Eiffel's SCOOP.
Formal Asp. Comput., 2007

Extreme Programming Security Practices.
Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2007

Lazy Exploration and Checking of CSP Models with CSPsim.
Proceedings of the 30th Communicating Process Architectures Conference, 2007

A UML Profile for Knowledge-Based Systems Modelling.
Proceedings of the 5th ACIS International Conference on Software Engineering Research, 2007

Model-driven Development of Particle System Families.
Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2007

A Novel Approach to the Detection of Cheating in Multiplayer Online Games.
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Using Unified Modeling Language for Conceptual Modelling of Knowledge-Based Systems.
Proceedings of the Conceptual Modeling, 2007

2006
Architecture Description Languages for High-Integrity Real-Time Systems.
IEEE Software, 2006

Game Development Using Design-by-Contract.
J. Object Technol., 2006

Knowledge-based systems: a re-evaluation.
J. Knowledge Management, 2006

Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries.
ECEASST, 2006

Towards an Agile Process for Building Software Product Lines.
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2006

Security Planning and Refactoring in Extreme Programming.
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2006

An action semantics for MOF 2.0.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Merging Models with the Epsilon Merging Language (EML).
Proceedings of the Model Driven Engineering Languages and Systems, 2006

Knowledge Modelling Using The UML Profile.
Proceedings of the Artificial Intelligence Applications and Innovations, 2006

Agile development of secure web applications.
Proceedings of the 6th International Conference on Web Engineering, 2006

The View Glue.
Proceedings of the Architecting Dependable Systems IV [the book is a result of the ICSE 2006 and DSN 2006 workshops], 2006

Knowledge Engineering Using the UML Profile - Adopting the Model-Driven Architecture for Knowledge-Based System Development.
Proceedings of the ICEIS 2006, 2006

Origins of the Grid Architectural Style.
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

The Epsilon Object Language (EOL).
Proceedings of the Model Driven Architecture, 2006

Using a Model Merging Language for Reconciling Model Versions.
Proceedings of the Model Driven Architecture, 2006

A Canonical Scheme for Model Composition.
Proceedings of the Model Driven Architecture, 2006

2005
E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel.
J. Object Technol., 2005

Refinement via Consistency Checking in MDA.
Electron. Notes Theor. Comput. Sci., 2005

An Agile and Extensible Code Generation Framework.
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

Agile Security Using an Incremental Security Architecture.
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

High-integrity extreme programming.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

A Web Services Description Framework to Support Dynamic Run-Time Binding in Grid-based Systems.
Proceedings of the iiWAS'2005, 2005

Agile Formal Method Engineering.
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

Conceptual Modelling of Knowledge-Based Systems Using UML.
Proceedings of the Artificial Intelligence Applications and Innovations - IFIP TC12 WG12.5, 2005

XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language.
Proceedings of the Model Driven Architecture, 2005

Designing a Domain-Specific Contract Language: A Metamodelling Approach.
Proceedings of the Model Driven Architecture, 2005

Unified Modeling Language for Knowledge Modelling.
Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005

2004
Playing the game: cheating, loopholes, and virtual identity.
SIGCAS Comput. Soc., 2004

Integrating BON and Object-Z.
J. Object Technol., 2004

SECG: The SCOOP-to-Eiffel Code Generator.
J. Object Technol., 2004

ERC - An object-oriented refinement calculus for Eiffel.
Formal Asp. Comput., 2004

Agile Specification-Driven Development.
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2004

Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods.
Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

Developing a UML Profile for Modelling Knowledge-Based Systems.
Proceedings of the Model Driven Architecture, 2004

2003
Fault trees for security system design and analysis.
Comput. Secur., 2003

Theorem Proving Support for View Consistency Checking.
Obj. Logiciel Base données Réseaux, 2003

Combining Agile Practices with UML and EJB: A Case Study in Agile Development.
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003

2002
The Single Model Principle.
J. Object Technol., 2002

BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning.
J. Object Technol., 2002

The Design of a Tool-Supported Graphical Notation for Timed CSP.
Proceedings of the Integrated Formal Methods, Third International Conference, 2002

2001
A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems.
Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

Metamodelling and Conformance Checking with PVS.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

Extending the message flow debugger for MQSI.
Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative Research, 2001

2000
Principles for modeling language design.
Inf. Softw. Technol., 2000

The logic of software design.
IEE Proc. Softw., 2000

1999
When are methods complementary?
Inf. Softw. Technol., 1999

Integrating a Program Design Calculus and a Subset of UML.
Comput. J., 1999

A Comparison of the Business Object Notation and the Unified Modelling Language.
Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication.
Proceedings of the Integrated Formal Methods, 1999

Developing BON as an Industrial-Strength Formal Method.
Proceedings of the FM'99 - Formal Methods, 1999

Bunches for Object-Oriented, Concurrent, and Real-Time Specification.
Proceedings of the FM'99 - Formal Methods, 1999

1998
Heterogeneous Notations for Pure Formal Method Integration.
Formal Asp. Comput., 1998

Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space.
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

From Z to BON/Eiffel.
Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1997
A Meta-Method for Formal Method Integration.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Case Studies in Using a Meta-Method for Formal Method Integration.
Proceedings of the Algebraic Methodology and Software Technology, 1997


  Loading...