Richard F. Paige

Mark Lawford

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

Domain-specific languages for the design, deployment and manipulation of heterogeneous databases.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Modelling in Software Engineerings, 2019

2018

Evaluating cloud database migration options using workload models.

[BibT_eX]

[DOI]

Martyn Ellison

J. Cloud Comput., 2018

Requirements in digital forensics method definition: Observations from a UK study.

[BibT_eX]

[DOI]

Angus M. Marshall

Digit. Investig., 2018

Modeling for Sustainability (Dagstuhl Seminar 18351).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2018

Restmule: enabling resilient clients for remote APIs.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Mining Software Repositories, 2018

Parallel execution of first-order operations.

[BibT_eX]

[DOI]

Sina Madani

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Towards a modular and flexible human-usable textual syntax for EMF models.

[BibT_eX]

[DOI]

Proceedings of MODELS 2018 Workshops: ModComp, 2018

How do we teach modelling and model-driven engineering?: a survey.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Komsan Srivisut

John A. Clark

Proceedings of the Genetic and Evolutionary Computation Conference, 2018

Search-Based Temporal Testing in an Embedded Multicore Platform.

[BibT_eX]

[DOI]

Komsan Srivisut

John A. Clark

Proceedings of the Applications of Evolutionary Computation, 2018

Towards Automatic Generation of UML Profile Graphical Editors for Papyrus.

[BibT_eX]

[DOI]

Ran Wei

Simos Gerasimou

Horacio Hoyos Rodriguez

Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018

Parallel Model Validation with Epsilon.

[BibT_eX]

[DOI]

Sina Madani

Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018

2017

Eugenia: towards disciplined and automated development of GMF-based graphical model editors.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2017

Model-based tool support for Tactical Data Links: an experience report from the defence domain.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2017

Foreword to the special section on negative results in software engineering.

[BibT_eX]

[DOI]

Luis Adrián Cabrera-Diego

Jordi Cabot

Neil A. Ernst

Empir. Softw. Eng., 2017

Constraint programming for type inference in flexible model-driven engineering.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2017

SECT-AIR: Software Engineering Costs and Timescales - Aerospace Initiative for Reduction.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2017

Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2017

Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER).

[BibT_eX]

[DOI]

Alessandra Bagnato

Konstantinos Barmpis

Nik Bessis

Jose Manrique Lopez de la Fuente

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.

[BibT_eX]

[DOI]

Horacio Hoyos Rodriguez

Stuart Hutchesson

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.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

The Epsilon Pattern Language.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE/ACM International Workshop on Modelling in Software Engineering, 2017

The Changing Face of Model-Driven Engineering.

[BibT_eX]

[DOI]

Proceedings of the Present and Ulterior Software Engineering., 2017

2016

Evolving models in Model-Driven Engineering: State-of-the-art and future challenges.

[BibT_eX]

[DOI]

J. Syst. Softw., 2016

MONDO: Scalable Modelling and Model Management on the Cloud.

[BibT_eX]

[DOI]

Esther Guerra

Jesús Sánchez Cuadrado

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.

[BibT_eX]

[DOI]

Martyn Ellison

Proceedings of the Software Technologies: Applications and Foundations, 2016

A Maturity Model for Integrating Agile Processes and User Centred Design.

[BibT_eX]

[DOI]

Proceedings of the Software Process Improvement and Capability Determination, 2016

Partial loading of XMI models.

[BibT_eX]

[DOI]

Ran Wei

Konstantinos Barmpis

Adolfo Sánchez-Barbudo Herrera

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.

[BibT_eX]

[DOI]

Proceedings of the 13th Workshop on Model-Driven Engineering, 2016

A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax.

[BibT_eX]

[DOI]

Edward D. Willink

Proceedings of the Theory and Practice of Model Transformations, 2016

Language engineering: challenges, opportunities and potential disasters for interactive systems.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

Stress-Testing Centralised Model Stores.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 12th European Conference, 2016

Engineering Bidirectional Transformations.

[BibT_eX]

[DOI]

Proceedings of the Bidirectional Transformations, 2016

2015

Localized model transformations for building large-scale transformations.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2015

Formal verification and validation of embedded systems: the UML-based MADES approach.

[BibT_eX]

