1106 search results - page 83 / 222 » Software That Can Think and Do |
131
click to vote
IWPC
2003
IEEE
15 years 11 months ago
2003
IEEE
Legacy code can often be made more understandable and maintainable by extracting out selected sets of statements to form procedures and replacing the extracted code with procedure...
150
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
162
click to vote
PEPM
1991
ACM
15 years 10 months ago
1991
ACM
It is well known that the performance of a program can often be improved by means of program transformation. Several program transformation techniques, eg. partial evaluation, wor...
176
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
Effective and efficient requirements negotiation is a key to the success of software development efforts. For large projects, this can be especially difficult to do effectively an...
193
click to vote
SOFTWARE
1998
15 years 6 months ago
1998
development is a highly abstract process that requires intense concentration. The authors show that interrupting this process can significantly reduce a developer’s efficiency an...