Formal Automated Transformation of SDL Specifications to Estelle Specifications.
Hazem El-GendyNabil El-KadhiNarayan C. DebnathPublished in: CATA (2008)
Keyphrases
- formal specification
- reactive systems
- high level
- delay insensitive
- requirements specification
- automated tools
- operational semantics
- specification language
- functional requirements
- decision trees
- formal language
- database
- logic programs
- data structure
- website
- mathematical theory
- computer vision
- search engine
- learning algorithm