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

1–20 von 119 Ergebnissen
|

    Adapting your simulation for HLA

    Yu, L.C. / Steinman, J.S. / Blank, G.E. | Tema Archiv | 1998
    Schlagwörter: formale Spezifikation

    A database architecture for reusable CommonKADS agent specification components

    Allsopp, D.J. / Harrison, A. / Sheppard, C. | Tema Archiv | 2002
    Schlagwörter: formale Spezifikation , Spezifikation (Normung)

    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

    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

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

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

    A multiplexing communication IC for automotive body-electronic control

    Shinojima, Y. / Kawakami, M. / Kawahashi, A. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation

    An approach for formal modelling of concepts of transportation and metrology standards

    Hänsel, Frank / Zhou, Yong / Poliak, Jan et al. | Tema Archiv | 2008
    Schlagwörter: formale Spezifikation

    An approach to formal verification of free-flight separation

    Eder, S. / Smith, G. | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation , formale Verifikation

    An approach to the pervasive formal specification and verification of an automotive system

    Rieden, Tom in der / Knapp, Steffen | Tema Archiv | 2005
    Schlagwörter: formale Spezifikation

    An architecture-centric approach for multi-agent system development and application

    Park, Sooyong / Sugumaran, V. / Lee, Seungyun | Tema Archiv | 2001
    Schlagwörter: formale Spezifikation

    A new approach for gateway-based automotive network architectures

    Limam, Mourad | Tema Archiv | 2009
    Schlagwörter: formale Spezifikation

    An example of risk assessment of software systems specifications

    Ammar, H.H. / Nikzadeh, T. / Dugan, J.B. | Tema Archiv | 1997
    Schlagwörter: formale Spezifikation

    Applying SOFL to specify a railway crossing controller for industry

    Liu, Shaoying / Asuka, M. / Komaya, K. et al. | Tema Archiv | 1999
    Schlagwörter: formale Spezifikation

    Applying software engineering principles in train control systems

    Zhang, L. / Katwijk, J. van / Brink, K. | Tema Archiv | 1994
    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

    Are proof techniques industrially operational?

    Pilarski, F. | Tema Archiv | 2001
    Schlagwörter: formale Spezifikation

    Aspects of formalisation in requirements engineering

    Schulz, Hans-Martin | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    A traffic management system based on description logics

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

    Automated testing in practice: the highway tolling system

    Vries, R.G. de / Belinfante, A. / Feenstra, J. | Tema Archiv | 2002
    Schlagwörter: formale Spezifikation