KBSE
2003
IEEE
14 years 5 months ago
2003
IEEE
Run-time errors are typically seen as unacceptable within safety and security critical software. The SPARK approach to the development of high integrity software addresses the pro...
CAISE
2004
Springer
14 years 6 months ago
2004
Springer
Office activity procedure automation is getting very popular in major organizations. During the automation then workflow method is chosen frequently, because of its possibility to ...