816 search results - page 104 / 164 » Automating Verification by Functional Abstraction at the Sys... |
182
click to vote
ER
1997
Springer
15 years 8 months ago
1997
Springer
Several decades of software engineering research confirm that effective reuse is the only realistic approach to meeting the ever-increasing demands on the software industry. Over ...
166
click to vote
FASE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...
129
Voted
ICSEA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—In order to check the fulfilment of non-functional requirements at an early system design and development stage, we provide a framework that facilitates the combination ...
131
click to vote
ECSQARU
2009
Springer
15 years 11 months ago
2009
Springer
Model-based diagnosis is the field of research concerned with the problem of finding faults ms by reasoning with abstract models of the systems. Typically, such models offer a ...
124
click to vote
ISQED
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— Reliability enhancements are traditionally implemented through redundancies at the system level or through the use of harden-cell-designs at the circuit level. Reliabil...