Sixth time Assignment

Comparison of the advantages and disadvantages of formal methods and under-formalized methods

Formal Description:

Advantages: 1. Concise and accurate description of physical phenomena, the object is the result of action.

2. Can be smoothed over between different software engineering activities.

3. It provides a means of high-level confirmation.

Cons: Most formal specifications mainly focus on the system's functional data, while timing problems, control and behavior requirements are more difficult to express.

Non-formal Description:

Advantages: Low Difficulty

Disadvantages: There may be contradictions, ambiguity, vagueness, incompleteness

Levels of abstraction level confusion and other issues

Sixth time Assignment