1799 search results - page 253 / 360 » The Logic of Correctness in Software Engineering |
147
click to vote
ECLIPSE
2007
ACM
15 years 10 months ago
2007
ACM
Application programming interfaces (APIs) inform application developers as to the functionality provided by a library and how to interact with it. APIs are a double-edged sword: i...
162
click to vote
FASE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. API error-handling specifications are often not documented, necessitating automated specification mining. Automated mining of error-handling specifications is challenging...
162
click to vote
AUIC
2004
IEEE
15 years 10 months ago
2004
IEEE
Researchers in Single Display Groupware (SDG) explore how multiple users share a single display such as a computer monitor, a large wall display, or an electronic tabletop display...
159
click to vote
CGO
2004
IEEE
15 years 10 months ago
2004
IEEE
Predicated execution enables the removal of branches by converting segments of branching code into sequences of conditional operations. An important side effect of this transforma...
210
click to vote
ASWSD
2006
Springer
15 years 10 months ago
2006
Springer
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the...