• Home
  • Textbooks
  • Software Engineering 3: Domains, Requirements, and Software Design
  • Jackson's Description Principles

Software Engineering 3: Domains, Requirements, and Software Design

Dines Bjørner

Chapter 7

Jackson's Description Principles - all with Video Answers

Educators


Chapter Questions

00:48

Problem 1

Designations and Recognition Rules. For the fixed topic, selected by you, list some five phenomena that can be designated. State suitable recognition rules.

Lizabeth Tumminello
Lizabeth Tumminello
Numerade Educator

Problem 2

Explicit Definitions. For the fixed topic, selected by you, select some two or three designations that you instead decide to define explicitly in terms of other designations. Then provide these explicit definitions.

Check back soon!
02:36

Problem 3

Refutable Assertions. For the fixed topic, selected by you, try come up with at least one nontrivial possibly refutable assertion. (This may sound difficult, but be open-minded and allow extreme scepticism.)

Sanjeev Kumar
Sanjeev Kumar
Numerade Educator