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

1–50 von 151 Ergebnissen
|

    What software engineering can learn from practitioners

    Volovik, D. / Mojdehbakhsh, R. / Tsai, W.T. | Tema Archiv | 1990
    Schlagwörter: FORMALE SPEZIFIKATION

    Von Simulink nach OSEK: Automatische Codegenerierung für Echtzeitbetriebssysteme mit TargetLink

    Köster, L. / Thomsen, T. / Stracke, R. | Tema Archiv | 2001
    Schlagwörter: formale Spezifikation

    VMF - Funktion und Technologie

    Krüger, Stefan | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

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

    Sokolsky, O. / Younis, M. / Lee, Insup et al. | Tema Archiv | 1998
    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

    Validating metrics for ensuring Space Shuttle flight software quality

    Schneidewind, N.F. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation , formale Überprüfung

    Validating functional system requirements with scenarios

    Sutcliffe, A. / Gregoriades, A. | Tema Archiv | 2002
    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

    Using viewpoints to define domain requirements

    Mannion, M. / Keepence, B. / Harper, D. | Tema Archiv | 1998
    Schlagwörter: formale Spezifikation

    Using specification-driven concepts for distributed data management and dissemination

    Blake, M.B. | Tema Archiv | 2002
    Schlagwörter: formale Spezifikation

    Using a systems description language for complete avionics systems

    Barton, D.L. / Fortier, S.C. | Tema Archiv | 1998
    Schlagwörter: formale Spezifikation , formale Verifikation , Spezifikation (Normung)

    UML-based specification of a railway interlocking and signalling system

    Zahradnik, J. / Rastocny, K. / Janota, A. | Tema Archiv | 2003
    Schlagwörter: formale Spezifikation

    Transputer-based fault-tolerant and fail-safe node for dual ring distributed railway signalling systems

    Kumar, K.V. / Chandra, V. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation

    Topological manifold‐based monitoring method for train‐centric virtual coupling control systems

    Freier Zugriff
    Zhang, Yong / Wang, Haifeng | Wiley | 2020
    Schlagwörter: formal specification

      Topological manifold-based monitoring method for train-centric virtual coupling control systems

      Freier Zugriff
      Zhang, Yong / Wang, Haifeng | IET | 2020
      Schlagwörter: formal specification

    The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems

    Gamatie, Abdoulaye / Gautier, Thierry | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation

    The role of formal methods in developing a distributed railway interlocking system

    Banci, M. / Fantechi, A. / Gnesi, S. | Tema Archiv | 2004
    Schlagwörter: formale Spezifikation , formale Überprüfung

    The development of the advanced protocol for automotive local area multiplexing network (advanced PALMNET)

    Kimura, H. / Himono, Y. / Matsuda, Y. et al. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation

    The components data flow machine: An intermediate modeling format to support the design of automobiles E/E

    Kebemou, Augustin / Schieferdecker, Ina | Tema Archiv | 2008
    Schlagwörter: formale Spezifikation

    The building blocks for specifying communication behavior of complex objects: An activity-driven approach

    Ling Liu / Meersman, R. | Tema Archiv | 1996
    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

    Strukturierte Erstellung von Sicherheitsspezifikationen in UML mit Hilfe der FMEA-Methode

    Bitsch, F. / Canver, E. / Moik, A. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation

    Statechart testing method for aircraft control systems

    Bogdanov, K. / Holcombe, M. | Tema Archiv | 2001
    Schlagwörter: formale Spezifikation , Spezifikation (Normung)

    Standardizing model-based in-vehicle infotainment development in the german automotive industry

    Hess, Steffen / Gross, Anne / Maier, Andreas et al. | Tema Archiv | 2012
    Schlagwörter: formale Spezifikation

    Specification based prototyping of control systems

    Heimdahl, M.P.E. / Thompson, J.M. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation

    Specification and verification of the ASOS kernel

    Di Vito, B.L. / Palmquist, P.H. / Anderson, E.R. et al. | Tema Archiv | 1990
    Schlagwörter: FORMALE SPEZIFIKATION

    Specification and verification of a single-track railroad signaling in CafeOBJ

    Seino, T. / Ogata, K. / Futatsugi, K. | Tema Archiv | 2001
    Schlagwörter: formale Spezifikation

    Software specification and development in the domain of railway signalling

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

    Software assurance with SAMATE reference dataset, tool standards, and studies

    Black, P.E. | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    SmartAgriFood machine breakdown service

    Pickel, Peter / Hüther, Nicole / Flörchinger, Thomas | Tema Archiv | 2013
    Schlagwörter: formale Spezifikation

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

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

    Setting software requirements: scenario for future fighters

    Bera, R.K. | Tema Archiv | 1990
    Schlagwörter: FORMALE SPEZIFIKATION

    Semiformale Entwurfsmethoden bei BMW

    Eckrich, M. | Tema Archiv | 1997
    Schlagwörter: formale Spezifikation , formale Sprache

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

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

    Safety-critical systems built with COTS

    Profeta, J.A. III / Andrianos, N.P. / Bing Yu et al. | Tema Archiv | 1996
    Schlagwörter: formale Spezifikation

    Safety checking in an automatic train operation system

    Palshikar, G.K. | Tema Archiv | 2001
    Schlagwörter: formale Spezifikation

    SACEM software validation

    Guiho, G. / Hennebert, C. | Tema Archiv | 1990
    Schlagwörter: FORMALE SPEZIFIKATION

    Runtime adaptation in safety-critical automotive systems

    Trapp, Mario / Adler, Rasmus / Förster, Marc et al. | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    Role of VDM(++) in the development of a real-time tracking and tracing system

    Dürr, E.H. / Dusink, E.M. | Tema Archiv | 1993
    Schlagwörter: formale Spezifikation

    Risk assessment of software-system specifications

    Ammar, H.H. / Nikzadeh, T. / Dugan, J.B. | Tema Archiv | 2001
    Schlagwörter: formale Spezifikation , Spezifikation (Normung)

    Reusing single system requirements from application family requirements

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

    Reuse of Requirements Reduces Time to Market

    Goldin, L. / Matalon-Beck, M. / Lapid-Maoz, J. | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation , Spezifikation (Normung)

    Reuse in Command-and-Control Systems

    O'Connor, J. / Mansour, C. / Turner-Harris, J. et al. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation

    Requirements specification for process-control systems

    Leveson, N.G. / Heimdahl, M.P.E. / Hildreth, H. et al. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation

    Requirements of an integrated formal method for intelligent swarms

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

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

    Maksimov, Andrey | Tema Archiv | 2010
    Schlagwörter: 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 Archiv | 2000
    Schlagwörter: formale Spezifikation

    Rapid specification of hardware-in-the-loop test systems in the automotive domain based on the electric/electronic architecture description of, vehicles

    Hillenbrand, M. / Heinz, M. / Mueller-Glaser, K.D. | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation

    Rapid Prototyping elektronischer Steuerungssysteme in der Automobilentwicklung

    Spreng, M. | Tema Archiv | 1996
    Schlagwörter: formale Spezifikation , formale Sprache