2419 search results - page 346 / 484 » A Formal Approach to Software Testing |
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
As web–based information systems usually run in concurrent environment, the complexity for implementing and testing those systems is significantly high. Therefore it is useful ...
IWSSD
2000
IEEE
14 years 22 days ago
2000
IEEE
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...
SEE
1997
Springer
14 years 15 days ago
1997
Springer
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
EVOW
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. This paper deals with the mapping of the parallel islandbased genetic algorithm with unidirectional ring migrations to nVidia CUDA software model. The proposed mapping is...
ACE
2004
13 years 9 months ago
2004
The Capability Maturity Model and SPICE approach to software process improvement has resulted in a robust system for improving development process capability in the field of softw...