Specification of Software Systems - Softcover

Alagar, V.S.; Periyasamy, K.

 
9781475729214: Specification of Software Systems

Synopsis

1 The Role of Specification.- 2 Specification Activities.- 3 Specification Qualities.- 4 Abstraction.- 5 Formal Systems.- 6 Logic.- 7 Set Theory and Relations.- 8 Algebraic Specification.- 9 Vienna Development Method.- 10 The Z Notation.- 11 Larch.

"synopsis" may belong to another edition of this title.