478 search results - page 16 / 96 » Formal Methods for Specifying, Validating, and Verifying Req... |
FMICS
2006
Springer
15 years 1 months ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
DATE
2003
IEEE
15 years 2 months ago
2003
IEEE
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between man...
OOPSLA
2000
Springer
15 years 1 months ago
2000
Springer
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
Information requirements analysis for data warehouse systems differs significantly from requirements analysis for conventional information systems. Existing data warehouse specifi...
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...