486 search results - page 1 / 98 » Sound Methods and Effective Tools for Engineering Modeling a... |
ICSE
2003
IEEE-ACM
14 years 5 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
ICSE
2005
IEEE-ACM
14 years 5 months ago
2005
IEEE-ACM
SCS
2004
13 years 6 months ago
2004
Limitations in scope but also difficulties with the efficiency and scalability of present algorithms seem to have so far limited the industrial uptake of existing automated FMEA t...
DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
Failure Mode and Effects Analysis (FMEA) is a wellknown technique widely used for safety assessment in the area of safety-critical systems. However, FMEA is traditionally done man...
TSE
2010
13 years 3 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...