Rapid technological advances in recent years have precipitated a general shift towards
software distribution as a central computing paradigm. This has been accompanied by a …

This paper discusses the progress made so far and future challenges in integrating the
analysis of multiple Non-Functional Properties (NFP)(such as performance, schedulability …

Model‐driven development (MDD) is an evolutionary step in the software field that is
changing the focus of software development from code to models. The emphasis on models …

This vision paper discusses the challenges of integrating the analysis of multiple Non-
Functional Properties (NFP) in the model-driven software engineering process, where formal …

The increasing prevalence of embedded devices and a boost in sophisticated attacks
against them make embedded system security an intricate and pressing issue. New …

The use of web applications has drastically increased over the years, and so has the need to
secure these applications with effective security measures to ensure security and regulatory …

Robert B. France was one of the pioneers in model-driven engineering and instrumental in
shaping the field of model-driven engineering from two complementary dimensions …