Hoofdstuk 7 - Formal Specifications Flashcards
1
Q
Why is it likely that you will encounter formal specifications?
A
Software projects rely more on “Buy” than on “Build”, thus things have to be specified formally.
2
Q
Explain the relationship between “Design by Contract” on the one hand and “Input/Output Specification”, “algebraic specifications”, “logic-based specifications” and “State based specifications” on the other hand
A
3
Q
Explain the relationship between “Testing” on the one hand and “logic-based specifications” and “state based specifications” on the other hand
A
4
Q
You are supposed to build an e-commerce system for selling books over the world-wide web. You must guarantee 24 hours operations and secure transactions. Your boss asks you to look into formal specs; which ones would you advise and why?
A
