3425 search results - page 441 / 685 » A Model Driven Approach for Software Systems Reliability |
127
click to vote
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
UML statecharts are widely used to specify the dynamic behaviours of systems . To support systematic simulation of such models, we propose an approach to map systems specified usin...
200
click to vote
WEBI
2010
Springer
15 years 2 months ago
2010
Springer
This paper studies online quality measurement in cloud computing environment. The paper analyzes concentration measure evaluation method of the current software quality evaluation...
159
click to vote
ECMDAFA
2010
Springer
15 years 9 months ago
2010
Springer
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...
114
click to vote
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
142
Voted
ENTCS
2008
15 years 4 months ago
2008
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...