Sunday, 16 March 2014

Formal technique | Formal specification language| Formal requirements specification

Posted by Roy on 06:41
0

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.

Posted in , , , , , ,

Decision table | Requirement analysis and specification

Posted by Roy on 06:21
0

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.

Posted in , , ,

Dicision tree | Requirement analysis and specification

Posted by Roy on 04:21
1
Decision tree :

A decision tree gives a graphic view of the processing logic involved in decision making and the corresponding actions taken. The edges of a decision tree represent conditions and the leaf nodes represent the actions to be performed depending on the outcome of testing the condition.

Example: -

Posted in , , ,

properties of SRS documents | SRS documents

Posted by Roy on 00:00
1
    The important properties of a good SRS document are the         following:
    There are six properties of good SRS document:
      1.concise
      2.structured
      3.black- box view
      4.conceptual integrity
      5.Response to undesired events
      6.verifiable
ƒ Concise: The SRS document should be concise and at the same time unambiguous, consistent, and complete. Verbose and irrelevant descriptions reduce readability and also increase error possibilities.

Posted in , ,

Subscribe to: Posts (Atom)

Popular Posts

Blogger templates

Blogger news

Blogroll

Powered by Blogger.

Ads 468x60px

Followers

Labels