Graduate School and Research Center In communication systems

Seminar: From Analysis to Code Generation of Distributed Systems with a UML-based formal Environment named TURTLE’2005.

Ludovic Apvrille - Assistant Professeur, ENST à Institut Eurecom - Sophia-Antipolis

Mobile Communications

Date: October 20, 2005

Location: Eurecom - Institut Eurecom Salle EN05

UML solutions in competition on the protocol and real-time system market share three common drawbacks: an incomplete formal semantics, temporal operators with limited expression and analysis power, and implementation-oriented tools with limited verificati

Document

From Analysis to Code Generation of Distributed Systems with a UML-based formal Environment named TURTLE’2005.

Search