5252 search results - page 376 / 1051 » Requirements engineering: a roadmap |
188
click to vote
SEFM
2005
IEEE
16 years 1 months ago
2005
IEEE
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...
182
click to vote
STEP
2005
IEEE
16 years 1 months ago
2005
IEEE
The article focuses on a problem software companies often face: the need to choose a software quality model that, besides being auditable, ensures the connection of quality goals ...
193
click to vote
WCRE
2005
IEEE
16 years 1 months ago
2005
IEEE
— Chuck is a new code browser that allows navigation of a code base along semantic structures, such as data-flow and higher-order control-flow relationships. Employing the fast...
192
Voted
ADAEUROPE
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
186
Voted
ADAEUROPE
2005
Springer
16 years 1 months ago
2005
Springer
This article presents ERB, the ESA Ravenscar Benchmark. ERB aims at providing a synthetic benchmark comparing the efficiency of various Ada Ravenscar implementations and the RTEMS...