WARNING:
JavaScript is turned OFF. None of the links on this concept map will
work until it is reactivated.
If you need help turning JavaScript On, click here.
This Concept Map, created with IHMC CmapTools, has information related to: COMP 15, Engineer creates Abstract type or class, invariant may be assumed on entry to function or method bodies, invariant constrains representation, interface is realized by implementation, postcondition exists in World of Mathematics, Data has inductive description, precondition can be checked at single point in time, Engineer sees Data, Data is represented by Abstract type or class, narrative can require many points in time, implementation exist in World of Code, Engineer analyzes Problem, functions or methods are operations in representation bundled with operations, invariant can be checked at single point in time, inductive description exists in World of Mathematics, contract form interface, representation is hidden by interface, precondition form contract, narrative can describe function or method bodies, Problem exists in Real world