Current Internet of Things (IoT) systems comprise multiple software systems that are
deployed to provide users with the required functionalities. System architects create system …

Formal contracts and assertions are effective methods to enhance software quality by
enforcing preconditions, postconditions, and invariants. Previous research has …

This article presents PAMELA, an annotation-based Java modeling framework. PAMELA
provides a smooth integration between model and code and enables Java developers to …

Associations are a key concept in modeling languages as a way to formalize the
relationships between domain concepts. Unfortunately, the support of semantically rich …

La modélisation est une pratique universelle à la base de la pensée humaine, pour
concevoir, comprendre, calculer, imaginer, analyser, communiquer. L'Ingénierie Dirigée par …

Current Internet of Things (IoT) systems comprise multiple software systems that are
deployed to provide users with the required functionalities. System architects create system …

Security-by-design as adoption of security solutions for a system design is in focus of this
work. This field is treated as requiring expert knowledge and heavy for automation. A …

The success of a software system is highly correlated to its reliability, which is a growing
concern for mobile applications due to their ubiquitous nature and large user base. In this …