Computer Science
Software Systems
100%
Software Engineering
72%
Software Development
55%
Distributed System
54%
Programming Language
45%
Embedded System
45%
Development Process
42%
System Development
41%
Stream Processing
41%
Intensive System
36%
Embedded Software
35%
Algebraic Specifications
34%
System Specification
31%
Requirement Engineering
29%
Interactive System
28%
Denotational Semantics
27%
State Machine
25%
Nondeterminism
24%
Cyber Physical Systems
23%
Software Architecture
20%
Abstract Data Type
20%
Operational Semantics
19%
Requirement Specification
17%
Design Specification
17%
Functional Specification
17%
Concurrent Program
16%
Application Domain
15%
Formal Semantics
14%
Fixed Points
14%
Automotive Domain
13%
System Architecture
13%
Telecommunication
13%
Development Step
12%
Formalization
12%
modeling language
12%
Interface Specification
12%
Process Model
12%
Concurrency
12%
Computer Science
12%
Engineering Discipline
11%
Predicate Logic
11%
Feature Interaction
11%
Automotive System
11%
Transformation Rule
11%
Functional System
11%
Reactive System
11%
Software Quality
11%
Refinement Step
11%
Refinement Relation
10%
Formal Definition
10%
Keyphrases
Software Engineering
63%
Software System
48%
Distributed Systems
41%
Software-intensive Systems
40%
Software Development
39%
Embedded Systems
37%
Abstract Data Types
37%
Algebraic Specification
33%
Stream Processing
32%
Programming Languages
32%
Systems Engineering
32%
System Development
30%
Non-deterministic
30%
Formal Methods
29%
Processing Function
28%
Requirements Engineering
27%
Model-driven Development
26%
Nondeterminism
24%
System Specification
24%
Levels of Abstraction
23%
Embedded Software
22%
Denotational Semantics
21%
Calculus
21%
Communicating Systems
21%
Interactive Systems
21%
State Machine
20%
Functional Specification
20%
Interface Behavior
20%
Embedded Software Systems
20%
Cyber-physical Systems
18%
System Modeling
18%
Model-driven Engineering
17%
Concurrent Programs
17%
Mathematical Model
17%
Requirements Specification
16%
Software Process
16%
Software Architecture
16%
Program Development
15%
Operational Semantics
15%
Modularity
15%
System Architecture
15%
Modeling Theory
14%
System Components
13%
Multifunctional System
13%
Application Domain
12%
Logical Architecture
12%
Message Sequence Charts
12%
Semantic Model
12%
Formal Semantics
12%
Automotive Software Engineering
12%
