467 search results - page 5 / 94 » Partial Behavioural Models for Requirements and Early Design |
ICRE
1998
IEEE
14 years 21 days ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
WSC
2008
13 years 10 months ago
2008
Delphi Corporation decided to use simulation from concept development to installation of a new multimillion dollar fuel injector production line. In this paper we describe how sim...
DDECS
2009
IEEE
14 years 3 months ago
2009
IEEE
—Quasi Delay Insensitive asynchronous logic is a very robust system allowing safe implementations while requiring minimal timing assumptions. Unfortunately the design methodologi...
EUROMICRO
2007
IEEE
14 years 2 months ago
2007
IEEE
Getting business stakeholders’ goals formulated clearly and project scope defined realistically increases the chance of success for any application development process. As a cons...
IEEEARES
2008
IEEE
14 years 2 months ago
2008
IEEE
—Data warehouse (DW) systems integrate data from heterogeneous sources and are used by decision makers to analyze the status and the development of an organization. Traditionally...