Keyphrases
Axiomatization
25%
Class Invariants
17%
Competing Patterns
12%
Concept Diagram
25%
Constrained Design
25%
Constraint Diagrams
56%
Constraint Pattern
68%
Constraint Specification
25%
Contract Design
12%
Decidable Fragment
25%
Decision Procedure
25%
Description Logics
50%
Design Model
25%
Design Validation
12%
Diagrammatic Logic
33%
Diagrammatic Notation
42%
Executable Assertions
12%
Formal Methods
25%
Formal Notation
12%
Formal Techniques
12%
Generalized Constraints
25%
Inference Rules
16%
Java
25%
Java Classes
16%
Java Implementation
25%
Java Interface
16%
Java Modeling Language
62%
Manchester OWL Syntax
46%
Modeling Notation
17%
Object Constraint Language
100%
OCL Constraints
77%
OCL Specifications
25%
Ontology
25%
Ontology Engineering
25%
Pattern-based
25%
Recurring
14%
Seamless Transition
12%
Software Components
12%
Software Development
25%
Specification Patterns
37%
Symbolic Notation
37%
Task Performance
24%
Textual Notation
31%
Time-based
25%
UML Diagrams
17%
UML Modeling
17%
Usage Patterns
50%
User Understanding
25%
Visual Logic
25%
Visual Specification
25%
Computer Science
And-States
5%
Assertion Checker
5%
Association Class
5%
Automatic Generation
12%
Axiomatization
12%
class diagram
50%
Class Invariant
55%
Constraint Language
93%
Constraint Specification
25%
Constraint Violation
25%
Decision Procedure
25%
Description Logics
50%
Design by Contract
12%
Design Validation
12%
Design Verification
12%
Formal Notation
50%
Formal Semantics
12%
Implementation Level
12%
Inference Rule
25%
Integrity Checking
5%
Interface Specification
11%
Invariant
37%
Logical Reasoning
5%
modeling language
62%
Modeling Notation
23%
Modern Software
12%
Negative Feature
6%
Object Creation
6%
Object-Oriented Design
11%
Ontology
28%
Ontology Engineering
25%
Positive Feature
6%
Postcondition
73%
Software Component
25%
Software Development
25%
Software Engineering
12%
Software Model
6%
Software Specification
12%
Software Systems
6%
Specification Language
21%
Task Performance
24%
Textual Language
11%
Time Development
25%
Translation Process
25%
Venn Diagram
12%