7475 search results - page 415 / 1495 » Supporting use case based requirements engineering |
149
click to vote
ICSM
1999
IEEE
15 years 11 months ago
1999
IEEE
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal tran...
142
Voted
ICIP
2007
IEEE
15 years 10 months ago
2007
IEEE
The search for alias-free sampling lattices for a given frequency support, in particular those lattices achieving minimum sampling densities, is a fundamental issue in various app...
191
click to vote
IEEEPACT
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we propose a unified architectural support that can be used flexibly for either soft-error protection or software bug detection. Our approach is based on dynamically...
155
click to vote
IEAAIE
2005
Springer
16 years 7 days ago
2005
Springer
A specification language for performance indicators and their relations and requirements is presented and illustrated for a case study in logistics. The language can be used in dif...
190
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Eukaryotic whole genome sequences are accumulating at an impressive rate. Effective methods for comparing multiple whole eukaryotic genomes on a large scale are needed...