• Home
  • Textbooks
  • Software Engineering 3: Domains, Requirements, and Software Design
  • Domain Verification and Validation

Software Engineering 3: Domains, Requirements, and Software Design

Dines Bjørner

Chapter 14

Domain Verification and Validation - all with Video Answers

Educators

Chapter Questions

Problem 1

Domain Validation Documents. Which are the domain development documents that are needed in order to commence proper domain validation, and which are the resulting documents?

Check back soon!

Problem 2

Domain Validation Process. Outline, in brief, i.e., in a few itemised lines, the domain validation process.

Check back soon!
05:03

Problem 3

Domain Verification, Model Checking and Testing. Explain, in brief, in a few itemised lines, the concepts of formal verification, of model checking and of testing.

Jennifer Stoner
Jennifer Stoner
Numerade Educator
02:09

Problem 4

Domain Validation Versus Domain Verification. Explain in two itemised lines the difference between the objectives of domain validation and domain verification.

Abigail Darko
Abigail Darko
Numerade Educator
01:30

Problem 5

Domain-Specific Verification. For the fixed topic, selected by you, and on the basis of your solutions to some of Exercises 10.1-10.7, and/or some of Exercises 11.1-11.7, suggest, preferably three or more, issues that may need special attention during domain verification.

AG
Ankit Gupta
Numerade Educator

Problem 6

Domain-Specific Validation. For the fixed topic, selected by you, and on the basis of your solutions to some of Exercises 10.1-10.7, and/or some of Exercises 11.1-11.7, suggest, preferably three or more, issues that may need special attention during domain validation.

Check back soon!