Search Sciweavers | Sciweavers

In this paper, we consider the problem of deriving a component X of a system knowing the behavior of the whole system C and the other components A. The component X is derived by s...

Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko...

claim paper

Read More »

15

click to vote

FORTE
2003

92views Formal Methods» more FORTE 2003»

Specifying and Realising Interactive Voice Services

13 years 6 months ago

Download www.cs.stir.ac.uk

VoiceXML (Voice Extended Markup Language) has become a major force in interactive voice services. However current approaches to creating VoiceXML services are rather low-level. Gra...

Kenneth J. Turner

claim paper

Read More »

13

click to vote

FORTE
2003

117views Formal Methods» more FORTE 2003»

Behavioural Contracts for a Sound Assembly of Components

13 years 6 months ago

Download www.cyril-carrez.net

Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...

Cyril Carrez, Alessandro Fantechi, Elie Najm

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers