A computational tool that supports formal diagnosis of process design

Keyphrases

• Design Process 100%
• Computational Tools 100%
• Further Analysis 33%
• Computer Science 33%
• Method Validation 33%
• Validation Analysis 33%
• Artificial Intelligence 33%
• Organizational Requirements 33%
• Constraint Structure 33%
• Consistency Analysis 33%
• Support Processes 33%
• Formal Techniques 33%
• Intelligence Science 33%
• Syntax Validation 33%

Computer Science

• Software Development Tool 100%
• Support Process 50%
• Organizational Requirement 50%
• Formal Notation 50%
• Artificial Intelligence 50%
• Computer Science 50%