3425 search results - page 176 / 685 » A Model Driven Approach for Software Systems Reliability |
235
Voted
FDL
2004
IEEE
15 years 7 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
119
click to vote
EWSA
2005
Springer
15 years 9 months ago
2005
Springer
The growing importance of context-awareness in the construction of adaptable systems requires the development of formal models and notations that can bring this new dimension from ...
124
Voted
DAGSTUHL
2006
15 years 5 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
124
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Analyzing and modelling a software system with separate views is a good practice to deal with complexity and maintainability. When adopting such a modular approach for modelling, i...
130
click to vote
ICST
2010
IEEE
15 years 2 months ago
2010
IEEE
— Testing of graphical user interfaces is important due to its potential to reveal faults in operation and performance of the system under consideration. Most existing test appro...