The SH-Verification Tool

r Abstractions + Enduser Interface Analysis Kernel Tools for System Specification Enduser Interface Temporal Logic Homomorphism Editor Preamble Editor Hierarchy Editor APA EditorNet Editor Project Manager Output Result Application oriented Presentation Editor Figure 1: Components of the sh-verification tool 1 

• Type: Conference
• Year: 2000
• Where: FLAIRS
• Authors: Peter Ochsenschläger, Jürgen Repp, Roland Rieke
• Keywords: Artificial Intelligence, Enduser Interface, FLAIRS 2000, Hierarchy Editor APA, Logic Homomorphism Editor