• Home
  • Textbooks
  • Software Engineering 3: Domains, Requirements, and Software Design
  • The Triptych Paradigm

Software Engineering 3: Domains, Requirements, and Software Design

Dines Bjørner

Chapter 1

The Triptych Paradigm - all with Video Answers

Educators


Chapter Questions

Problem 1

Domain Entities: For the fixed topic, selected by you, list some dozen or so domain entities. Give suitably short names for their types and describe these, whether simple or composite, and, if composite, describe their composition.

Check back soon!
00:46

Problem 2

Domain Functions: For the fixed topic, selected by you, list some half dozen or so domain functions: Give suitably short names to these functions, and describe their signatures, that is, which arguments they "take", and what results in the "yield".

Matt Gibson
Matt Gibson
Numerade Educator
02:36

Problem 3

Domain Events: For the fixed topic, selected by you, list some half dozen or so domain events. Give suitably short names to these events, and describe them briefly.

Maxime Rossetti
Maxime Rossetti
Numerade Educator
01:38

Problem 4

Domain Behaviours: For the fixed topic, selected by you, list, say, three behaviours. Give suitably short names to these behaviours, and describe them briefly.

Carson Merrill
Carson Merrill
Numerade Educator
02:09

Problem 5

Domain Requirements: For the fixed topic, selected by you, list, say three or four, domain requirements. Describe them briefly and informally.

Abigail Darko
Abigail Darko
Numerade Educator

Problem 6

Interface Requirements: For the fixed topic, selected by you, list two or three interface requirements. Describe them briefly and informally.

Check back soon!

Problem 7

Machine Requirements: For the fixed topic, selected by you, list one machine requirements for each of the "standard" areas: performance, dependability, maintenance, platform, and documentation. Describe them briefly and informally.

Check back soon!

Problem 8

Software Architecture Design: For the fixed topic, selected by you, attempt, admittedly rather prematurely, to sketch a software architecture - say in terms of (briefly specified) boxes and (briefly specified) arrows, where boxes denote single-thread processes and arrows denote interactions (messages) between processes. Do this only informally.

Check back soon!

Problem 9

Software Component Design: This exercise is a continuation of Exercise 1.8. For the architecture sketch given, by you, in answer to Exercise 1.8, single out one or two "boxes" and specify their data structures and functions. Do this only informally.

Check back soon!
01:33

Problem 10

The Triptych Process Model: Without referring back to Sect. 1.4, try write down, for yourself, what the essence is of the triptych process model. That is, phases and stages. Name these. Try to sketch some process model diagrams.

Nicole Mabante
Nicole Mabante
Numerade Educator