3357 search results - page 154 / 672 » On the Use of Process Trails to Understand Software Developm... |
167
click to vote
ACMSE
1998
ACM
15 years 10 months ago
1998
ACM
– It is difficult to improve software quality by relying on conformance to industry standards by continuously upgrading from one standard or model to another standard or model be...
151
click to vote
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
This paper has the following goals: – To survey some of the recent developments in the field of derandomization. – To introduce a new notion of time-bounded Kolmogorov complex...
168
click to vote
CSEE
2009
Springer
16 years 1 months ago
2009
Springer
There has been much recent interest in how to help students in higher education develop their generic skills, especially since this is a focus of the Bologna process that aims to ...
178
click to vote
ESEC
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
219
click to vote
IWPSE
2003
IEEE
15 years 11 months ago
2003
IEEE
One of the issues in software evolution is debugging. Debugging large and complex software systems evolved requires a lot of effort since it is very difficult to localize and ide...