Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
A database architecture for reusable CommonKADS agent specification components
A Guidance Framework for the Generation of Implementation Models in the Automotive Domain
AMBERS: Improving requirements specification through assertive models and SCADE/ DOORS integration
A multiplexing communication IC for automotive body-electronic control
An approach for formal modelling of concepts of transportation and metrology standards
An approach to formal verification of free-flight separation
An approach to the pervasive formal specification and verification of an automotive system
An architecture-centric approach for multi-agent system development and application
A new approach for gateway-based automotive network architectures
An example of risk assessment of software systems specifications
Applying SOFL to specify a railway crossing controller for industry
Applying software engineering principles in train control systems
A railway demonstrator model for experimental investigation of integrated specification techniques
Are proof techniques industrially operational?
Aspects of formalisation in requirements engineering
A traffic management system based on description logics
Automated testing in practice: the highway tolling system