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