Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements.
Saeid ArabestaniFriedemann BitschJan-Tecker GayenPublished in: SoftSpez Final Report (2004)
Keyphrases
- precise definition
- class diagram
- sequence diagrams
- software engineering
- requirements specification
- modeling language
- formal methods
- specification language
- state machine
- high level
- class diagrams
- requirements engineering
- requirements analysis
- uml diagrams
- constraint language
- tool support
- nuclear power plant
- software requirements
- uml models
- regression testing
- conceptual modeling
- application specific
- reverse engineering
- life cycle
- petri net
- software systems
- wireless sensor networks