| 摘要 |
The present invention is a system to describe software requirement logic that includes a plurality of software requirements and an exclusive natural deduction style of formal reasoning that includes a plurality of connectives and a plurality of corresponding Latinate. The connectives include the group consisting of and, if-then, or, or not and the Latinate include the group consisting of conjunction, implication, disjunction or negation. The software requirements are included in a requirement phase and an implementation phase of a traditional software development cycle. The present invention also includes a method for describing software requirement logic.
|
