Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
Industrial applications of software synthesis via category theory
Integration of message sequence charts and Petri nets in the system design process
Functional modelling and simulation of train control systems
Explorations on the formal frontier of distributed system design
A database architecture for reusable CommonKADS agent specification components
Project Golden Gate: towards real-time Java in space missions
A new approach for gateway-based automotive network architectures
Process model for the development of system requirements specifications for railway systems
An example of risk assessment of software systems specifications
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
Safety checking in an automatic train operation system
Pragmatische Modellierung von Testfällen für Software im Automobil
Role of VDM(++) in the development of a real-time tracking and tracing system
Automated testing in practice: the highway tolling system
Deadlock control software for tow automated guided vehicles using Petri Nets
An architecture-centric approach for multi-agent system development and application
Rapid Prototyping elektronischer Steuerungssysteme in der Automobilentwicklung
Applying SOFL to specify a railway crossing controller for industry
Evaluating a control system architecture based on a formally derived AOCS model
Semiformale Entwurfsmethoden bei BMW
Formale Entwicklung der Steuerungssoftware für eine elektrisch ortsbediente Weiche mit VSE
A multiplexing communication IC for automotive body-electronic control
Model driven development and code generation: An automotive case study
Einsatz von Hardwarebeschreibungsprachen im Entwurf von Kfz-Komponenten
Modellgestützte Bewertung der Ablenkungswirkimg von neuen interaktiven Diensten im Fahrzeug
Modellierung und Analyse von Zeitanforderungen basierend auf der UML
Model-based testing of a reactive system with coloured Petri Nets
Specification based prototyping of control systems
Using specification-driven concepts for distributed data management and dissemination
Von Simulink nach OSEK: Automatische Codegenerierung für Echtzeitbetriebssysteme mit TargetLink
Validating metrics for ensuring Space Shuttle flight software quality
Formal requirements analysis of an avionics control system
Formalized conceptualization for the harmonization of the legal framework in railway transportation
An approach for formal modelling of concepts of transportation and metrology standards
CCS-recent applications, experience with tools, current and planned research
Setting software requirements: scenario for future fighters
Method and specification tools for Airbus onboard systems
Specification and verification of the ASOS kernel