Specifications 10 Scenario-based specifications 8 Software engineering 8 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 Abductive reasoning 2 Behaviour models 2 Case-based approach 2 Case-based approaches 2 Computer software 2 Education 2 Event Calculus 2 Goal-oriented requirements engineering 2 Graphic methods 2 Inductive logic programming 2 Information theory 2 Labeled transition systems 2 Language semantics 2 Linear temporal logic 2