PPT Slide
A notation does not exist that:
- has a hight level of abstraction
- and is well suited for describing the requirements of
logically complex, data oriented applications
A new notation is proposed in this research to provide all of
Formal Stimulus Response Requirements
To manage the logic and data complexity, the formal requirement
notation will use a new formal specification language proposed in