1468 search results - page 89 / 294 » On Industrial Use of Requirements Engineering Techniques |
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
The main barriers to the level of electronic data interchange required to seamlessly integrate services offered by legacy systems in an Internet environment are the need for appli...
SIMUTOOLS
2008
14 years 11 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
147
click to vote
TCAD
2010
14 years 4 months ago
2010
As contemporary VLSI designs grow in complexity, design debugging has rapidly established itself as one of the largest bottlenecks in the design cycle today. Automated debug soluti...
DAC
1997
ACM
15 years 2 months ago
1997
ACM
Novel test bench techniques are required to cope with a functional test complexity which is predicted to grow much more strongly than design complexity. Our test bench approach at...
EMSOFT
2007
Springer
15 years 4 months ago
2007
Springer
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...