2935 search results - page 111 / 587 » An Integrated Approach to High Integrity Software Verificati... |
145
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
With the increasing complexity and heterogeneity of embedded electronic systems, a unified design methodology at evels of abstraction becomes a necessity. Meanwhile, it is also i...
109
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
—Packaging becomes an important issue in aerospace equipments because of high integration and severe environmental constraints. In order to develop products which respond to the ...
145
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
Achieving high structural coverage such as branch coverage in objectoriented programs is an important and yet challenging goal due to two main challenges. First, some branches inv...
140
Voted
UML
2001
Springer
15 years 9 months ago
2001
Springer
Much of the research work on design patterns has primarily focused on discovering and documenting patterns. Design patterns promise early reuse benefits at the design stage. To rea...
100
Voted
ACMSE
2007
ACM
15 years 8 months ago
2007
ACM
Many strategies have been proposed to address the problems associated with managing increasingly complex computing systems. IBM's Autonomic Computing (AC) paradigm is one suc...