Software Engineering 3: Domains, Requirements, and Software Design

Dines Bjørner

Chapter 23 Requirements Satisfiability and Feasibility - all with Video Answers

Educators

Chapter Questions

Problem 1

Requirements Satisfiability. For the fixed topic, selected by you, outline, in at most one third of a page, specific issues, from your selected topic, where expressed requirements may need special satisfiability attention. That is, are there specific correctness, ambiguity, completeness, consistency, stability, (especially perhaps) verifiability, modifiability, traceability, or faithfulness issues that may cause satisfiability problems?

Check back soon!

Problem 2

Requirements Technical Feasibility. For the fixed topic, selected by you, outline, in at most one half-page, specific issues, from your selected topic, where expressed requirements may need special technical feasibility attention. That is, could there be requirements (that perhaps are not expressed in your solution) which are not technically feasible? Try to list two or three such (i.e., you may have to "dream them up").

Check back soon!

01:42

Problem 3

Requirements Economic Feasibility. For the fixed topic, selected by you, outline, in at most one half-page, specific issues, from your selected topic, where expressed requirements may need special economic feasibility attention. That is, could there be requirements (that perhaps are not expressed in your solution) which are not economically feasible? Try to list two or three such (i.e., you may have to "dream them up").

Vaibhav Jain

Numerade Educator

00:42

Problem 4

Implicit/Derivative Requirements. For the fixed topic, selected by you, outline, in at most one half-page, specific issues, from your selected topic, where expressed implicit/derivative goals may need special compliance attention. That is, could there be implicit/derivative goals which are not met by your requirements. Try to list two or three such (i.e., you may have to "dream them up").

Liuxi Sun

Numerade Educator