IBDL: A Language for Interface Behavior Specification and Testing.
Sreenivasa ViswanadhaDeepak KapurPublished in: COOTS (1998)
Keyphrases
- specification language
- formal verification
- programming language
- user interface
- operational semantics
- action language
- high level
- test cases
- language learning
- formal specification
- description language
- formal language
- exception handling
- highly modular
- visual query language
- formal languages
- formal methods
- software testing
- natural language
- process algebra
- test case generation
- modeling language