Software Engineering 3: Domains, Requirements, and Software Design

Dines Bjørner

Chapter 29 Etcetera: Coding and All That! - all with Video Answers

Educators

Chapter Questions

Problem 1

Domain Demo. For the fixed topic, selected by you, suggest the structure of a domain demo which, in as systematic a way as you can think of, demonstrates, i.e., visualises and possibly animates, the domain being developed.

Check back soon!

Problem 2

Requirements Demo. For the fixed topic, selected by you, and following your solution to Exercise 29.1, suggest the structure of a requirements demo which, in as systematic a way as you can think of, demonstrates, i.e., visualises and possibly animates, the requirements being developed and in such a way that you reuse the domain demo.

Check back soon!

Problem 3

Architecture Skeleton. For the fixed topic, selected by you, and following your solution to Exercise 29.2, suggest the structure of a software architecture skeleton which, in as systematic a way as you can think of, demonstrates, i.e., visualises and possibly animates, the software being designed - and in such a way that you reuse the requirements demo.

Check back soon!

Problem 4

Component Prototype. For the fixed topic, selected by you, and following your solution to Exercise 29.3, suggest the contents of some components, i.e., suggest a component prototype, which, in as systematic a way as you can think of, demonstrates, i.e., visualises and possibly animates, the components being developed - and in such a way that you reuse the architecture skeleton.

Check back soon!

Problem 5

Test Suites. For the fixed topic, selected by you, and following your solutions to Exercises 29.1-29.4, suggest test case suites for testing the domain demo, the requirements demo, the software architecture skeleton and the component prototype.

Check back soon!