2429 search results - page 215 / 486 » A Requirement Engineering Approach to User Centered Design |
182
click to vote
ICSM
2007
IEEE
16 years 26 days ago
2007
IEEE
Bioinformaticists use the Basic Local Alignment Search Tool (BLAST) to characterize an unknown sequence by comparing it against a database of known sequences, thus detecting evolu...
178
click to vote
ISCC
2009
IEEE
16 years 1 months ago
2009
IEEE
Recent studies indicate that the Internet-related energy consumption represents a significant, and increasing, part of the overall energy consumption of our society. The largest c...
160
click to vote
VSTTE
2005
Springer
16 years 1 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
164
click to vote
SIGSOFT
2004
ACM
15 years 12 months ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
192
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...