Search Results - "PAIGE, Richard F"
-
1
Grand challenges in model-driven engineering: an analysis of the state of the research
Published in Software and systems modeling (2020)“…In 2017 and 2018, two events were held—in Marburg, Germany, and San Vigilio di Marebbe, Italy, respectively—focusing on an analysis of the state of research,…”
Get full text
Journal Article -
2
What makes a good modeling research contribution?
Published in Software and systems modeling (01-06-2024)“…The modeling field is rapidly evolving and expanding to address new research topics and to connect with new disciplines. As such, what constituted a good…”
Get full text
Journal Article -
3
Rigorous identification and encoding of trace-links in model-driven engineering
Published in Software and systems modeling (01-10-2011)“…Model-driven engineering (MDE) involves the construction and manipulation of many models of different kinds in an engineering process. In principle, models can…”
Get full text
Journal Article -
4
Evolving models in Model-Driven Engineering: State-of-the-art and future challenges
Published in The Journal of systems and software (01-01-2016)“…•A conceptual overview of the problem of model evolution.•A survey of the state-of-the-art in model evolution and migration.•Open and ongoing research…”
Get full text
Journal Article -
5
Repository mining for changes in Simulink and Stateflow models
Published in Software and systems modeling (01-10-2023)“…Model-Based Development (MBD) is widely used for embedded controls development, with MATLAB/Simulink/Stateflow being one of the most used development…”
Get full text
Journal Article -
6
Distributed model validation with Epsilon
Published in Software and systems modeling (01-10-2021)“…Scalable performance is a major challenge with current model management tools. As the size and complexity of models and model management programs increases and…”
Get full text
Journal Article -
7
Eugenia: towards disciplined and automated development of GMF-based graphical model editors
Published in Software and systems modeling (01-02-2017)“…EMF and GMF are powerful frameworks for implementing tool support for modelling languages in Eclipse. However, with power comes complexity, implementing a…”
Get full text
Journal Article -
8
Contents for a Model-Based Software Engineering Body of Knowledge
Published in Software and systems modeling (01-12-2019)“…Although Model-Based Software Engineering (MBE) is a widely accepted Software Engineering (SE) discipline, no agreed-upon core set of concepts and practices…”
Get full text
Journal Article -
9
Stress-testing remote model querying APIs for relational and graph-based stores
Published in Software and systems modeling (01-04-2019)“…Recent research in scalable model-driven engineering now allows very large models to be stored and queried. Due to their size, rather than transferring such…”
Get full text
Journal Article -
10
Foreword to the special section on negative results in software engineering
Published in Empirical software engineering : an international journal (01-10-2017)Get full text
Journal Article -
11
Guest editorial to the special section on MODELS 2018
Published in Software and systems modeling (01-07-2020)Get full text
Journal Article -
12
Type inference in flexible model-driven engineering using classification algorithms
Published in Software and systems modeling (01-02-2019)“…Flexible or bottom-up model-driven engineering (MDE) is an emerging approach to domain and systems modelling. Domain experts, who have detailed domain…”
Get full text
Journal Article -
13
Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries
Published in Software and systems modeling (01-12-2021)“…Open-source model management frameworks such as OCL and ATL tend to focus on manipulating models built atop the Eclipse Modelling Framework (EMF), a de facto…”
Get full text
Journal Article -
14
Evaluating cloud database migration options using workload models
Published in Journal of cloud computing : advances, systems and applications (15-03-2018)“…A key challenge in porting enterprise software systems to the cloud is the migration of their database. Choosing a cloud provider and service option (e.g., a…”
Get full text
Journal Article -
15
Criteria to Systematically Evaluate (Safety) Assurance Cases
Published in 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE) (01-10-2019)“…An assurance case (AC) captures explicit reasoning associated with assuring critical properties, such as safety. A vital attribute of an AC is that it…”
Get full text
Conference Proceeding -
16
Engineering model transformations with transML
Published in Software and systems modeling (01-07-2013)“…Model transformation is one of the pillars of model-driven engineering (MDE). The increasing complexity of systems and modelling languages has dramatically…”
Get full text
Journal Article -
17
Localized model transformations for building large-scale transformations
Published in Software and systems modeling (01-07-2015)“…Model-driven engineering (MDE) exploits well-defined, tool-supported modelling languages and operations applied to models created using these languages. Model…”
Get full text
Journal Article -
18
Automatic generation of UML profile graphical editors for Papyrus
Published in Software and systems modeling (01-09-2020)“…UML profiles offer an intuitive way for developers to build domain-specific modelling languages by reusing and extending UML concepts. Eclipse Papyrus is a…”
Get full text
Journal Article -
19
Lessons learned from building model-driven development tools
Published in Software and systems modeling (01-10-2012)“…Tools to support modelling in system and software engineering are widespread, and have reached a degree of maturity where their use and availability are…”
Get full text
Journal Article -
20
Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon
Published in Software and systems modeling (2020)“…While the majority of research on Model-Based Software Engineering revolves around open-source modelling frameworks such as the Eclipse Modelling Framework,…”
Get full text
Journal Article