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

101–150 von 151 Ergebnissen
|

    Industrial applications of software synthesis via category theory

    Williamson, K. / Healy, M. | Tema Archiv | 1999
    Schlagwörter: formale Spezifikation

    Integration of message sequence charts and Petri nets in the system design process

    Kluge, O. | Tema Archiv | 2003
    Schlagwörter: formale Spezifikation

    Functional modelling and simulation of train control systems

    Meyer zu Hörste, M. | Tema Archiv | 2003
    Schlagwörter: formale Spezifikation

    Explorations on the formal frontier of distributed system design

    Feather, M.S. | Tema Archiv | 1992
    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)

    Project Golden Gate: towards real-time Java in space missions

    Dvorak, D. / Bollella, G. / Canham, T. et al. | Tema Archiv | 2004
    Schlagwörter: formale Spezifikation , formale Verifikation

    A new approach for gateway-based automotive network architectures

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

    Process model for the development of system requirements specifications for railway systems

    Bitsch, F. | Tema Archiv | 2003
    Schlagwörter: formale Spezifikation

    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

    An example of risk assessment of software systems specifications

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

    Improving software development in the automotive area through tool supported modelling and formal analysis

    Mutz, M. / Diethers, K. | Tema Archiv | 2002
    Schlagwörter: formale Spezifikation

    Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme

    Trachtenherz, David | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation

    Safety checking in an automatic train operation system

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

    Pragmatische Modellierung von Testfällen für Software im Automobil

    Mann, Zoltan Adam | Tema Archiv | 2006
    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

    Automated testing in practice: the highway tolling system

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

    MODSARE-V: validation of dependability and safety critical software components with model based requirements

    Maia Mozart Silveira, Daniel Tomas de / Schoofs, Tobias / Alana Salazar, Elena et al. | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation

    Deadlock control software for tow automated guided vehicles using Petri Nets

    Rovetto, Carlos / Cano, Elia / Colom, Jose-Manuel | Tema Archiv | 2010
    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

    Rapid Prototyping elektronischer Steuerungssysteme in der Automobilentwicklung

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

    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

    Evaluating a control system architecture based on a formally derived AOCS model

    Ilic, Dubravka / Latvala, Timo / Varpaaniemi, Kimmo et al. | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation

    Semiformale Entwurfsmethoden bei BMW

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

    VMF - Funktion und Technologie

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

    Formale Entwicklung der Steuerungssoftware für eine elektrisch ortsbediente Weiche mit VSE

    Canver, E. / Gayen, J.T. / Moik, A. | Tema Archiv | 1996
    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

    Network application layer

    Lawrenz, W. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation

    Model driven development and code generation: An automotive case study

    Banci, Michele / Fantechi, Alessandro / Gnesi, Stefania et al. | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation , formale Verifikation

    Einsatz von Hardwarebeschreibungsprachen im Entwurf von Kfz-Komponenten

    Abel, H.B. / Papanuskas, J. | Tema Archiv | 1996
    Schlagwörter: formale Spezifikation

    Modellgestützte Bewertung der Ablenkungswirkimg von neuen interaktiven Diensten im Fahrzeug

    Urbas, Leon / Leuchter, Sandro / Schaft, Torsten et al. | Tema Archiv | 2008
    Schlagwörter: formale Spezifikation

    Modellierung und Analyse von Zeitanforderungen basierend auf der UML

    Hagner, Mattias / Huhn, Michaela | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    SACEM software validation

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

    Model-based testing of a reactive system with coloured Petri Nets

    Tjell, Simon | Tema Archiv | 2006
    Schlagwörter: formale Spezifikation

    Specification based prototyping of control systems

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

    Using specification-driven concepts for distributed data management and dissemination

    Blake, M.B. | Tema Archiv | 2002
    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

    Reuse in Command-and-Control Systems

    O'Connor, J. / Mansour, C. / Turner-Harris, J. et al. | Tema Archiv | 1994
    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

    Validating metrics for ensuring Space Shuttle flight software quality

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

    Formal requirements analysis of an avionics control system

    Dutertre, B. / Stavridou, V. | Tema Archiv | 1997
    Schlagwörter: formale Spezifikation , formale Sprache , formale Überprüfung

    Formalized conceptualization for the harmonization of the legal framework in railway transportation

    Schnieder, Eckehard | Tema Archiv | 2008
    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

    Formal methods for railway signalling

    Cullyer, W.J. / Wise, J.W. | Tema Archiv | 1989
    Schlagwörter: FORMALE SPEZIFIKATION

    CCS-recent applications, experience with tools, current and planned research

    Cleland, G. | Tema Archiv | 1991
    Schlagwörter: FORMALE SPEZIFIKATION

    Setting software requirements: scenario for future fighters

    Bera, R.K. | Tema Archiv | 1990
    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

    Method and specification tools for Airbus onboard systems

    Briere, D. / Ribot, D. / Pilaud, D. et al. | Tema Archiv | 1995
    Schlagwörter: formale Spezifikation , formale Überprüfung

    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

    Design by contract: the lessons of Ariane

    Jazequel, J.M. / Meyer, B. | Tema Archiv | 1997
    Schlagwörter: formale Spezifikation