"Software Engineering"-fifth chapter essay

This chapter mainly introduces the method of discrete mathematics in software engineering to solve the problems in software engineering field. The development of formal methods can be traced back to the research of compiling technology in the late the 1950s. It can also be understood that software development is actually the mapping of real-world needs into the modeling process of software.

Formal Specifications: The software specification is a description of the software system object, the operation method of the team image, and the object behavior. Non-formal specifications can be described in natural languages, diagrams, tables, and other forms.

Formal proof and verification: mainly includes model detection and theorem proving.

Program refinement: The combination of automatic inference and formal methods, from the abstract form of the specification of the implementation of specific computer-oriented program code of the whole process.

The z language is a formal language based on the set theory and the first order predicate calculus, and establishes a state-based model for the system. Mainly for input, output and status.

Z language is similar to discrete mathematics.

"Software Engineering"-fifth chapter essay