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

81–100 of 151 hits
|

    Software specification and development in the domain of railway signalling

    Saghi, B. / Tarnai, G. | Tema Archive | 2003
    Keywords: formale Spezifikation

    Improving system reliability via rigorous software modeling: the UML case

    Toval, A. / Aleman, J.L.F. | Tema Archive | 2001
    Keywords: formale Sprache , algebraische Spezifikation , formale spezifikationssprache

    Verification of the redundancy management system for space launch vehicle: a case study

    Sokolsky, O. / Younis, M. / Lee, Insup et al. | Tema Archive | 1998
    Keywords: formale Spezifikation , formale Verifikation

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

    Kiedaisch, F. / Pohl, M. / Weisbrod, J. et al. | Tema Archive | 2000
    Keywords: formale Spezifikation

    An PEARL orientierte Spezifikation verteilter eingebetteter Systeme mit UML-Stereotypen

    Lu, S. | Tema Archive | 2003
    Keywords: formale Spezifikation

    UML-based specification of a railway interlocking and signalling system

    Zahradnik, J. / Rastocny, K. / Janota, A. | Tema Archive | 2003
    Keywords: formale Spezifikation

    Protokoll SIMPLE

    Pietsch, Tommy | Tema Archive | 2007
    Keywords: formale Spezifikation

    Petrinetze für die durchgängige Entwicklung von Systemen der Eisenbahnsicherung

    Meyer zu Hörste, M. / Schnieder, E. | Tema Archive | 2000
    Keywords: formale Spezifikation

    Runtime adaptation in safety-critical automotive systems

    Trapp, Mario / Adler, Rasmus / Förster, Marc et al. | Tema Archive | 2007
    Keywords: formale Spezifikation

    Automotive software development: a model based approach

    Rappl, M. / Braun, P. / Beeck, M. von der et al. | Tema Archive | 2002
    Keywords: formale Spezifikation , modellbasierte Spezifikation

    Hybrid-model based hierarchical mission control architecture for autonomous underwater vehicles

    Tangirala, S. / Kumar, R. / Bhattacharyya, S. et al. | Tema Archive | 2005
    Keywords: formale Spezifikation , formale Verifikation

    Automated translation of safety critical application software specifications into PLC ladder logic

    Leucht, K.W. / Semmel, G.S. | Tema Archive | 2008
    Keywords: formale Spezifikation

    Object oriented and formal methods for AUV development

    Champeau, J. / Dhaussy, P. / Moitie, R. et al. | Tema Archive | 2000
    Keywords: formale Spezifikation , formale Methode

    Are proof techniques industrially operational?

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

    Requirements-based conformance testing of ARINC 653 real-time operating systems

    Maksimov, Andrey | Tema Archive | 2010
    Keywords: formale Spezifikation , formale Verifikation

    Computer automated multi-paradigm modelling for analysis and design of traffic networks

    Vangheluwe, H. / Lara, J. de | Tema Archive | 2004
    Keywords: formale Spezifikation

    Projet B-RAIL: utilisation de la notation UML et du langage B pour la modelisation d'un passage a niveau

    Boulanger, Jean-Louis | Tema Archive | 2007
    Keywords: formale Spezifikation

    Industrial applications of software synthesis via category theory

    Williamson, K. / Healy, M. | Tema Archive | 1999
    Keywords: formale Spezifikation

    Validating functional system requirements with scenarios

    Sutcliffe, A. / Gregoriades, A. | Tema Archive | 2002
    Keywords: formale Spezifikation , formale Verifikation