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