Synonyms were used for: formale Spezifikation
Search without synonyms: keywords:(formale Spezifikation)

1–20 of 153 hits
|

    Adapting your simulation for HLA

    Yu, L.C. / Steinman, J.S. / Blank, G.E. | Tema Archive | 1998
    Keywords: formale Spezifikation

    A database architecture for reusable CommonKADS agent specification components

    Allsopp, D.J. / Harrison, A. / Sheppard, C. | Tema Archive | 2002
    Keywords: 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 Archive | 2010
    Keywords: formale Spezifikation

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

    Wozniak, E. / Mraidha, C. / Gerard, S. et al. | Tema Archive | 2011
    Keywords: formale Spezifikation

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

    Fortes da Cruz, Marcelin / Raistrick, Paul | Tema Archive | 2007
    Keywords: formale Spezifikation

    A multiplexing communication IC for automotive body-electronic control

    Shinojima, Y. / Kawakami, M. / Kawahashi, A. | Tema Archive | 1994
    Keywords: formale Spezifikation

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

    Hänsel, Frank / Zhou, Yong / Poliak, Jan et al. | Tema Archive | 2008
    Keywords: formale Spezifikation

    An approach to formal verification of free-flight separation

    Eder, S. / Smith, G. | Tema Archive | 2010
    Keywords: formale Spezifikation , formale Verifikation

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

    Rieden, Tom in der / Knapp, Steffen | Tema Archive | 2005
    Keywords: formale Spezifikation

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

    Park, Sooyong / Sugumaran, V. / Lee, Seungyun | Tema Archive | 2001
    Keywords: formale Spezifikation

    A new approach for gateway-based automotive network architectures

    Limam, Mourad | Tema Archive | 2009
    Keywords: formale Spezifikation

    An example of risk assessment of software systems specifications

    Ammar, H.H. / Nikzadeh, T. / Dugan, J.B. | Tema Archive | 1997
    Keywords: formale Spezifikation

    An PEARL orientierte Spezifikation verteilter eingebetteter Systeme mit UML-Stereotypen

    Lu, S. | Tema Archive | 2003
    Keywords: 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 Archive | 2000
    Keywords: formale Spezifikation

    Applying SOFL to specify a railway crossing controller for industry

    Liu, Shaoying / Asuka, M. / Komaya, K. et al. | Tema Archive | 1999
    Keywords: formale Spezifikation

    Applying software engineering principles in train control systems

    Zhang, L. / Katwijk, J. van / Brink, K. | Tema Archive | 1994
    Keywords: formale Spezifikation

    A railway demonstrator model for experimental investigation of integrated specification techniques

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

    Are proof techniques industrially operational?

    Pilarski, F. | Tema Archive | 2001
    Keywords: formale Spezifikation

    Aspects of formalisation in requirements engineering

    Schulz, Hans-Martin | Tema Archive | 2007
    Keywords: formale Spezifikation