Inspec keywords: formal specification; user interfaces

Other keywords: software requirements; contextual help definition language; software system; user interface contextual help; CHAINXML.

Subjects: User interfaces; Formal methods