Author:
Halang Wolfgang A.,Konakovsky Rudolf M.
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Clutterbuck, D.L. und Carré, B.A.: The verification of low level code. IEE Software Engineering Journal, 97–111 (1988)
2. Descartes, R.: Meditationen. Felix Meiner Verlag, Hamburg (1960)
3. EWICS TC7 Software Sub-Group: Techniques for the verification and validation of safety-related software. Computer and Standards 4, 101–112 (1985)
4. Fagan, M.E.: Design and Code Inspection to Reduce Errors in Program Development. IBM Systems Journal 15(3), 182–211 (1976)
5. Grimm, K.: Methoden und Verfahren zum systematischen Testen von Software. Automatisierungstechnische Praxis atp 30(6), 271–280 (1988)