Sciweavers

5668 search results - page 858 / 1134
» The case for software evolution
Sort
View
ERCIMDL
2003
Springer
114views Education» more  ERCIMDL 2003»
15 years 12 months ago
Identifying Useful Passages in Documents Based on Annotation Patterns
Many readers annotate passages that are important to their work. If we understand the relationship between the types of marks on a passage and the passage’s ultimate utility in a...
Frank M. Shipman III, Morgan N. Price, Catherine C...
FATES
2003
Springer
15 years 12 months ago
Black-Box Testing of Grey-Box Behavior
A key aspect of the Object-Oriented (OO) approach is that a designer can enrich an OO system by providing suitable (re-)definitions for some of the methods of the given system. A...
Benjamin Tyler, Neelam Soundarajan
FM
2003
Springer
104views Formal Methods» more  FM 2003»
15 years 12 months ago
Proving the Shalls
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
Steven P. Miller, Alan C. Tribble, Mats Per Erik H...
FM
2003
Springer
115views Formal Methods» more  FM 2003»
15 years 12 months ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn
DATE
2010
IEEE
137views Hardware» more  DATE 2010»
15 years 11 months ago
Deterministic, predictable and light-weight multithreading using PRET-C
—We present a new language called Precision Timed C, for predictable and lightweight multithreading in C. PRET-C supports synchronous concurrency, preemption, and a high-level co...
Sidharta Andalam, Partha S. Roop, Alain Girault