848 search results - page 79 / 170 » A Formal Monitoring-Based Framework for Software Development... |
116
Voted
RE
2005
Springer
15 years 9 months ago
2005
Springer
A framework for requirements analysis is proposed that accounts for individual and personal goals, and the effect of time and context on personal requirements. The implications of...
138
Voted
FAC
2000
15 years 3 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
118
Voted
IEE
2008
15 years 3 months ago
2008
: A simple and practical technique for assessing the risks, that is, the potential for error, and consequent loss, in software system development, acquired during a requirements en...
132
Voted
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
124
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...