Chapter 15, Towards Domain Theories Video Solutions, Software Engineering 3: Domains, Requirements, and Software Design

Problem 1

Towards an 'Administrative Forms Processing' Domain Theory. We refer to our brief rough-sketch outline item 1, Sect. 1.7.1. Suggest theorems (like those stated in Examples 15.1-15.3) for an administrative forms processing domain theory.

Check back soon!

Problem 2

Towards an 'Airport' Domain Theory. We refer to our brief rough-sketch outline item 2, Sect. 1.7.1. Suggest theorems (like those stated in Examples 15.1-15.3) for an 'Airport' domain theory.

Check back soon!

Problem 3

Towards an 'Air Traffic' Domain Theory. We refer to our brief rough-sketch outline item 3, Sect. 1.7.1. Suggest theorems (like those stated in Examples 15.1-15.3) for an 'Air Traffic' domain theory.

Check back soon!

Problem 4

Towards a 'Container Harbour' Domain Theory. We refer to our brief rough-sketch outline item 4, Sect. 1.7.1. Suggest theorems (like those stated in Examples 15.1-15.3) for a 'Container Harbour' domain theory.
${ }^2$ Such cities as Singapore, Macau, Hong Kong, London, New York, Tokyo, Paris, etc., can be said to be metropolitan areas.

Check back soon!

Problem 5

Towards a 'Document System' Domain Theory. We refer to our brief rough-sketch outline item 5, Sect. 1.7.1. Suggest theorems (like those stated in Examples 15.1-15.3) for a 'Document System' domain theory.

Check back soon!

03:24

Problem 6

Towards a 'Financial Services System' Domain Theory. We refer to our brief rough-sketch outline item 6, Sect. 1.7.1. Suggest theorems (like those stated in Examples 15.1-15.3) for a 'Financial Service System' domain theory.

Diwakar Mandilwar

Numerade Educator

Problem 7

Towards a 'Freight Logistics' Domain Theory. We refer to our brief rough-sketch outline item 7, Sect. 1.7.1. Suggest more theorems (like those stated in Examples 15.1-15.3) for a 'Freight Logistics' domain theory.

Check back soon!

01:17

Problem 8

Towards a 'Hospital' Domain Theory. We refer to our brief rough-sketch outline item 8 , Sect. 1.7.1. Suggest more theorems (like those stated in Examples 15.1-15.3) for a 'Hospital' domain theory.

Christian Otero

Numerade Educator

Problem 9

Towards a 'Manufacturing Company' Domain Theory. We refer to our brief rough-sketch outline item 9, Sect. 1.7.1. Suggest more theorems (like those stated in Examples 15.1-15.3) for a 'Manufacturing Company' domain theory.

Check back soon!

Problem 10

Towards a 'Market' Domain Theory. We refer to our brief rough-sketch outline item 10, Sect. 1.7.1. Suggest theorems (like those stated in Examples 15.1-15.3) for a 'Market' domain theory.

Check back soon!

Problem 11

Towards a 'Metropolitan Area Tourism Industry' Domain Theory. We refer to our brief rough-sketch outline item 11, Sect. 1.7.1. Suggest theorems (like those stated in Examples 15.1-15.3) for a 'Metropolitan Area Tourism Industry' domain theory.

Check back soon!

Problem 12

Towards a 'Railway System' Domain Theory. We refer to our brief rough-sketch outline item 12, Sect. 1.7.1. Suggest more theorems (like those stated in Examples 15.1-15.3) for a 'Railway System' domain theory.

Check back soon!

01:17

Problem 13

Towards a 'University' Domain Theory. We refer to our brief rough-sketch outline item 13 Sect. 1.7.1. Suggest theorems (like those stated in Examples 15.1-15.3) for a 'University' domain theory.

Christian Otero

Numerade Educator

Problem 14

Towards a 'Public Administration' Domain Theory. We refer to our brief rough-sketch outline item 14, Sect. 1.7.1. Suggest theorems (like those stated in Examples 15.1-15.3) for a 'Public Administration' domain theory.

Check back soon!

Problem 15

Towards a 'Ministry of Finance' Domain Theory. We refer to our brief rough-sketch outline item 15, Sect. 1.7.1. Suggest theorems (like those stated in Examples 15.1-15.3) for a 'Ministry of Finance' domain theory.

Check back soon!