[DOI]

Luciano Baresi

Gundula Blohm

Softw. Syst. Model., 2015

User-visible cryptography in email and web scenarios.

[BibT_eX]

[DOI]

Alberto Berreteaga Barbero

Inf. Comput. Secur., 2015

Domain-Specific Languages (Dagstuhl Seminar 15062).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2015

Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014).

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2015

Patterns in Model Engineering 2015 - a Workshop Summary.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Patterns in Model Engineering, 2015

MONDO: Scalable Modelling and Model Management on the Cloud.

[BibT_eX]

[DOI]

Jesús Sánchez Cuadrado

Proceedings of the Projects Showcase, 2015

OSSMETER: Automated Measurement and Analysis of Open Source Software.

[BibT_eX]

[DOI]

Bruno Almeida

Sophia Ananiadou

Alessandra Bagnato

Proceedings of the Projects Showcase, 2015

Observations on Utilising Usability Maturity Model-Human Centredness Scale in Integrating Agile Development Processes and User Centred Design.

[BibT_eX]

[DOI]

Proceedings of the Software Process Improvement and Capability Determination, 2015

Flexible Modelling for Requirements Engineering.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Sam Devlin

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ioannis Korkontzelos

Sophia Ananiadou

Adolfo Sánchez-Barbudo Herrera

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.

[BibT_eX]

[DOI]

Edward D. Willink

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

[BibT_eX]

[DOI]

Felienne Hermans

Peter Sestoft

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

7th International Workshop on Modeling in Software Engineering (MiSE 2015).

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Weaving an Assurance Case from Design: A Model-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Patterns for integrating agile development processes and user centred design.

[BibT_eX]

[DOI]

Proceedings of the 20th European Conference on Pattern Languages of Programs, 2015

Type Inference in Flexible Model-Driven Engineering.

[BibT_eX]

[DOI]

Sam Devlin

Proceedings of the Modelling Foundations and Applications - 11th European Conference, 2015

2014

Epsilon Flock: a model migration language.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2014

Guest editorial to the special issue on Success Stories in Model Driven Engineering.

[BibT_eX]

[DOI]

Davide Di Ruscio

Alfonso Pierantonio

Sci. Comput. Program., 2014

A tutorial on metamodelling for grammar researchers.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

On Demand Data Analysis and Filtering for Inaccurate Flight Trajectories.

[BibT_eX]

[DOI]

CoRR, 2014

Manifesto - Model Engineering for Complex Systems.

[BibT_eX]

[DOI]

CoRR, 2014

Re-engineering the Database Layer of Legacy Applications for Scalable Cloud Deployment.

[BibT_eX]

[DOI]

Martyn Ellison

Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014

Strategy-guided requirements development and validation.

[BibT_eX]

[DOI]

Xiaofeng Cui

Proceedings of the 15th IEEE/ACIS International Conference on Software Engineering, 2014

An Evaluation Template for Expert Review of Maturity Models.

[BibT_eX]

[DOI]

Proceedings of the Product-Focused Software Process Improvement, 2014

Analysing the 'biodiversity' of open source ecosystems: the GitHub case.

[BibT_eX]

[DOI]

Proceedings of the 11th Working Conference on Mining Software Repositories, 2014

Assigning Semantics to Graphical Concrete Syntaxes.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Towards Rigorously Faking Bidirectional Model Transformations.

[BibT_eX]

[DOI]

Christopher M. Poskitt

Mike Dodds

Arend Rensink

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Integrating Agile Development Processes and User Centred Design- A Place for Usability Maturity Models?

[BibT_eX]

[DOI]

Proceedings of the Human-Centered Software Engineering, 2014

A systematic literature review for agile development processes and user centred design integration.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, 2014

System of Systems Acquisition Trade-offs.

[BibT_eX]

[DOI]

Proceedings of the Conference on Systems Engineering Research, 2014

Resource Requirement Analysis for Web Applications Running in a Virtualised Environment.

[BibT_eX]

[DOI]

Rafidah Pakir Mohamad

Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

A Practitioner Perspective on Integrating Agile and User Centred Design.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Engineering Dependable Software Systems, 2013

Genericity for model management operations.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2013

Guest editorial to the special issue on model transformation.

[BibT_eX]

