SECh910

Ch 9 - Formal Specification ,[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],[object Object]

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

Formal Specification in the software process

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

Development costs with formal specification

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

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

The structure of an algebraic specification

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

Operations on a list ADT ,[object Object],[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],[object Object]

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

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

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

Output schemas ,[object Object],[object Object],[object Object]

Schema consistency ,[object Object],[object Object],[object Object],[object Object],[object Object]

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

10 minute break - a puzzle ,[object Object],[object Object],[object Object],[object Object]

Solution to the puzzle -- Do not trust your eyes/heart blindly always ! ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],X Y O X Y

Ch 10 - Architectural design ,[object Object],[object Object],[object Object],[object Object]

The software design process from Ch. 3

Advantages of explicit architecture ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Architectural design process ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Architectural models ,[object Object],[object Object],[object Object],[object Object],[object Object]

Architectural styles ,[object Object],[object Object],[object Object],[object Object]

Architecture attributes ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],The particular style and structure chosen for an application depends on non-functional system requirements

10.1 System structuring ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

The repository model ,[object Object],[object Object],[object Object],[object Object]

Repository model characteristics ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Client-server architecture ,[object Object],[object Object],[object Object],[object Object],[object Object]

Client-server characteristics ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Abstract machine (or layered) model ,[object Object],[object Object],[object Object],[object Object]

10.2 Control models ,[object Object],[object Object],[object Object],[object Object],[object Object]

Centralised control ,[object Object],[object Object],[object Object],[object Object],[object Object]

Event-driven systems ,[object Object],[object Object],[object Object],[object Object],[object Object]

Broadcast model ,[object Object],[object Object],[object Object],[object Object]

Interrupt-driven systems ,[object Object],[object Object],[object Object],[object Object],[object Object]

10.3 Modular decomposition ,[object Object],[object Object],[object Object],[object Object],[object Object]

Object models ,[object Object],[object Object],[object Object]

Data-flow models ,[object Object],[object Object],[object Object],[object Object]

10.4 Domain-specific architectures ,[object Object],[object Object],[object Object],[object Object],[object Object]

Generic models ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Compiler model Heterogeneous architecture : Symbol table acts as a repository and the phases of lexical analysis .. are organized sequentially. This model is less-effective when compiler is to be integrated with other language processing tools.

Reference architectures ,[object Object],[object Object],[object Object]

OSI reference model Application

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

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

SECh910

Recommandé

Recommandé

Contenu connexe

Tendances

Tendances (20)

En vedette

En vedette (20)

Similaire à SECh910

Similaire à SECh910 (20)

Plus de Joe Christensen

Plus de Joe Christensen (19)

Dernier

Dernier (20)

SECh910