648 search results - page 52 / 130 » Software requirements validation via task analysis |
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
Modern software applications require internationalization to be distributed to different regions of the world. In various situations, many software applications are not internatio...
RE
2008
Springer
13 years 9 months ago
2008
Springer
Abstract During the selection of commercial off-theshelf (COTS) products, mismatches encountered between stakeholders' requirements and features offered by COTS products are i...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
CGO
2010
IEEE
14 years 4 months ago
2010
IEEE
Reducing the arithmetic precision of a computation has real performance implications, including increased speed, decreased power consumption, and a smaller memory footprint. For s...
SIGSOFT
2009
ACM
14 years 10 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...