Towards a formal foundation of the specification and description language SDL

Keyphrases

• CCITT 33%
• Conditional Equations 33%
• Description Language 100%
• Design Language 33%
• Distributed Systems 33%
• Formal Foundations 100%
• Functional Modeling 66%
• Functional Program 33%
• Functional Specification 66%
• Interactive Systems 66%
• Processing Function 33%
• Semantic Model 33%
• Specification Language 100%
• Specification Method 33%
• Stream Processing 33%
• System Design 33%
• Verification Method 33%

Computer Science

• Conditional Equation 50%
• Design Language 50%
• Distributed System 50%
• Functional Program 50%
• Interactive System 100%
• Specification Language 50%
• Stream Processing 50%

Material Science

• Functional Modeling 100%