Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations

Keyphrases

• Formal Specification 100%
• Design Documentation 100%
• Levels of Abstraction 66%
• Specification Language 66%
• Invisible 33%
• Software Engineering 33%
• System Design 33%
• Java Language 33%
• Formal Methods 33%
• Formal Relations 33%
• Detailed Design 33%
• Semantic Properties 33%
• Design Language 33%
• System Verification 33%
• Programmer 33%
• Read-only 33%
• Design Verification 33%
• One-point 33%
• Running System 33%
• Design Documents 33%
• Subtle Change 33%
• Code Documentation 33%
• Formal Refinement 33%
• Javadoc 33%
• System Documentation 33%
• High-level Specification 33%
• Informal Relationships 33%

Computer Science

• Formal Specification 100%
• Design Documentation 100%
• Specification Language 66%
• Source Codes 33%
• Software Engineering 33%
• Design Language 33%
• Java Programming Language 33%
• System Documentation 33%
• Design Implementation 33%
• Language Implementation 33%
• Design Verification 33%
• Informal Relation 33%