Sciweavers

3688 search results - page 411 / 738
» Static analysis of aspects
Sort
View
CSMR
2004
IEEE
15 years 10 months ago
High-Level Polymetric Views of Condensed Run-time Information
Understanding the run-time behavior of object-oriented legacy systems is a complex task due to factors such as late binding and polymorphism. Current approaches extract and use in...
Stéphane Ducasse, Michele Lanza, Roland Ber...
CSEE
2006
Springer
15 years 10 months ago
Students Managing the Software Development Process: A Meta-Level Retrospective Evaluation
A fifteen week module on software engineering management exposed graduate students to practical aspects of the management of software development: emphasizing the recording and an...
Anne Comer, Helen M. Edwards
ERCIMDL
2006
Springer
102views Education» more  ERCIMDL 2006»
15 years 10 months ago
On the Problem of Identifying the Quality of Geographic Metadata
Geographic metadata quality is one of the most important aspects on the performance of Geographic Digital Libraries. After reviewing previous attempts outside the geographic domain...
Rafael Tolosana-Calasanz, José A. Ál...
SAFECOMP
1998
Springer
15 years 10 months ago
Safety Verification of Software Using Structured Petri Nets
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
Krzysztof Sacha
ICSC
1995
Springer
15 years 10 months ago
Fast Resampling Using Vector Quantization
Abstract. We present a fast resampling scheme using vector quantization. Our method di ers from prior work applying vector quantization to speeding up image and volume processing i...
Patrick C. Teo, Chase D. Garfinkle