Search Sciweavers | Sciweavers

746 search results - page 4 / 150

» Formal Analysis of UML-Based Designs

click to vote

TACAS
1998
Springer

81views Algorithms» more TACAS 1998»

Formal Design and Analysis of a Gear Controller

13 years 11 months ago

Download www.it.uu.se

In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...

Magnus Lindahl, Paul Pettersson, Wang Yi

claim paper

Read More »

click to vote

FMOODS
2007

96views Formal Methods» more FMOODS 2007»

On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance

13 years 8 months ago

Download fsl.cs.uiuc.edu

Rewriting logic provides a powerful, ﬂexible mechanism for language deﬁnition and analysis. This ﬂexibility in design can lead to problems during analysis, as diﬀerent desi...

Mark Hills, Grigore Rosu

claim paper

Read More »

click to vote

FDL
2008
IEEE

93views Natural Language Processing» more FDL 2008»

MARTE-based Design of a Multimedia Application and Formal Analysis

13 years 7 months ago

Download www.lifl.fr

Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...

Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc...

claim paper

Read More »

click to vote

FASE
2001
Springer

89views Software Engineering» more FASE 2001»

A Formal Object-Oriented Analysis for Software Reliability: Design for Verification

13 years 12 months ago