3357 search results - page 340 / 672 » On the Use of Process Trails to Understand Software Developm... |
185
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
179
click to vote
AVI
2006
15 years 8 months ago
2006
This paper presents an analysis of user studies from a review of papers describing new visualisation applications and uses these to highlight various issues related to the evaluat...
197
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
Usually software is maintained by people different from those who developed it. In this context the maintenance activities are dominated by the comprehension effort. The study of ...
196
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
190
click to vote
XPU
2007
Springer
16 years 25 days ago
2007
Springer
Bringing software process change to an organisation is a real challenge. The authors have shown a sample attempt to carry out a process change and then reflected on its results and...