1908 search results - page 213 / 382 » How to teach software modeling |
148
click to vote
ICCBR
2005
Springer
15 years 10 months 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...
165
Voted
CMG
2003
15 years 6 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...
158
click to vote
AINA
2005
IEEE
15 years 10 months ago
2005
IEEE
Many existing software applications involve complex application layer implemented in OO programming languages and at the same time use relational database systems as back-end data...
128
click to vote
MDAFA
2004
Springer
15 years 10 months 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...
131
click to vote
TACAS
2004
Springer
15 years 10 months 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...