1525 search results - page 31 / 305 » Formal Models for Communication-Based Design |
AO
2005
13 years 7 months ago
2005
There are a number of genuinely open questions concerning the use of domain models in nlp. It would be great if contributors to Applied Ontology could help addressing them rather ...
ATVA
2009
Springer
13 years 12 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
ACSC
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
ECEASST
2006
13 years 8 months ago
2006
OCL is a standard specification language, which will probably be supported by most software modeling tools in the near future. Hence, it is important to OCL to have a solid formal ...
FM
2008
Springer
13 years 9 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...