2935 search results - page 197 / 587 » An Integrated Approach to High Integrity Software Verificati... |
158
click to vote
CNSR
2006
IEEE
16 years 19 days ago
2006
IEEE
Ad-hoc networks rely on participation and cooperation of nodes within the network to transmit data to destinations. However, in networks where participating nodes are controlled b...
135
click to vote
ARCS
2004
Springer
15 years 12 months ago
2004
Springer
: We investigated different parallel SIMD (single instruction multiple data) architectures based on pure programmable and reconfigurable approaches for their appropriateness for in...
178
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
Abstract: A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components modelled in UML...
181
click to vote
AGILEDC
2006
IEEE
16 years 20 days ago
2006
IEEE
Underspecified performance requirements can cause performance issues in a software system. However, a complete, upfront analysis of a software system is difficult, and usually not...
173
click to vote
EWSA
2004
Springer
15 years 12 months ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....