3555 search results - page 106 / 711 » Security-Critical System Development with Extended Use Cases |
104
click to vote
CODES
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper discusses the trade-off between calculations and memory accesses in a 3D graphics tile renderer for visualization of data from medical scanners. The performance require...
HICSS
2006
IEEE
15 years 7 months ago
2006
IEEE
Unstable software requirements are common and call for Agile practices. On the other hand, quality standards and recommendations, to which companies must adhere to play in selecte...
108
click to vote
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper proposes a novel HW/SW co-simulation approach that minimizes the impact on software designers. We propose a SystemC-based system that enables the software team to test ...
SNPD
2003
15 years 2 months ago
2003
We present our experience in automatically deriving a detailed test case plan exclusively using the UML diagrams developed during the analysis and design phases. We consider in pa...
106
click to vote
FMSD
2006
15 years 1 months ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...