Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Cycle de vie d'un logiciel

Publications associées (24)

The host software for the real-time PHA X-ray diagnostic on TCV

Basil Duval

A real-time pulse height analysis (PHA) X-ray diagnostic for the TCV tokamak has been developed using CFN multi-DSP-based VME acquisition, processing and control board. The hardware is composed by: (i) a detection system based on a Si SDD detector; (ii) a ...

2006

OCL and Graph-Transformations – A Symbiotic Alliance to Alleviate the Frame Problem

Many popular methodologies are influenced by Design by Contract. They recommend to specify the intended behavior of operations in an early phase of the software development life cycle. Formal contract specification languages, however, are still rarely used ...

2006

Collaborative TeleNeurology for Remote Diagnosis

Jean-Philippe Thiran, Leila Cammoun, Leila Faiza Ben Hamida Cammoun

This paper presents the TENECI (Collaborative tele- neurology) project which allows practitioners to use telecommunication technologies to provide medical information and services for neurological diseases. Specificities of remote neurology are described a ...

2005

OCL and Graph-Transformations – A Symbiotic Alliance to Alleviate the Frame Problem

Many popular methodologies are influenced by Design by Contract. They recommend to specify the intended behavior of operations in an early phase of the software development life cycle. In practice, software developers use most often natural language to des ...

2005