1141 search results - page 59 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
176
click to vote
DTJ
1998
15 years 5 months ago
1998
ir increasing use of abstraction, modularity, delayed binding, polymorphism, and source reuse, especially when these attributes are used in combination. Modern processor architectu...
134
click to vote
ISOLA
2004
Springer
15 years 11 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for eļ¬cient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
142
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
Continuing changes in the domains of consumer devices and multimedia formats demand for a new approach to media adaptation. The publication of customized content on a device requi...
181
click to vote
ICECCS
2009
IEEE
16 years 24 days ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
176
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speciļ¬...