Description: First, the experimental subjects: Formal test procedures derived 4
Second, experimental elements:
(1) According to a given problem, the establishment of pre-and post-predicate predicate.
(2) Derivation of conditional statements in accordance with the strategy, the establishment of procedures for the conditional statements.
(3) loop invariant structure, the establishment of community function.
(4) According to the derived loop strategy, the establishment of procedures for the circulation statement.
(5) goal-oriented, back to the process.
Third, the experiment was
Derivation of conditional statements in accordance with the strategy and the derived loop strategy, based on the concept of the weakest pre-conditions, a more formal way, from design requirements to achieve a step-by-step procedures derived.
Fourth, the experimental requirements:
The use of C++, the preparation of a program to achieve the factorial N.
Design of the use of loop invariants.
To Search:
- [conventSavage.Rar] - used predicate said France monks and Sav
- [sgdb5] - a predicate on the handouts, very lucid,
File list (Check if you may need any files):
程序设计方法学报告4.doc
Download