RU ITEC421 Software Fault Avoidance in Specification

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