1729 search results - page 24 / 346 » Practical Temporal Projection |
CAV
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
AGILEDC
2008
IEEE
14 years 2 months ago
2008
IEEE
Over the last few years we have had the good fortune to aggressively apply the agile practices on a number of projects with great success. These successes, however, have not been ...
FM
2009
Springer
14 years 2 months ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
CASCON
2001
13 years 9 months ago
2001
This paper reports the results of a recent survey involving over one hundred leading professionals of user-centered design (UCD). The survey covered a broad range of issues rangin...
ACL
1998
13 years 9 months ago
1998
This paper describes the work achieved in the rst half of a 4-year cooperative research project ARCADE, nanced by AUPELF-UREF. The project is devoted to the evaluation of parallel...