Example: The dishes need to be done and my roomates claim it is my job to wash them. Example Preconditions: There have to be enough dirty dishes to warrent filling the sink with water Extra-messy dishes must be done by the person who created them There must not be any clean versions of the dishes being washed Hot water must be available Soap must be available Example Postcondition: All the dishes are washed Example Exception: A project is due the next day, so the dishes are differed to a later date Paper plates are purchased Date Converting Without DBC: /** public String normalToMilitaryTime(String time) * Converts time in normal DateFormat.SHORT style to * Traditional military time. * * @post time is convered to 24 hour military system * * @return The converted time in string format */ Date Converting With DBC: /** public String normalToMilitaryTime(String time) * Converts time in normal DateFormat.SHORT style to * Traditional military time. * * @pre time is passed in in DateFormat.SHORT style * @pre time is numeric * @pre AM/PM is specified * * @post time is convered to 24 hour military system * * @return The converted time in string format */