[DOI]

Jeff Gray

Softw. Syst. Model., 2013

Engineering model transformations with transML.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2013

Lies, Damned Lies and UML2Java.

[BibT_eX]

[DOI]

J. Object Technol., 2013

The Value of User-Visible Internet Cryptography

[BibT_eX]

[DOI]

CoRR, 2013

A research roadmap towards achieving scalability in model driven engineering.

[BibT_eX]

[DOI]

Esther Guerra

Jesús Sánchez Cuadrado

Proceedings of the Workshop on Scalability in Model Driven Engineering, 2013

What do Metamodels Really Look Like?

[BibT_eX]

[DOI]

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.

[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

Towards a Multi-Domain Model-Driven Traceability Approach.

[BibT_eX]

[DOI]

Masoumeh Taromirad

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.

[BibT_eX]

[DOI]

Dave Cliff

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.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), 2013

Programmatic Muddle Management.

[BibT_eX]

[DOI]

Horacio Hoyos Rodriguez

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.

[BibT_eX]

[DOI]

Martins Francis

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

Towards a Scalable Cloud Platform for Search-Based Probabilistic Testing.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Software Maintenance, 2013

1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013).

[BibT_eX]

[DOI]

Mark Harman

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

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

[BibT_eX]

[DOI]

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

2012

Lessons learned from building model-driven development tools.

[BibT_eX]

[DOI]

Dániel Varró

Softw. Syst. Model., 2012

Special issue on Model Based Engineering for Embedded Systems Design.

[BibT_eX]

[DOI]

Daniela Cancila

Huáscar Espinoza

J. Syst. Archit., 2012

Surveying Rule Inheritance in Model-to-Model Transformation Languages.

[BibT_eX]

[DOI]

Manuel Wimmer

Gerti Kappel

Angelika Kusel

Werner Retschitzegger

J. Object Technol., 2012

Large-scale complex IT systems.

[BibT_eX]

[DOI]

Commun. ACM, 2012

Approaches to Modelling Security Scenarios with Domain-Specific Languages.

[BibT_eX]

[DOI]

Christopher Power

Proceedings of the Security Protocols XX, 2012

Metamodelling for Grammarware Researchers.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering, 5th International Conference, 2012

Revealing Complexity through Domain-Specific Modelling and Analysis.

[BibT_eX]

[DOI]

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Searching for model migration strategies.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Models and Evolution, 2012

Sensitivity Analysis in Model-Driven Engineering.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2012

Agile requirements traceability using domain-specific modelling languages.

[BibT_eX]

[DOI]

Masoumeh Taromirad

Proceedings of the 2012 Extreme Modeling Workshop, 2012

EuGENia live: a flexible graphical modelling tool.

[BibT_eX]

[DOI]

Proceedings of the 2012 Extreme Modeling Workshop, 2012

Chaining model transformations.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on the Analysis of Model Transformations, 2012

Modelling and comparing cloud computing service level agreements.

[BibT_eX]

[DOI]

Fatima Alkandari

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.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Modeling in Software Engineering, 2012

A Plug-in Based Approach for UML Model Simulation.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems.

[BibT_eX]

[DOI]

Nikolas Drivalos Matragkas

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

A Lightweight Approach for Managing XML Documents with MDE Languages.

[BibT_eX]

[DOI]

Nikolas Drivalos Matragkas

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

Solving Acquisition Problems Using Model-Driven Engineering.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

An Integrated Framework for System/Software Requirements Development Aligning with Business Motivations.

[BibT_eX]

[DOI]

Xiaofeng Cui

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.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2011

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

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2011

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

[BibT_eX]

[DOI]

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

Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Value-Based Software Traceability Workshop (VALSOT 2011).

[BibT_eX]

[DOI]

Angelina Espinoza

Juan Garbajosa

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.

[BibT_eX]

[DOI]

Proceedings of the Search Based Software Engineering - Third International Symposium, 2011

EUnit: A Unit Testing Framework for Model Management Tasks.

[BibT_eX]

[DOI]

Inmaculada Medina-Bulo

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Model-Based Hardware Generation and Programming - The MADES Approach.

[BibT_eX]

[DOI]

Ian Gray

Nicholas Matragkas

Neil C. Audsley

