1525 search results - page 10 / 305 » Formal Models for Communication-Based Design |
TACAS
1998
Springer
14 years 1 days ago
1998
Springer
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...
FMOODS
2007
13 years 9 months ago
2007
Rewriting logic provides a powerful, flexible mechanism for language definition and analysis. This flexibility in design can lead to problems during analysis, as different desi...
FM
1999
Springer
14 years 3 days ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
ACSD
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper we show how to use labelled event structures as a unique mathematical representation for design models consisting of different UML 2.0 diagrams/notation. Each diagra...
ER
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents the Kuaba Ontology, a knowledge representation model for Design Rationale described in an ontology definition language. The representation of this model in a sp...