This wiki has undergone a migration to Confluence found Here
Pre-condition
Jump to navigation
Jump to search
Pre-condition
- a predicate that a specification requires to be true for an operation to occur
- REF: SAIF-CD:Figure 10: BF language concepts and relationships for describing operation semantics
