Sciweavers

1398 search results - page 52 / 280
» Teaching Software Maintenance
Sort
View
TASE
2007
IEEE
14 years 4 months ago
Automating Language Evolution
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
Markus Pizka, Elmar Jürgens
TFM
2009
Springer
136views Formal Methods» more  TFM 2009»
14 years 4 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
ITS
1998
Springer
129views Multimedia» more  ITS 1998»
14 years 2 months ago
Cognitive Measures for Visual Concept Teaching with Intelligent Tutoring Systems
Abstract: This article reports on the application of general cognitive measures to describe and order the knowledge base of radiological images, aimed at the teaching of visual con...
Andrey R. Pimentel, Alexandre I. Direne
HICSS
2007
IEEE
113views Biometrics» more  HICSS 2007»
14 years 4 months ago
Secure Software Engineering: A New Paradigm
Software defects lead to security vulnerabilities, which are costing businesses millions of dollars each year and threaten the security of individuals and the nation. It can be de...
Wm. Arthur Conklin, Glenn B. Dietrich
IASTEDSEA
2004
13 years 11 months ago
ARIES: Refactoring support environment based on code clone analysis
Code clone has been regarded as one of factors that make software maintenance more difficult. A code clone is a code fragment in a source code that is identical or similar to anot...
Yoshiki Higo, Toshihiro Kamiya, Shinji Kusumoto, K...