↓ Skip to main content
What is this page? Embed badge

Software-Qualität

Overview of attention for book
Cover of 'Software-Qualität'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Einführung
  3. Altmetric Badge
    Chapter 2 Funktionsorientierter Test
  4. Altmetric Badge
    Chapter 3 Kontrollflussorientierter, strukturorientierter Test
  5. Altmetric Badge
    Chapter 4 Datenflussorientierter, strukturorientierter Test
  6. Altmetric Badge
    Chapter 5 Spezielle dynamische Testtechniken
  7. Altmetric Badge
    Chapter 6 Modellbasiertes Testen
  8. Altmetric Badge
    Chapter 7 Software-Messung
  9. Altmetric Badge
    Chapter 8 Werkzeugunterstützte statische Codeanalyse
  10. Altmetric Badge
    Chapter 9 Software-Inspektionen und Reviews
  11. Altmetric Badge
    Chapter 10 Formale Techniken: Symbolischer Test und formaler Korrektheitsbeweis
  12. Altmetric Badge
    Chapter 11 Prozesse und Prüfstrategien
  13. Altmetric Badge
    Chapter 12 Werkzeuge
  14. Altmetric Badge
    Chapter 13 Prüfen von objektorientierter Software
  15. Altmetric Badge
    Chapter 14 Prüfen von eingebetteter Software
  16. Altmetric Badge
    Chapter 15 Ein Praxisleitfaden
Attention for Chapter 10: Formale Techniken: Symbolischer Test und formaler Korrektheitsbeweis
Altmetric Badge

Citations

dimensions_citation
41 Dimensions

Readers on

mendeley
6 Mendeley
Summary Dimensions citations
So far, Dimensions has found 41 publications that cite this research output.

41

The most recent citing publications are shown below. View all 41 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.