712 search results - page 17 / 143 » Software debugging, testing, and verification |
MTV
2005
IEEE
14 years 1 months ago
2005
IEEE
Semiconductor manufacturers aim at deliver new devices within shorter times in order to gain market shares. First silicon debug is an important issue in order to minimize the time...
TAP
2008
Springer
13 years 7 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
Embedded systems are often used in a safety-critical context, e.g. in airborne or vehicle systems. Typically, timing constraints must be satisfied so that real-time embedded syste...
EMSOFT
2008
Springer
13 years 9 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
COMPSAC
2002
IEEE
14 years 23 days ago
2002
IEEE
One of the most important issues in the software development is how to guarantee that the software satisfies the quality defined in the requirement specification. This paper pr...