3765 search results - page 52 / 753 » Formal Methods for Systems Engineering Behavior Models |
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
ZUM
2000
Springer
14 years 8 days ago
2000
Springer
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
DASFAA
1993
IEEE
14 years 25 days ago
1993
IEEE
: Entities in engineering design databases need to evolve in both structure and behavior. Such a need is not well addressed by object-oriented data models based on the class concep...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
EUROMICRO
2000
IEEE
14 years 1 months ago
2000
IEEE
An important aspect in the design of hardware/software systems is design-for-test. Improving the testability of a hardware/software system typically implies improving the controll...