1128 search results - page 129 / 226 » Little Engines of Proof |
105
Voted
CSMR
1999
IEEE
15 years 5 months ago
1999
IEEE
Maintenance activities are made more difficult when pointers are heavily used in source code: the programmer needs to build a mental model of memory locations and of the way they ...
116
Voted
AC
1999
Springer
15 years 5 months ago
1999
Springer
A widely used computational model for constructing fault-tolerant distributed applications employs atomic transactions for controlling operations on persistent objects. There has ...
120
click to vote
ICSE
1999
IEEE-ACM
15 years 5 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
104
Voted
ICSE
1998
IEEE-ACM
15 years 5 months ago
1998
IEEE-ACM
: Despite considerable evidence to show that inspections can help reduce costs and improve quality, inspections are not widely deployed in the software industry. One of the likely ...
110
Voted
UIST
1997
ACM
15 years 5 months ago
1997
ACM
Current software suites suffer from problems due to poor integration of their individual tools. They require the designer to think of all possible integrating behaviours and leave...