3425 search results - page 41 / 685 » A Model Driven Approach for Software Systems Reliability |
130
click to vote
SPIN
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
108
click to vote
ECMDAFA
2005
Springer
15 years 7 months ago
2005
Springer
Queries on software artifacts play an important role in novel software development approaches, such as Aspect-Oriented Software Development and OMG's Model Driven Architecture...
152
click to vote
HT
2004
ACM
15 years 7 months ago
2004
ACM
In this paper, we present a model-driven methodology and toolset for automatic generation of hypertext system repositories. Our code generator, called Bamboo, is based on a Contai...
121
click to vote
CSMR
2006
IEEE
15 years 8 months ago
2006
IEEE
Understanding large software systems is simplified when a combination of techniques for static and dynamic analysis is employed. Effective dynamic analysis requires that executio...
435
click to vote
JUCS
2008
15 years 1 months ago
2008
: Many methods in the area of Human-Computer Interaction have been developed for deriving user interfaces considering individual users. However, nowadays information systems includ...