Sciweavers

15777 search results - page 745 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
ADAEUROPE
2006
Springer
16 years 1 months ago
A Software Reliability Model Based on a Geometric Sequence of Failure Rates
Software reliability models are an important tool in quality management and release planning. There is a large number of different models that often exhibit strengths in differen...
Stefan Wagner, Helmut Fischer
FATES
2005
Springer
16 years 29 days ago
A Novel Test Coverage Metric for Concurrently-Accessed Software Components
We propose a novel, practical coverage metric called “location pairs” (LP) for concurrently-accessed software components. The LP metric captures well common concurrency errors ...
Serdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. ...
170
Voted
WER
2005
Springer
16 years 28 days ago
A Content Analysis Technique for Inconsistency Detection in Software Requirements Documents
This paper presents J-RAn (Java Requirement Analyzer), a tool that implements a novel Content Analysis technique to support the verification of consistency and completeness of a So...
Alessandro Fantechi, Emilio Spinicci
LSO
2004
Springer
16 years 24 days ago
Impreciseness and Its Value from the Perspective of Software Organizations and Learning
When developing large software products many verbal and written interactions take place. In such interactions the use of abstract and uncertain expressions is considered advantageo...
Grigori Melnik, Michael M. Richter
172
Voted
IWSAS
2001
Springer
15 years 12 months ago
An Approach to Self-adaptive Software Based on Supervisory Control
: Self-adaptive software systems use observations of their own behavior, and that of their environment, to select and enact adaptations in accordance with some objective(s). This a...
Gabor Karsai, Ákos Lédeczi, Janos Sz...