332 search results - page 52 / 67 » A specification-based approach to testing software product l... |
CSMR
1999
IEEE
13 years 12 months ago
1999
IEEE
Philips Electronics is a world wide electronics company that develops many products containing embedded software. These products range from shavers with only few hundred bytes of ...
ICSM
2003
IEEE
14 years 27 days ago
2003
IEEE
A grammar-based approach to tool development in re- and reverse engineering promises precise structure awareness, but it is problematic in two respects. Firstly, it is a considera...
ER
2006
Springer
13 years 9 months ago
2006
Springer
Initial software quality requirements tend to be imprecise, subjective, idealistic, and context-specific. An extended characterization of the common Softgoal concept is proposed fo...
SIGSOFT
2004
ACM
14 years 1 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...
MICRO
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--Parallel programming is hard, because it is impractical to test all possible thread interleavings. One promising approach to improve a multi-threaded program's relia...