3256 search results - page 213 / 652 » Applications of Formal Methods to System Design and Verifica... |
190
click to vote
SEFM
2005
IEEE
16 years 2 days ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
179
click to vote
CMSB
2004
Springer
15 years 12 months ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
207
click to vote
EUROCAST
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
181
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, an object-oriented unified optimization framework (UOF) for general problem optimization is proposed. Based on evolutionary algorithms, numerical deterministic meth...
169
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
In the domain of desktop software, design patterns have had a profound impact; they are applied ubiquitously across a broad range of applications. Patterns serve both to promulgat...