Towards a requirements definition, specification and system design environment.
Klaus D. Müller-GlaserJürgen BortolazziYankin TanurhanPublished in: EURO-DAC (1992)
Keyphrases
- requirements specification
- real time
- design criteria
- mobile robot
- operational semantics
- conceptual model
- functional requirements
- user interface
- interaction model
- design principles
- design methodology
- specification language
- tool suite
- software environment
- formal verification
- design choices
- requirements engineering
- computing environments
- computer aided
- building blocks
- virtual environment
- reinforcement learning
- high level
- case study