2124 search results - page 88 / 425 » Changing the paradigm of software engineering |
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
ISSTA
2000
ACM
14 years 1 months ago
2000
ACM
This paper presents a strategy for structural testing of objectoriented software systems with possibly unknown clients and unknown information about invoked methods. By exploiting...
INFORMATIKTAGE
2008
13 years 10 months ago
2008
: Software agents are often employed in distributed environments to cope with the various dynamical dimensions of such systems. Furthermore, the paradigm of agent-oriented software...
CISIS
2008
IEEE
14 years 3 months ago
2008
IEEE
The new era of multi-core processing challenges software designers to efficiently exploit the parallelism that is now massively available. Programmers have to exchange the conven...
CAD
2004
Springer
13 years 8 months ago
2004
Springer
Boundary representation models reconstructed from 3D range data suffer from various inaccuracies caused by noise in the data and by numerical errors in the model building software...