Keyphrases
Live Sequence Charts
100%
Scenario-based Specification
87%
Gr-1
79%
Reactive Synthesis
70%
Scenario Approach
62%
Reactive Systems
62%
Specification Mining
55%
Modal
50%
Controller
48%
Correct-by-construction
44%
Execution Trace
43%
Connector Model
40%
Connector
39%
Component Model
37%
Compiler
29%
Data Mining Techniques
29%
User Study
26%
Temporal Logic
26%
UML2
25%
Structural Perspective
24%
Combinatorial Model
24%
Class Diagram
23%
Sequence Diagram
23%
Behavioral Model
23%
Semantic Differencing
22%
Scenario-based Programming
22%
Automated Method
20%
Value-based
20%
Specification Language
19%
Prototyping Tools
19%
Temporal Logic Specification
19%
Semantic Model
18%
Model Differencing
18%
Cross-cutting Issues
18%
Weaving Process
18%
Combinatorial Test Design
18%
Debloating
18%
System Specification
18%
AspectJ
17%
Dynamic Analysis
16%
Branching Time
16%
UML Sequence Diagram
15%
Debugging
15%
Unrealizability
15%
Android App
15%
Software Developers
14%
Expressive Power
14%
Scenario-based Testing
13%
Modal Sequence Diagrams
13%
Logic-based
13%
Computer Science
Reactive System
99%
Sequence Diagram
57%
Specification Mining
55%
Case Study
54%
Temporal Logic
54%
Execution Trace
53%
Specification Language
45%
class diagram
26%
Application Domain
25%
Software Engineering
25%
Syntactics
24%
Structural View
24%
Structural Property
24%
Combinatorial Model
24%
System Requirement
24%
Code Generation
23%
Robot
22%
Expressive Power
21%
Software Engineer
21%
Specification View
21%
Dynamic Analysis
19%
Crosscutting Concern
18%
Visual Language
18%
System Specification
18%
Model Checking
17%
Development Environment
17%
Object-Oriented System
16%
Branching Time
16%
Android
15%
modeling language
15%
Development Process
14%
Operational Semantics
14%
Model-Driven Engineering
14%
Library Component
13%
Activity Diagram
13%
Soundness
12%
Functional Property
12%
Programming Paradigm
12%
Log Analysis
12%
Direct Execution
12%
Aspect-Oriented Programming
12%
Traceability Information
12%
Time Complexity
12%
Formal Specification
12%
Involved Stakeholder
12%
Object Orientation
12%
Specification Model
12%
Transition System
12%
Use Case
12%
Fixed Points
12%