1031 search results - page 162 / 207 » On the Formal Development of Safety-Critical Software |
114
click to vote
RSP
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
128
click to vote
WISE
2006
Springer
15 years 6 months ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
127
Voted
FMCO
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
107
Voted
ISORC
2000
IEEE
15 years 5 months ago
2000
IEEE
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
89
Voted
ICECCS
1998
IEEE
15 years 4 months ago
1998
IEEE
All systems, regardless of how carefully they have been constructed, suffer failures. This paper focuses on developing a formal understanding of failure with respect to system imp...