6960 search results - page 1167 / 1392 » Continuity Analysis of Programs |
144
Voted
CLA
2006
15 years 5 months ago
2006
Abstract. Design defects are poor design choices resulting in a hard-tomaintain software, hence their detection and correction are key steps of a disciplined software process aimed...
134
Voted
DGO
2006
15 years 5 months ago
2006
In this project, we are developing new text processing tools that help people perform advanced analysis of large collections of text commentary. This problem is increasingly faced...
139
Voted
DLOG
2006
15 years 5 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
162
Voted
CASCON
2003
15 years 5 months ago
2003
Any attempt at automated software analysis or modification must be preceded by a comprehension step, i.e. parsing. This task, while often considered straightforward, can in fact ...
135
Voted
IFIP3
2003
15 years 5 months ago
2003
One special challenge facing teachers, planners and researchers is the development of pedagogical models, teaching methods and teaching practices that are applicable in network-bas...