3045 search results - page 126 / 609 » Formal Approaches to Software Architecture |
102
click to vote
ISOLA
2004
Springer
15 years 4 months ago
2004
Springer
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
DAC
2009
ACM
16 years 3 days ago
2009
ACM
Continuously shrinking feature sizes result in an increasing susceptibility of circuits to transient faults, e.g. due to environmental radiation. Approaches to implement fault tol...
102
Voted
FMCAD
2008
Springer
15 years 20 days ago
2008
Springer
Post-silicon debug is the problem of determining what's wrong when the fabricated chip of a new design behaves incorrectly. This problem now consumes over half of the overall ...
LOGCOM
2002
14 years 10 months ago
2002
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
The large gap in the levels at which requirements are specified results in inadequate means for ensuring that business goals are properly supported. Architecture-level requirement...