Synonyme wurden verwendet für: formale Spezifikation
Suche ohne Synonyme: keywords:(formale Spezifikation)

1–6 von 6 Ergebnissen
|

    Automated specification-based test case generation using SCR

    Nikora, A. P. / Heitymeyer, C. L. | NTRS | 2003
    Schlagwörter: test case generation formal specification

      Automated specification-based test case generation using SCR

      Nikora, A. P. / Heitmeyer, C. L. | NTRS | 2003
      Schlagwörter: formal specification software testing test case generation test oracle

    Extending the use of measurement

    Nikora, A. P. | NTRS | 2003
    Schlagwörter: formal specification software testing test case generation test oracle

    A Guidance Framework for the Generation of Implementation Models in the Automotive Domain

    Wozniak, E. / Mraidha, C. / Gerard, S. et al. | Tema Archiv | 2011
    Schlagwörter: formale Spezifikation

    Requirements archaeology: from unstructured information to high quality specifications (in the automotive industry)

    Kiedaisch, F. / Pohl, M. / Weisbrod, J. et al. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation

    Object oriented and formal methods for AUV development

    Champeau, J. / Dhaussy, P. / Moitie, R. et al. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation , formale Methode