1527 search results - page 8 / 306 » From Requirements to Design: Formalizing the Key Steps |
73
Voted
ENTCS
2007
14 years 9 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
DAGSTUHL
2003
14 years 11 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
114
click to vote
DSVIS
1998
Springer
15 years 1 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
DAC
2000
ACM
15 years 10 months ago
2000
ACM
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
74
Voted
ICMAS
1998
14 years 11 months ago
1998
We have been developing an approach for the distributed coordination of heterogeneous, autonomous agents. This approach takes as input (a) agent skeletons, giving compact descript...