Event-B is an industrial-strength specification language for verifying the properties of a given
system's specification. It is supported by its Eclipse-based IDE, Rodin, and uses the process …

Chronic kidney disease (CKD) is characterised by a continuous decline in kidney function,
often persisting for months or even years. The prevalence of CKD has been increasing over …

Our lives become increasingly dependent on safety-and security-critical systems, so formal
techniques are advocated for engineering such systems. One of such techniques is …

Abstract Systems Engineering concerns the complete process for the development of
complex systems comprising hardware, software, facilities and personnel. Such systems are …

L'amélioration de la qualité d'un système commence par l'expression de ses besoins en
langage naturel. Notre objectif est de prendre en compte la validation dès la compréhension …

The safety of software systems is gaining importance due to the almost indispensable
integration of software in modern everyday life. Formal methods are a fundamental …

Guaranteeing the correctness of critical and complex software and systems is a challenge
that needs to be tackled right from the requirements engineering phase. This paper …

Complex systems comprising hardware, software, facilities and personnel are gaining more
and more importance. Such systems are hybrid, as some components are characterised by …

Introdução: A Doença Renal Crônica (DRC) corresponde à perda progressiva e irreversível
da função dos rins, urinárias e endócrinas. Quando atinge a fase mais avançada é …

Improving the quality of a system begins by their requirements elicitation: the challenge is to
bridge the gap between the requirements of the client and their formal specification defined …