1199 search results - page 127 / 240 » Software Verification and Software Engineering a Practitione... |
134
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
133
click to vote
SIGSOFT
2010
ACM
15 years 2 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...
153
click to vote
IUI
2009
ACM
15 years 11 months ago
2009
ACM
In this paper we present IVEA, a personalized visual interface which enables users to explore text collections from different perspectives and levels of detail. This work explores...
128
click to vote
SEW
2007
IEEE
15 years 11 months ago
2007
IEEE
We revisit the automatic tool composition feature of the Electronic Tool Integration platform under the perspective of planning. It turns out that in todays terminology, ETIs temp...
111
click to vote
XPU
2007
Springer
15 years 10 months ago
2007
Springer
From July 2005 to August 2006, a bioinformatics project experienced a substantial transformation by adopting Scrum and some XP practices. The paper reveals project risks, previous ...