1199 search results - page 57 / 240 » Software Verification and Software Engineering a Practitione... |
117
click to vote
AGILEDC
2007
IEEE
15 years 10 months ago
2007
IEEE
In the agile and user-centered design (UCD) communities it is often believed that agile’s quick development cycles do not allow time to fully understand our user’s needs. In o...
116
click to vote
AGILEDC
2006
IEEE
15 years 10 months ago
2006
IEEE
Using an experimental method, we found that customers, partnered with an IT professional, are able to use executable acceptance test (storytest)-based specifications to communicat...
139
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
This paper presents an approach and a toolset for exploiting the benefits of conceptual modeling in the quality evaluation tasks that take place both before the deployment and dur...
122
click to vote
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
In grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time ...
123
click to vote
FSTTCS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...