190 search results - page 3 / 38 » A Model-Based Standard for SDL |
ESEM
2007
ACM
13 years 9 months ago
2007
ACM
This paper focuses on in-process measurements during requirements definition where measurements of processes and products are relatively difficult. However, development processes ...
ICST
2010
IEEE
13 years 4 months ago
2010
IEEE
— Increasingly, licensing and safety regulatory bodies require the suppliers of software-intensive, safety-critical systems to provide an explicit software safety case – a stru...
TSMC
2010
13 years 5 days ago
2010
Abstract--We present in this paper a case study of the probabilistic approach to model-based diagnosis. Here, the diagnosed system is a real-world electrical power system (EPS), i....
JCPHY
2011
12 years 8 months ago
2011
We present a Riemann solver derived by a relaxation technique for classical single-phase shallow flow equations and for a two-phase shallow flow model describing a mixture of so...
FORTE
1990
13 years 6 months ago
1990
Formal specifications are a well-known technique for improving software devel the context of OSI communication protocol standards, Formal Description Te (FDT's) have been dev...