3425 search results - page 41 / 685 » A Model Driven Approach for Software Systems Reliability |
180
click to vote
SPIN
2004
Springer
15 years 11 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...
142
click to vote
ECMDAFA
2005
Springer
15 years 11 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...
199
click to vote
HT
2004
ACM
15 years 11 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...
163
click to vote
CSMR
2006
IEEE
16 years 21 hour 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...
517
click to vote
JUCS
2008
15 years 6 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...