Keyphrases
Object Constraint Language
94%
OCL Constraints
73%
Constraint Pattern
64%
Java Modeling Language
58%
Constraint Diagrams
52%
Usage Patterns
47%
Description Logics
47%
Manchester OWL Syntax
43%
Diagrammatic Notation
40%
Specification Patterns
35%
Symbolic Notation
35%
Diagrammatic Logic
31%
Textual Notation
29%
Java
23%
OCL Specifications
23%
Pattern-based
23%
Time-based
23%
Decidable Fragment
23%
Design Model
23%
Constrained Design
23%
Visual Specification
23%
Constraint Specification
23%
Axiomatization
23%
Software Development
23%
Ontology Engineering
23%
Generalized Constraints
23%
Java Implementation
23%
Concept Diagram
23%
User Understanding
23%
Ontology
23%
Decision Procedure
23%
Formal Methods
23%
Visual Logic
23%
Task Performance
22%
UML Diagrams
16%
UML Modeling
16%
Modeling Notation
16%
Class Invariants
16%
Inference Rules
15%
Java Classes
15%
Java Interface
15%
Recurring
13%
Formal Techniques
11%
Software Components
11%
Contract Design
11%
Design Validation
11%
Competing Patterns
11%
Seamless Transition
11%
Formal Notation
11%
Executable Assertions
11%
Computer Science
Constraint Language
100%
Postcondition
92%
class diagram
58%
modeling language
58%
Class Invariant
51%
Formal Notation
47%
Description Logics
47%
Specification Language
31%
Ontology
26%
Inference Rule
23%
Time Development
23%
Constraint Specification
23%
Constraint Violation
23%
Software Component
23%
Ontology Engineering
23%
Software Development
23%
Decision Procedure
23%
Translation Process
23%
Task Performance
22%
Modeling Notation
22%
Software Specification
11%
Design by Contract
11%
Design Validation
11%
Object Constant
11%
Liveness
11%
Axiomatization
11%
Software Engineering
11%
Venn Diagram
11%
Design Verification
11%
Formal Semantics
11%
Automatic Generation
11%
Modern Software
11%
Implementation Level
11%
Object-Oriented Design
10%
Interface Specification
10%
Textual Language
10%
Negative Feature
5%
Positive Feature
5%
Object Creation
5%
Software Systems
5%
Software Model
5%
