Interest in design and development of interactive software applications has increased
considerably over the last few years. The underlying reason for this interest is the need to …

This chapter provides an overview of several formal approaches for the design,
specification, and verification of interactive systems. For each approach presented, we …

Use error due to user interface design defects is a major concern in many safety critical
domains, for example avionics and health care. Early detection of latent user interface …

In this paper we present a method that aims to integrate the use of formal techniques in the
design process of interactive applications, with particular attention to those applications …

Mesh simplification programs create three‐dimensional polygonal models similar to an
original polygonal model, and yet use fewer polygons. They produce different graphics even …

Mesh simplification is a mainstream technique to render graphics responsively in modern
graphical software. However, the graphical nature of the output poses a test oracle problem …

Specifications are important in software development because a large percentage of the
errors at implementation and test phases are traceable to a lack of precision of the …

In the context of develo** tool support to the automated analysis of interactive systems
implementations, this chapter proposal aims to investigate the applicability of reverse …

Graphics applications often need to manipulate numerous graphical objects stored as
polygonal models. Mesh simplification is an approach to vary the levels of visual details as …

This paper presents a formal development approach for designing interactive applications
using a correct-by-construction approach. In this work, we propose a refinement strategy …