Hybrid Specification
摘要
A hybrid specification is an appropriate combination of semi-formal specification, GUI specification, and formal specification.