Leandro Soares Indrusiak

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.

[BibT_eX]

[DOI]

Manuel Wimmer

Gerti Kappel

Angelika Kusel

Werner Retschitzegger

Proceedings of the Theory and Practice of Model Transformations, 2011

Requirements for a model comparison language.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Model Comparison in Practice, 2011

Model-based Failure Failure Analysis of Business Process.

[BibT_eX]

Proceedings of the ICEIS 2011, 2011

Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Model Management in the Wild.

[BibT_eX]

[DOI]

Nikolas Drivalos Matragkas

Proceedings of the Generative and Transformational Techniques in Software Engineering IV, 2011

Integrated Model Management with Epsilon.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

Failures of a Business Process in Enterprise Systems.

[BibT_eX]

[DOI]

Proceedings of the ENTERprise Information Systems - International Conference, 2011

2010

Programming Phase: Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Software Engineering, 2010

Document-centric XML workflows with fragment digital signatures.

[BibT_eX]

[DOI]

Christopher Power

Softw. Pract. Exp., 2010

Guest editorial to the theme issue on traceability in model-driven engineering.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2010

Iterative criteria-based approach to engineering the requirements of software development methodologies.

[BibT_eX]

[DOI]

Raman Ramsin

IET Softw., 2010

KAOS-β: A Goal-oriented Process Model for EIS.

[BibT_eX]

Malihe Tabatabaie

Proceedings of the Modelling, 2010

A Visual Specification Language for Model-to-Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

Analysing System Failure Behaviours with PRISM.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

A Comparison of Model Migration Tools.

[BibT_eX]

[DOI]

Markus Herrmannsdoerfer

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Behavioural interoperability to support model-driven systems integration.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Model-Driven Interoperability, 2010

Taming EMF and GMF Using Model Transformation.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2010

transML: A Family of Languages to Model Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Inter-modelling: From Theory to Practice.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Towards a Model-Based Refinement Process for Contractual State Machines.

[BibT_eX]

[DOI]

Lishan Harbird

Andy Galloway

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2010

Model Migration with Epsilon Flock.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2010

Constructing and Navigating Non-invasive Model Decorations.

[BibT_eX]

[DOI]

Kiran Jude Fernandes

Proceedings of the Theory and Practice of Model Transformations, 2010

Concordance: A Framework for Managing Model Integrity.

[BibT_eX]

[DOI]

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

Traceability in model-driven safety critical software engineering.

[BibT_eX]

[DOI]

Proceedings of the 6th ECMFA Traceability Workshop, 2010

A state-based approach to traceability maintenance.

[BibT_eX]

[DOI]

Kiran Jude Fernandes

Proceedings of the 6th ECMFA Traceability Workshop, 2010

A Reflective Approach to Model-Driven Web Engineering.

[BibT_eX]

[DOI]

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

Evaluating Goal-Oriented Analysis in the Domain of Enterprise Information Systems.

[BibT_eX]

[DOI]

Malihe Tabatabaie

Proceedings of the ENTERprise Information Systems - International Conference, 2010

Formal Analysis in Model Management: Exploiting the Power of CZT.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2010

An Iterative Approach for Development of Safety-Critical Software and Safety Arguments.

[BibT_eX]

[DOI]

Proceedings of the 2010 Agile Conference, 2010

2009

XRound: A reversible template language and its application in model-based security analysis.

[BibT_eX]

[DOI]

Howard Chivers

Inf. Softw. Technol., 2009

Editorial.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2009

Cameo: an alternative model of concurrency for Eiffel.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2009

The SCOOP Concurrency Model in Java-like Languages.

[BibT_eX]

[DOI]

Faraz Ahmadi Torshizi

Marsha Chechik

Proceedings of the thirty-second Communicating Process Architectures Conference, 2009

Automatic Generation of Integrated Formal Models Corresponding to UML System Models.

[BibT_eX]

[DOI]

Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009

Domain-Specific Metamodelling Languages for Software Language Engineering.

[BibT_eX]

[DOI]

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

Probabilistic Failure Propagation and Transformation Analysis.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2009

Abstracting Complex Languages through Transformation and Composition.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2009

Domain analysis on an electronic health records system.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Feature-Oriented Software Development, 2009

