1397 search results - page 22 / 280 » On the Need for Practical Formal Methods |
126
Voted
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
129
click to vote
SAFECOMP
2007
Springer
15 years 10 months ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
128
Voted
ACHI
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper presents an approach to analyze and re-design evaluation methods. The domain explored in this paper is evaluation methods for evaluating fun and entertainment. However,...
118
Voted
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Transfer scenarios is a method developed to support the design of innovative interactive technology. Such a method should help the designer to come up with inventive ideas, and at...
158
Voted
SEKE
2010
Springer
15 years 1 months ago
2010
Springer
It is well known that software evolution is an inescapable activity in the software lifecycle. In order to prevent the negative effects of this activity (decreased quality, increa...