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