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 …

We discuss some of the difficulties and significant issues that we need to consider when
developing a formal method for component-based software engineering. We argue that to …

The software industry increasingly turns to Model-Driven Engineering (MDE) to mitigate
complexity by automating model creation and transformation. Many organisations are …

Abstract Design-by-contract is an important technique for model-based design in which a
composite system is specified by a collection of contracts that specify the behavioural …

Prototyping is an effective and efficient way of requirements validation to avoid introducing
errors in the early stage of software development. However, manually developing 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 …

This paper is towards the development of a methodology for object-oriented software
development. The intention is to support effective use of a formal model for specifying and …

Most current approaches to street-scene 3D reconstruction from a driving car to date rely on
3D laser scanning or tedious offline computation from visual images. In this paper, we …

We have recently proposed a formalization of the use of UML in requirement analysis. This
paper applies that formalization to a library system as a case study. We intend to show how …

Abstract The International Symposium on Formal Aspects of Component Software (FACS)
was inaugurated two decades ago in response to the major software development paradigm …