Sciweavers

425 search results - page 8 / 85
» Requirements, specifications, and minimal refinement
Sort
View
PVLDB
2010
147views more  PVLDB 2010»
13 years 2 months ago
Automatic Rule Refinement for Information Extraction
Rule-based information extraction from text is increasingly being used to populate databases and to support structured queries on unstructured text. Specification of suitable info...
Bin Liu 0002, Laura Chiticariu, Vivian Chu, H. V. ...
SERP
2008
13 years 9 months ago
Practically Relevant Quality Criteria for Requirements Documents
Abstract. This paper presents common weaknesses of requirements documents from commercial software projects that frequently cause problems in practice. Many documents contain exten...
Tobias Simon, Jonathan Streit, Markus Pizka
FAC
2002
78views more  FAC 2002»
13 years 7 months ago
A Refinement Calculus for Shared-Variable Parallel and Distributed Programming
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. More...
Jürgen Dingel
ICCAD
2006
IEEE
141views Hardware» more  ICCAD 2006»
14 years 4 months ago
A code refinement methodology for performance-improved synthesis from C
Although many recent advances have been made in hardware synthesis techniques from software programming languages such as C, the performance of synthesized hardware commonly suffe...
Greg Stitt, Frank Vahid, Walid A. Najjar
RE
2008
Springer
13 years 7 months ago
Examining the Relationships between Performance Requirements and "Not a Problem" Defect Reports
Missing or imprecise requirements can lead stakeholders to make incorrect assumptions. A "Not a Problem" defect report (NaP) describes a software behavior that a stakeho...
Chih-Wei Ho, Laurie Williams, Brian Robinson