RU ITEC421 - Software dependability

12345678910111213141516171819
Across
  1. 1. mathematical approach to software specification and verification (includes a "-")
  2. 3. detailed description of a system’s behavior and constraints
  3. 4. activity that systematically explores model states
  4. 5. process of turning abstract specs into executable code
  5. 6. a necessary process for personnel to properly use rigorous methods
  6. 7. goal of ensuring software behaves as intended
  7. 9. confirms you're building the system *right*
  8. 10. the specific trait of software where one small defect can cause failure
  9. 12. symbolic languages used for software artifacts (gives more info)
  10. 16. automatic generation of code from formal models
  11. 17. fault-finding method performed during program execution (includes a "-")
  12. 18. confirms you're building the *right* system
  13. 19. all phases from software concept through retirement (one word)
Down
  1. 2. incorrect belief about how dependability techniques work
  2. 5. kind of analysis to identify underlying fault sources (includes a "-")
  3. 8. removing faults that have already been introduced into the software
  4. 11. strategy aiming to prevent software faults from being introduced
  5. 13. software that supports engineers in developing dependable systems
  6. 14. development strategy using abstract representations of system behavior (includes a "-")
  7. 15. fault-finding method that does not require program execution (includes a "-")