上海交通大学软件工程概论课件第二十八章 形式化方法.pptVIP

Chapter 28Formal Methods  Problems with Conventional Specification contradictions ambiguities vagueness incompleteness mixed levels of abstraction Formal Specification Desired properties—consistency, completeness, and lack of ambiguity—are the objectives of all specification methods The formal syntax of a specification language (Section 28.4) enables requirements or design to be interpreted in only one way, eliminating ambiguity that often occurs when a natural language (e.g., English) or a graphical notation must be interpreted The descriptive facilities of set theory and logic notation (