Specification of Software Systems - Softcover

Alagar, V S

 
9781475729214: Specification of Software Systems

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.