Enhanced Automation for Managing Model and Metamodel Inconsistency.

[BibT_eX]

[DOI]

Proceedings of the ASE 2009, 2009

Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Different models for model matching: An analysis of approaches to support model differencing.

[BibT_eX]

[DOI]

Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of Software Models, 2009

Raising the level of abstraction in the development of GMF-based graphical model editors.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Content Personalization for Inclusive Education through Model-Driven Engineering.

[BibT_eX]

[DOI]

Christopher Power

Proceedings of the Universal Access in Human-Computer Interaction. Applications and Services, 2009

The Use of Model Transformation in the INESS Project.

[BibT_eX]

[DOI]

Steve King

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2008

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

[BibT_eX]

[DOI]

Emine Gokce Aydal

Jim Woodstock

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

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

[BibT_eX]

[DOI]

Emine Gokce Aydal

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

Process-centered review of object oriented software development methodologies.

[BibT_eX]

[DOI]

Raman Ramsin

ACM Comput. Surv., 2008

The Role of Dependency Links in Ensuring Architectural View Consistency.

[BibT_eX]

[DOI]

Proceedings of the Seventh Working IEEE / IFIP Conference on Software Architecture (WICSA 2008), 2008

Engineering a DSL for Software Traceability.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering, First International Conference, 2008

Towards Agile Engineering of High-Integrity Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2008

Constructing Models with the Human-Usable Textual Notation.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2008

FPTC: Automated Safety Analysis for Domain-Specific Languages.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Unit Testing Model Management Operations.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Detecting and Repairing Inconsistencies across Heterogeneous Models.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Emine Gokce Aydal

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Novel features in languages of the epsilon model management platform.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Modeling in Software Engineering, 2008

The Epsilon Transformation Language.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2008

The Epsilon Generation Language.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2008

08331 Manifesto - Model Engineering for Complex Systems.

[BibT_eX]

[DOI]

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

[BibT_eX]

[DOI]

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

2007

Practical Distributed Processing.

[BibT_eX]

[DOI]

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

Knowledge Modelling Using UML Profile for Knowledge-Based Systems Development.

[BibT_eX]

[DOI]

Proceedings of the Emerging Artificial Intelligence Applications in Computer Engineering, 2007

Metamodel-based model conformance and multiview consistency checking.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2007

Update Transformations in the Small with the Epsilon Wizard Language.

[BibT_eX]

[DOI]

J. Object Technol., 2007

Exceptions in Concurrent Eiffel.

[BibT_eX]

[DOI]

J. Object Technol., 2007

A CSP model of Eiffel's SCOOP.

[BibT_eX]

[DOI]

Jeremy L. Jacob

Formal Aspects Comput., 2007

Extreme Programming Security Practices.

[BibT_eX]

[DOI]

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

Lazy Exploration and Checking of CSP Models with CSPsim.

[BibT_eX]

[DOI]

Proceedings of the 30th Communicating Process Architectures Conference, 2007

A UML Profile for Knowledge-Based Systems Modelling.

[BibT_eX]

[DOI]

Proceedings of the 5th ACIS International Conference on Software Engineering Research, 2007

Model-driven Development of Particle System Families.

[BibT_eX]

[DOI]

Philippa Conmy

Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2007

A Novel Approach to the Detection of Cheating in Multiplayer Online Games.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2007

2006

Architecture Description Languages for High-Integrity Real-Time Systems.

[BibT_eX]

[DOI]

IEEE Softw., 2006

Game Development Using Design-by-Contract.

[BibT_eX]

[DOI]

Triston S. Attridge

J. Object Technol., 2006

Knowledge-based systems: a re-evaluation.

[BibT_eX]

[DOI]

J. Knowl. Manag., 2006

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

[BibT_eX]

[DOI]

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

Towards an Agile Process for Building Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2006

Security Planning and Refactoring in Extreme Programming.

[BibT_eX]

[DOI]

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2006

An action semantics for MOF 2.0.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Merging Models with the Epsilon Merging Language (EML).

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2006

Knowledge Modelling Using The UML Profile.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Applications and Innovations, 2006

Agile development of secure web applications.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Web Engineering, 2006

The View Glue.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

Knowledge Engineering Using the UML Profile - Adopting the Model-Driven Architecture for Knowledge-Based System Development.

