890 search results - page 88 / 178 » software 1998 |
CODES
1998
IEEE
14 years 1 months ago
1998
IEEE
Telecommunication systems are often specified in the standardized languages SDL and MSc. These languages allow only the specification of pure functional aspects. To remedy this pr...
CODES
1998
IEEE
14 years 1 months ago
1998
IEEE
Many applications include a variety off unctions from different domains. Therefore, they are best modeled with a combination of different modeling languages. For a sound design pr...
COMPSAC
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper describes the application of a suite of innovative information processing and analytic support tools developed at The MITRE Corporation, in some cases as extensions of ...
ICRE
1998
IEEE
14 years 1 months 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...
ICRE
1998
IEEE
14 years 1 months ago
1998
IEEE
: Scenario-based approaches are becoming ubiquitous in systems analysis and design but their definition and scope remain vague. Complementing the recently proposed CREWS classifica...