5407 search results - page 239 / 1082 » The Software Engineering Global Model |
124
click to vote
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
—For software, the costs of failures are not clearly understood. Often, these costs disappear in the costs of testing, the general developments costs, or the operating expenses. ...
138
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
on models are abstract representations of systems one wants to study through computer simulation. In multiagent based simulation, such models usually represent agents and their re...
144
click to vote
ECMDAFA
2009
Springer
15 years 9 months ago
2009
Springer
Model-driven engineering techniques can be used both to create new software and to modernize existing software systems. Modeldriven software modernization requires a first step for...
128
click to vote
WSC
1998
15 years 6 months ago
1998
A truly integrated modeling and analysis environment, which facilitates multi-use and multi-tool models, is necessary for today's enterprises to meet the challenges of the co...
170
Voted
SPIN
2007
Springer
15 years 11 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...