1128 search results - page 175 / 226 » Little Engines of Proof |
95
Voted
UIST
2009
ACM
15 years 7 months ago
2009
ACM
The Web is a dynamic information environment. Web content changes regularly and people revisit Web pages frequently. But the tools used to access the Web, including browsers and s...
114
click to vote
SCAM
2008
IEEE
15 years 7 months ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
106
Voted
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Req...
104
Voted
ISSTA
2004
ACM
15 years 6 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
128
click to vote
WETICE
1997
IEEE
15 years 4 months ago
1997
IEEE
When an artifact is designed the typical output consists of documents describing the final result of a long series of deliberations and tradeoffs by the participants of collaborat...