3376 search results - page 297 / 676 » Analyzing Software Evolvability |
182
click to vote
FSTTCS
1999
Springer
15 years 11 months ago
1999
Springer
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get fi...
164
click to vote
PASTE
1998
ACM
15 years 10 months ago
1998
ACM
Static program slicing is an established method for analyzing sequential programs, especially for program understanding, debugging and testing. Until now, there was no slicing met...
165
click to vote
LCTRTS
1998
Springer
15 years 10 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
168
click to vote
CHI
1993
ACM
15 years 10 months ago
1993
ACM
In order to inform the design of technology support and new procedural methodsfor softwaredesign,we analyzed the content of real design meetingsin threeorganizations, focusing in ...
170
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
The paper summarizes three years of experience of introducing agile practices in academic environments. The perceptions of students from four different academic programs (Diploma,...