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

41–60 von 109 Ergebnissen
|

    Coverage-directed test generation with model checkers: challenges and opportunities

    Devaraj, G. / Heimdahl, M.P.E. / Liang, Donglin | Tema Archiv | 2005
    Schlagwörter: formale Spezifikation

    Modelchecking von Klassifikationsbaum-Testsequenzen

    Krupp, Alexander / Müller, Wolfgang | Tema Archiv | 2005
    Schlagwörter: formale Spezifikation , formale Verifikation

    Formal requirements-based programming for complex systems

    Rash, J.L. / Hinchey, M.G. / Rouff, C.A. | Tema Archiv | 2005
    Schlagwörter: formale Spezifikation , formale Verifikation , formale Validierung

    A traffic management system based on description logics

    Bechina, A. / Kullmann, M. / Keith, B. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation

    Ein Weg zur Einsatzbarkeit Formaler Methoden für Ingenieure im Eisenbahnwesen

    Arabestani, S. / Gayen, J.T. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation , formale Verifikation

    Validating requirements for fault tolerant systems using model checking

    Schneider, F. / Easterbrook, S.M. / Callahan, J.R. et al. | Tema Archiv | 1998
    Schlagwörter: formale Spezifikation

    AMBERS: Improving requirements specification through assertive models and SCADE/ DOORS integration

    Fortes da Cruz, Marcelin / Raistrick, Paul | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    Qualitative and quantitative description of reliability characteristics in availability/safety diagrams

    Schnieder, E. | Tema Archiv | 2003
    Schlagwörter: formale Spezifikation

    Utilizing Event-B for domain engineering: a critical analysis

    Mashkoor, Atif / Jacquot, Jean-Pierre | Tema Archiv | 2011
    Schlagwörter: formale Spezifikation , formale Sprache

    A Generic Model for the Specification of Software Interface Requirements and Measurement of Their Functional Size

    Al-Sarayreh, Khalid T. / Abran, Alain | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation

    Security requirements engineering in the automotive domain: On specification procedures and implementational aspects

    Wolf, Marko / Paar, Christof | Tema Archiv | 2008
    Schlagwörter: formale Spezifikation

    A railway demonstrator model for experimental investigation of integrated specification techniques

    Hänsel, F. / König, S. / Slovak, R. et al. | Tema Archiv | 2003
    Schlagwörter: formale Spezifikation , formale Überprüfung

    Simulation of a Railway Control System: Dynamic Analysis of Scoped Memory Consumption

    Hamza, H. / Counsell, S. | Tema Archiv | 2011
    Schlagwörter: formale Spezifikation

    Technology transfer issues for formal methods of software specification

    Abernethy, K. / Kelly, J. / Sobel, A. et al. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation , formale Methode

    Formal modeling of space shuttle software change requests using SCR

    Wiels, V. / Easterbrook, S. | Tema Archiv | 1999
    Schlagwörter: formale Spezifikation , formale Verifikation

    Ansätze zur Entwicklung von Eisenbahnleitsystemen auf der Basis von Petrinetzen

    Chouikha, M. / Einer, S. / Meyer zu Hörste, M. et al. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation

    Reusing single system requirements from application family requirements

    Mannion, M. / Keepence, B. / Kaindl, H. et al. | Tema Archiv | 1999
    Schlagwörter: formale Spezifikation

    Formal modeling and verification of real-time concurrent systems

    Yan, Fei / Tang, Tao | Tema Archiv | 2008
    Schlagwörter: formale Spezifikation , formale Verifikation

    Software specification and development in the domain of railway signalling

    Saghi, B. / Tarnai, G. | Tema Archiv | 2003
    Schlagwörter: formale Spezifikation

    Improving system reliability via rigorous software modeling: the UML case

    Toval, A. / Aleman, J.L.F. | Tema Archiv | 2001
    Schlagwörter: formale Sprache , algebraische Spezifikation , formale spezifikationssprache