3799 search results - page 349 / 760 » An Engineering Approach to Formal Methods |
199
click to vote
ICTAI
2003
IEEE
16 years 1 days ago
2003
IEEE
The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally ...
129
click to vote
FATES
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...
185
click to vote
SSDBM
1998
IEEE
15 years 11 months ago
1998
IEEE
On-Line Analytical Processing (OLAP) is a trend in database technology, which was recently introduced and has attracted the interest of a lot of research work. OLAP is based on th...
165
click to vote
FIW
2007
15 years 8 months ago
2007
Feature interaction detection in the context of systems that are highly integrated into their environment, such as embedded or software-intensive systems, is different from classi...
204
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
There is a need for research on the scientific base and engineering requirements for building trustworthy systems in dynamic environments. To address this need, we study risk analy...