Ch10

Objectives ,[object Object],[object Object],[object Object]

Topics covered ,[object Object],[object Object],[object Object]

Formal methods ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Acceptance of formal methods ,[object Object],[object Object],[object Object],[object Object],[object Object]

Use of formal methods ,[object Object],[object Object],[object Object]

Specification in the software process ,[object Object],[object Object],[object Object]

Specification in the software process

Use of formal specification ,[object Object],[object Object],[object Object],[object Object]

Cost profile ,[object Object],[object Object],[object Object]

Development costs with formal specification

Specification techniques ,[object Object],[object Object],[object Object],[object Object]

Formal specification languages

Interface specification ,[object Object],[object Object],[object Object],[object Object]

The structure of an algebraic specification

Specification components ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Systematic algebraic specification ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Specification operations ,[object Object],[object Object],[object Object]

Operations on a list ADT ,[object Object],[object Object],[object Object],[object Object],[object Object]

Recursion in specifications ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Interface specification in critical systems ,[object Object],[object Object],[object Object],[object Object]

A sector object ,[object Object],[object Object],[object Object],[object Object],[object Object]

Primitive operations ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Specification commentary ,[object Object],[object Object],[object Object]

Behavioural specification ,[object Object],[object Object],[object Object]

Modelling the insulin pump ,[object Object],[object Object],[object Object]

Schema invariant ,[object Object],[object Object],[object Object],[object Object],[object Object]

The dosage computation ,[object Object],[object Object],[object Object],[object Object]

Key points ,[object Object],[object Object],[object Object],[object Object]

Key points ,[object Object],[object Object],[object Object]

Ch10

Recommandé

Recommandé

Contenu connexe

Tendances

Tendances (20)

Similaire à Ch10

Similaire à Ch10 (20)

Plus de phanleson

Plus de phanleson (20)

Dernier

Dernier (20)

Ch10