Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
What software engineering can learn from practitioners
Setting software requirements: scenario for future fighters
Specification and verification of the ASOS kernel
CCS-recent applications, experience with tools, current and planned research
Explorations on the formal frontier of distributed system design
Role of VDM(++) in the development of a real-time tracking and tracing system
Requirements specification for process-control systems
Applying software engineering principles in train control systems
A multiplexing communication IC for automotive body-electronic control
Validating metrics for ensuring Space Shuttle flight software quality
Method and specification tools for Airbus onboard systems
Formal verification of safety requirements on complex systems
Rapid Prototyping elektronischer Steuerungssysteme in der Automobilentwicklung
Formale Entwicklung der Steuerungssoftware für eine elektrisch ortsbediente Weiche mit VSE
Einsatz von Hardwarebeschreibungsprachen im Entwurf von Kfz-Komponenten
Model checking large software specifications
An example of risk assessment of software systems specifications
Semiformale Entwurfsmethoden bei BMW
Formal requirements analysis of an avionics control system
Using a systems description language for complete avionics systems
Validating requirements for fault tolerant systems using model checking
Using viewpoints to define domain requirements
Experiences using lightweight formal methods for requirements modeling
Verification of the redundancy management system for space launch vehicle: a case study
Ein Pflichtenheft bewahrt Kunden vor dem Absturz. Der Eurofighter im Labor
Formal modeling of space shuttle software change requests using SCR
Reusing single system requirements from application family requirements
Industrial applications of software synthesis via category theory
Applying SOFL to specify a railway crossing controller for industry
Modellierung der Forms-Fallstudien mit Statemate
Strukturierte Erstellung von Sicherheitsspezifikationen in UML mit Hilfe der FMEA-Methode
Ein Weg zur Einsatzbarkeit Formaler Methoden für Ingenieure im Eisenbahnwesen
A traffic management system based on description logics
Technology transfer issues for formal methods of software specification
Ansätze zur Entwicklung von Eisenbahnleitsystemen auf der Basis von Petrinetzen