CIS 771

Prerequisites by Topic

• working knowledge of an object-oriented language, preferably Java
• exposure to programming in-the-medium, e.g., the use of packages/modules and interfaces
• working knowledge of propositional logic and set theory
• exposure to pre/post-condition concepts

Knowledge and Skills Acquired

• Mastery of:
  • the uses of abstract system models in software development
  • techniques for developing abstract models (e.g., the use of
    non-determinism)

  • model-based specification using sets and relations
  • the Z specification language
  • UML's object-constraint language
• Familiarity with:
  • the Alloy object modeling language
  • the design-by-contract methodology for software development
  • techniques for linking specifications to design artifacts and implementations
  • tool support for analyzing specifications
  • tool support for assertion-based program development