3765 search results - page 134 / 753 » Formal Methods for Systems Engineering Behavior Models |
110
Voted
CAISE
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
137
Voted
ICECCS
1998
IEEE
15 years 6 months ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
123
Voted
APSEC
2006
IEEE
15 years 4 months ago
2006
IEEE
Almost methods in embedded software modeling take software architecture as one of the crucial parts of the design process. Since a principal role of embedded software is the inter...
136
Voted
IESA
2007
15 years 4 months ago
2007
Domain ontology building is one of the most critical activities required in Semantic Web applications. The task must be performed by domain experts, who do not (generally) have the...
152
Voted
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....