3425 search results - page 185 / 685 » A Model Driven Approach for Software Systems Reliability |
144
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Traditionally, instruction-set simulators (ISS’s) are sequential programs running on individual processors. Besides the advances of simulation techniques, ISS’s have been main...
129
click to vote
CEC
2008
IEEE
15 years 10 months ago
2008
IEEE
— Many complex, real world phenomena are difficult to study directly using controlled experiments. Instead, the use of computer simulations has become commonplace as a cost effe...
143
click to vote
IJACTAICIT
2010
14 years 10 months ago
2010
It is great practical interest to decide when to stop testing a software system in development phase and transfer it to the user. This problem is called as the optimal software re...
132
click to vote
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
145
click to vote
SLE
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Model-Driven Software Development is based on standardised models that are refined, transformed and eventually translated into executable code using code generators. How...