RU ITEC421 Software Fault Avoidance in Specification
Across
- 2. Based (2 words - no spaces) An approach to software specification that involves detailed models describing system states and operations.
- 7. Quick experimental prototypes designed to be discarded after solving specific questions during software specification.
- 8. A set that contains only elements found in another set, potentially including all the elements of that set.
- 10. A type of programming languages that specify a series of steps or procedures to achieve a given result.
- 11. Symbols used in logic and mathematics to express quantities related to propositions, such as "for all" or "there exists."
- 15. Interviews (2 words - no spaces) Conversations with end-users aimed at clarifying and refining the requirements and specifications of software.
- 16. Reviews (2 words - no spaces) Formal assessments of a software's specifications to ensure they meet all necessary requirements before development.
- 17. Cases (2 words - no spaces) Descriptions of how users will interact with a system to achieve specific goals, important in software design.
- 19. The set operation that yields a new set containing only the elements common to both sets involved.
- 21. The relationship indicating whether an element is a part of a set, a fundamental concept in set theory.
- 22. An operation on sets that results in a set containing all elements from the combined sets.
- 23. A type of prototype software models that undergo refinement and eventually become part of the final system.
Down
- 1. A type of language that focus on describing what should be accomplished rather than detailing the steps to achieve it.
- 3. A condition that must be true before the execution of a software operation or function.
- 4. The set of all possible subsets of a set, including both the empty set and the set itself.
- 5. The set of rules that define the correct composition of symbols and statements in a programming language.
- 6. The term that specifies the number of elements in a set, critical in defining set sizes in formal specifications.
- 9. A set operation that results in a set containing elements that are in one set but not in another.
- 12. Models (2 words - no spaces)Abstract representations that help in understanding and specifying how software interacts with its environment.
- 13. A programming language that treat computation as the evaluation of mathematical functions and avoid state or mutable data.
- 14. The meaning of symbols, expressions, and statements within a language, beyond just their structure.
- 18. The condition that the software ensures is true after the completion of an operation or function.
- 20. A type of subset that contains some but not all elements of another set, indicating a strict subset relation.