3801 search results - page 449 / 761 » An Approach to Modeling Software Safety |
179
click to vote
ICCBR
2005
Springer
16 years 7 days ago
2005
Springer
This paper describes how CBR can be used to compare, reuse, and adapt inductive models that represent complex systems. Complex systems are not well understood and therefore require...
200
click to vote
CMG
2003
15 years 8 months ago
2003
The queueing Petri net (QPN) paradigm provides a number of benefits over conventional modeling paradigms such as queueing networks and generalized stochastic Petri nets. Using qu...
160
click to vote
MDAFA
2004
Springer
16 years 2 days ago
2004
Springer
Model transformations are the core of the MDA approach to software development. As specified by the OMG, model transformations should act on any kind of model of any kind of metamo...
162
click to vote
TACAS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...
205
click to vote
EHCI
1998
15 years 8 months ago
1998
: Task models bridge the gap between HCI and Software Engineering. They are useful both for interface design and for generating user interface code and user documentation. These be...