1782 search results - page 95 / 357 » Tool Support for Proof Engineering |
179
click to vote
APSEC
1996
IEEE
15 years 9 months ago
1996
IEEE
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce differe...
146
click to vote
ASE
2006
15 years 5 months ago
2006
Industry currently employs a product line approach to software development and deployment as a means to enhance quality while reducing development cost and time. This effort has cr...
152
click to vote
CHI
2010
ACM
16 years 14 days ago
2010
ACM
End-user programmers’ code is notoriously buggy. This problem is amplified by the increasing complexity of end users’ programs. To help end users catch errors early and reliab...
167
Voted
SEKE
2009
Springer
15 years 10 months ago
2009
Springer
Very large systems have an architecture that is designed to allow them to evolve through a long life. Such systems are developed by teams of architects. One of the first things t...
148
Voted
UIST
2000
ACM
15 years 10 months ago
2000
ACM
Speech-based user interfaces are growing in popularity. Unfortunately, the technology expertise required to build speech UIs precludes many individuals from participating in the s...