Sciweavers

165 search results - page 3 / 33
» Experiences in Teaching Software Evolution and Program Compr...
Sort
View
TFM
2009
Springer
136views Formal Methods» more  TFM 2009»
14 years 2 months ago
On Teaching Formal Methods: Behavior Models and Code Analysis
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
Jan Kofron, Pavel Parizek, Ondrej Sery
IWPC
2005
IEEE
14 years 1 months ago
JRipples: A Tool for Program Comprehension during Incremental Change
Incremental software change adds new functionality to software. It is the foundation of software evolution, maintenance, iterative development, agile development, and other softwa...
Jonathan Buckner, Joseph Buchta, Maksym Petrenko, ...
AICCSA
2001
IEEE
103views Hardware» more  AICCSA 2001»
13 years 11 months ago
Toward a Comprehensive Framework for Software Process Modeling Evolution
Software process modeling has undergone extensive changes in the last three decades, impacting process' structure, degree of control, degree of visualization, degree of autom...
Osama Eljabiri, Fadi P. Deek
ITICSE
2004
ACM
14 years 1 months ago
Design and evolution of an undergraduate course on web application development
Web technologies have become essential in the computing curricula. However, teaching a Web development course to computing students is challenging because of large bodies of knowl...
Kwok-Bun Yue, Wei Ding 0003
IWPC
2009
IEEE
14 years 2 months ago
Intensions are a key to program comprehension
The classical comprehension theories study relations between extensions, intensions, and names. Originally developed in linguistics and mathematics, these theories are applicable ...
Václav Rajlich