[BibT_eX]

Proceedings of the ICEIS 2006, 2006

Origins of the Grid Architectural Style.

[BibT_eX]

[DOI]

Jovan Cakic

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

The Epsilon Object Language (EOL).

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2006

Using a Model Merging Language for Reconciling Model Versions.

[BibT_eX]

[DOI]

Klaus-D. Engel

Proceedings of the Model Driven Architecture, 2006

A Canonical Scheme for Model Composition.

[BibT_eX]

[DOI]

Jean Bézivin

Salim Bouzitouna

Marcos Didonet Del Fabro

Proceedings of the Model Driven Architecture, 2006

2005

E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel.

[BibT_eX]

[DOI]

J. Object Technol., 2005

Refinement via Consistency Checking in MDA.

[BibT_eX]

[DOI]

Proceedings of the REFINE 2005 Workshop, 2005

An Agile and Extensible Code Generation Framework.

[BibT_eX]

[DOI]

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

Agile Security Using an Incremental Security Architecture.

[BibT_eX]

[DOI]

Howard Chivers

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

High-integrity extreme programming.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Jovan Cakic

Proceedings of the iiWAS'2005, 2005

Agile Formal Method Engineering.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

Conceptual Modelling of Knowledge-Based Systems Using UML.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Applications and Innovations - IFIP TC12 WG12.5, 2005

XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language.

[BibT_eX]

[DOI]

Howard Chivers

Proceedings of the Model Driven Architecture, 2005

Designing a Domain-Specific Contract Language: A Metamodelling Approach.

[BibT_eX]

[DOI]

Zhan En Chan

Proceedings of the Model Driven Architecture, 2005

Unified Modeling Language for Knowledge Modelling.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

SIGCAS Comput. Soc., 2004

Integrating BON and Object-Z.

[BibT_eX]

[DOI]

J. Object Technol., 2004

SECG: The SCOOP-to-Eiffel Code Generator.

[BibT_eX]

[DOI]

Oleksandr Fuks

J. Object Technol., 2004

ERC - An object-oriented refinement calculus for Eiffel.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2004

Agile Specification-Driven Development.

[BibT_eX]

[DOI]

David Makalsky

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2004

Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

Developing a UML Profile for Modelling Knowledge-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2004

2003

Fault trees for security system design and analysis.

[BibT_eX]

[DOI]

Comput. Secur., 2003

Theorem Proving Support for View Consistency Checking.

[BibT_eX]

[DOI]

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

Combining Agile Practices with UML and EJB: A Case Study in Agile Development.

[BibT_eX]

[DOI]

Priyanka Agarwal

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003

2002

The Single Model Principle.

[BibT_eX]

[DOI]

J. Object Technol., 2002

BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning.

[BibT_eX]

[DOI]

J. Object Technol., 2002

The Design of a Tool-Supported Graphical Notation for Timed CSP.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

2001

A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems.

[BibT_eX]

[DOI]

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

Metamodelling and Conformance Checking with PVS.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2001

Extending the message flow debugger for MQSI.

[BibT_eX]

[DOI]

Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative Research, 2001

2000

Principles for modeling language design.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2000

The logic of software design.

[BibT_eX]

[DOI]

IEE Proc. Softw., 2000

1999

When are methods complementary?

[BibT_eX]

[DOI]

Inf. Softw. Technol., 1999

Integrating a Program Design Calculus and a Subset of UML.

[BibT_eX]

[DOI]

Comput. J., 1999

A Comparison of the Business Object Notation and the Unified Modelling Language.

[BibT_eX]

[DOI]

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 1999

Developing BON as an Industrial-Strength Formal Method.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

Bunches for Object-Oriented, Concurrent, and Real-Time Specification.

[BibT_eX]

[DOI]

Eric C. R. Hehner

Proceedings of the FM'99 - Formal Methods, 1999

1998

Heterogeneous Notations for Pure Formal Method Integration.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1998

Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space.

[BibT_eX]

[DOI]

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

From Z to BON/Eiffel.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1997

Formal method integration via heterogeneous notations.

[BibT_eX]

[DOI]

PhD thesis, 1997

A Meta-Method for Formal Method Integration.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]