Sciweavers

6197 search results - page 408 / 1240
» Sandbridge Software Tools
Sort
View
ISESE
2005
IEEE
16 years 12 days ago
A comparative study on the re-documentation of existing software: code annotations vs. drawing editors
During software evolution, programmers spend a lot of time and effort in the comprehension of the internal code structure. Such an activity is often required because the available...
Marco Torchiano, Filippo Ricca, Paolo Tonella
DATE
2002
IEEE
153views Hardware» more  DATE 2002»
15 years 11 months ago
Low Power Embedded Software Optimization Using Symbolic Algebra
The market demand for portable multimedia applications has exploded in the recent years. Unfortunately, for such applications current compilers and software optimization methods o...
Armita Peymandoust, Tajana Simunic, Giovanni De Mi...
HICSS
2000
IEEE
169views Biometrics» more  HICSS 2000»
15 years 11 months ago
A Software System for Spatial Data Analysis and Modeling
Advances in geographical information systems (GIS) and supporting data collection technology has resulted in the rapid collection of a huge amount of spatial data. However, known ...
Aleksandar Lazarevic, Tim Fiez, Zoran Obradovic
LPAR
2005
Springer
16 years 9 days ago
Integration of a Software Model Checker into Isabelle
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
Matthias Daum, Stefan Maus, Norbert Schirmer, M. N...
APSEC
2002
IEEE
15 years 11 months ago
The Real World Software Process
The industry-wide demand for rapid development in concert with greater process maturity has seen many software development firms adopt tightly structured iterative processes. Whi...
James M. Hogan, Glenn Smith, Richard Thomas