SE450: DBC: A DBC methodology [10/24] Previous pageContentsNext page

Some definitions:

query - basic and derived

command

Six Principles:

  1. Separate queries from commands
  2. Separate basic queries from derived queries
  3. For each derived query, write a postcondition that specifies what result will be returned in terms of one or more basic queries
  4. For each command, write a postcondition that specifies the value of every basic query
  5. For every query and command, decide on a suitable precondition
  6. Write invariants to define unchanging properties of objects

Some javadoc additions (supported by tools, but useful without them)

Previous pageContentsNext page