Developing secure-critical systems is difficult and there are many well-known examples of
security weaknesses exploitedin practice. Thus a sound methodology supporting secure …

The paper describes a model-integrated approach for embedded software development that
is based on domain-specific, multiple-view models used in all phases of the development …

This paper presents the TGV tool, which allows for the automatic synthesis of conformance
test cases from a formal specification of a (non-deterministic) reactive system. TGV was …

This paper proposes a UML profile for software product lines. This profile includes
stereotypes, tagged values, and structural constraints and it makes possible to define PL …

The verification of concurrent finite-state systems by model-checking often requires to
generate (a large part of) the state space of the system under analysis. Because of the state …

In this paper, we propose a method for shape-similarity search of 3D polygonal-mesh
models. The system accepts triangular meshes, but tolerates degenerated polygons …

Model-based development necessitates the transformation of models between different
stages and tools of the design process. These transformations must be precisely, preferably …

Reverse engineering is the process of comprehending software and producing a model of it
at a high abstraction level, suitable for documentation, maintenance, or reengineering. But …

We present a systematic procedure of functional test case generation for feature testing of
mobile phone applications. A feature is an increment of functionality, usually with a coherent …

Abstract The Unified Modeling Language (UML) currently proposes a mechanism to model
recurrent design structures: the parameterized collaborations. The main goal of this …