Scenario-based specifications Specifications 8 Software engineering 6 Artificial intelligence 4 Automated approach 4 Computation theory 4 Flowcharting 4 Learning systems 4 MTS 4 Modal Transition Systems 4 Model checking 4 Requirements elicitation 4 Scenarios 4 Semantics 4 Semi-automated 4 Specification languages 4 Behaviour models 2 Case-based approach 2 Case-based approaches 2 Computer software 2 Graphic methods 2 Information theory 2 Labeled transition systems 2 Language semantics 2 Linguistics 2 Live sequence chart 2 Live sequence charts 2 Mathematical models 2 Operational behavior 2 Partial behavior models 2