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

Empfohlen

Empfohlen

Weitere ähnliche Inhalte

Was ist angesagt?

Was ist angesagt? (20)

Andere mochten auch

Andere mochten auch (20)

Ähnlich wie SECh910

Ähnlich wie SECh910 (20)

Mehr von Joe Christensen

Mehr von Joe Christensen (19)

Kürzlich hochgeladen

Kürzlich hochgeladen (20)

SECh910