2255 search results - page 20 / 451 » High Assurance Software Systems |
HASE
2008
IEEE
14 years 3 months ago
2008
IEEE
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
IPPS
2002
IEEE
14 years 1 months ago
2002
IEEE
Future high-end computers will offer great performance improvements over today’s machines, enabling applications of far greater complexity. However, designers must solve the cha...
LREC
2010
13 years 10 months ago
2010
This paper describes the development of tools for a semi-automated process for validation of treebank annotation at various levels. Consistency in treebank annotation is a must fo...
MKWI
2008
13 years 10 months ago
2008
: Along with rapidly changing market requirements for service-oriented business software new challenges for quality management, quality assurance, and testing arise. Customers must...
IEEECIT
2010
IEEE
13 years 7 months ago
2010
IEEE
—This paper analyzes the mechanism of Industry Oriented Education of Ireland, especially in DIT and extracts useful experience to the education process of pilot software schools ...