The microservices architectural style is rising fast, and many companies use this style to
structure their systems. A big challenge in designing this architecture is to find an …

This paper presents an energy management policy for reconfigurable clusters running a
multi-tier application, exploiting DVS together with multiple sleep states. We develop a …

Modern software development is complex as it has to deal with many different and yet
related aspects of applications. In practical software engineering this is now handled by a …

Smart city systems embrace major challenges associated with climate change, energy
efficiency, mobility and future services by embedding the virtual space into a complex cyber …

We present the roadmap of the development of the rCOS theory and its tool support for
component-based model driven software development (CB-MDD). First the motivation for …

The method of refinement of object-oriented and component-based systems (rCOS) has
been developed based on the Unifying Theories of Programming (UTP) of Tony Hoare and …

This paper presents a novel model-based test case generation approach that automatically
derives test cases from UML state machines. UML is given a two-layered formal semantics …

Component-based development allows one to build software from existing components and
promises to improve software reuse and reduce costs. For critical applications, the user of a …

This chapter presents a formalization of functional and behavioural requirements, and a
refinement of requirements to a design for CoCoME using the Relational Calculus of Object …

In previous work we presented a CSP-based systematic approach that fosters the rigorous
design of component-based development. Our approach is strictly defined in terms of …