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

61–80 von 151 Ergebnissen
|

    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

    Utilizing Event-B for domain engineering: a critical analysis

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

    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

    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

    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

    Developing safety-critical real-time systems with SDL design patterns and components

    Fliege, I. / Geraldy, A. / Gotzhein, R. et al. | Tema Archiv | 2005
    Schlagwörter: formale Spezifikation

    Using viewpoints to define domain requirements

    Mannion, M. / Keepence, B. / Harper, D. | Tema Archiv | 1998
    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

    Adapting your simulation for HLA

    Yu, L.C. / Steinman, J.S. / Blank, G.E. | Tema Archiv | 1998
    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

    Experiences using lightweight formal methods for requirements modeling

    Easterbrook, S. / Lutz, R. / Covington, R. et al. | Tema Archiv | 1998
    Schlagwörter: formale Spezifikation , leichte 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

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

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

    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

    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

    Automotive UML - eine neue objektorientierte Entwicklungstechnik. Erweiterung von Standard-UML für Bedürfnisse der Automobilelektronik

    Hofmann, P. / Fasolt, J. / Geretschläger, P. et al. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation

    Integration of functional, cognitive and quality requirements. A railways case study

    Felici, M. / Sujan, M.A. / Wimmer, M. | Tema Archiv | 2000
    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

    Reusing single system requirements from application family requirements

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