Skip to main content

Research Repository

Advanced Search

All Outputs (6)

Type inference in flexible model-driven engineering using classification algorithms (2018)
Journal Article
Zolotas, A., Matragkas, N., Devlin, S., Kolovos, D. S., & Paige, R. F. (2019). Type inference in flexible model-driven engineering using classification algorithms. Software and systems modeling, 18(1), 345–366. https://doi.org/10.1007/s10270-018-0658-5

Flexible or bottom-up model-driven engineering (MDE) is an emerging approach to domain and systems modelling. Domain experts, who have detailed domain knowledge, typically lack the technical expertise to transfer this knowledge using traditional MDE... Read More about Type inference in flexible model-driven engineering using classification algorithms.

Model-connected safety cases (2017)
Journal Article
Retouniotis, A., Papadopoulos, Y., Sorokos, I., Parker, D., Matragkas, N., & Sharvia, S. (2017). Model-connected safety cases. Lecture notes in computer science, 10437 LNCS, 50-63. https://doi.org/10.1007/978-3-319-64119-5_4

© 2017, Springer International Publishing AG. We propose the concept of a model-connected safety case that could simplify certification of complex systems. System design models support the synthesis of both the structure of the safety case and the ev... Read More about Model-connected safety cases.

Constraint programming for type inference in flexible model-driven engineering (2016)
Journal Article
Kolovos, D. S., Paige, R. F., Clariso, R., Matragkas, N., Clarisó, R., Kolovos, D., …Zolotas, A. (2017). Constraint programming for type inference in flexible model-driven engineering. Computer languages, systems & structures, 49, 216-230. https://doi.org/10.1016/j.cl.2016.12.002

Domain experts typically have detailed knowledge of the concepts that are used in their domain; however they often lack the technical skills needed to translate that knowledge into model-driven engineering (MDE) idioms and technologies. Flexible or b... Read More about Constraint programming for type inference in flexible model-driven engineering.

Supporting custom quality models to analyse and compare open-source software (2016)
Conference Proceeding
Ruscio, D. D., Di Ruscio, D., Kolovos, D. S., Korkontzelos, Y., Matragkas, N., & Vinju, J. (2016). Supporting custom quality models to analyse and compare open-source software. In Quality of Information and Communications Technology (QUATIC), 2016 10th International Conference on the (94-99). https://doi.org/10.1109/QUATIC.2016.026

© 2016 IEEE. The analysis and comparison of open source software can be improved by means of quality models supporting the evaluation of the software systems being compared and the final decision about which of them has to be adopted. Since software... Read More about Supporting custom quality models to analyse and compare open-source software.

Evolving models in model-driven engineering : state-of-the-art and future challenges (2015)
Journal Article
Matragkas, N., Paige, R. F., & Rose, L. M. (2016). Evolving models in model-driven engineering : state-of-the-art and future challenges. Journal of Systems and Software, 111, 272-280. https://doi.org/10.1016/j.jss.2015.08.047

The artefacts used in Model-Driven Engineering (MDE) evolve as a matter of course: models are modified and updated as part of the engineering process; metamodels change as a result of domain analysis and standardisation efforts; and the operations ap... Read More about Evolving models in model-driven engineering : state-of-the-art and future challenges.

Formal verification and validation of embedded systems: the UML-based MADES approach (2013)
Journal Article
Baresi, L., Blohm, G., Kolovos, D. S., Matragkas, N., Motta, A., Paige, R. F., …Rossi, M. (2015). Formal verification and validation of embedded systems: the UML-based MADES approach. Software and systems modeling, 14(1), 343-363. https://doi.org/10.1007/s10270-013-0330-z

© 2013, Springer-Verlag Berlin Heidelberg. Formal verification and validation activities from the early development phases can foster system consistency, correctness, and integrity, but they are often hard to carry out as most designers do not have t... Read More about Formal verification and validation of embedded systems: the UML-based MADES approach.