Formal technique | Formal specification language| Formal requirements specification

Formal technique

A formal technique is a mathematical method to specify a hardware and/or software system, verify whether a specification is realizable, verify that an implementation satisfies its specification, prove properties of a system without necessarily running the system, etc. The mathematical basis of a formal method is provided by the specification language.

Read More [...]

Posted in Formal requirements specification, Formal specification language, Formal technique, satisfacation relation, semantic domains, software engineering, syntactic domains

Decision table | Requirement analysis and specification

Decision table:

A decision table is used to represent the complex processing logic in a tabular or a matrix form. The upper rows of the table specify the variables or conditions to be evaluated. The lower rows of the table specify the actions to be taken when the corresponding conditions are satisfied.

Read More [...]

Posted in Decision table, notes of software engineering, Requirement analysis and specification, software engineering