topical media & game development
This chapter looked at
We started with a simple example and
subsequently discussed guidelines for
We then looked at a more formal approach,
involving the transition from a formal
specification to the actual
implementation based on a notion of abstract systems
- drawing canvas -- in hush
- drawtool -- compound widgets
slide: Section 4.1: The drawtool application
In section 1 we looked at how to develop applications
in hush, as a typical
example of inplementing an interactive editor.
- individual class design
- establishing invariants
- an objective sense of style
slide: Section 4.2: Guidelines for design
In section 2, some guidelines
for design were presented. We looked at issues that may
arise when attempting to establish class invariants.
Finally, we discussed the rules imposed by
the Demeter method.
- structure versus behavior
- model-based specification
- abstract systems
slide: Section 4.3: From specification to implementation
In section 3, we discussed the distinction
between structural and behavioral aspects of
We looked at the application of
formal methods to specify the requirements for
a system, and we studied an implementation
based on abstract systems and events which was
derived from the original formal specification.
You may not copy or print any of this material without explicit permission of the author or the publisher.
In case of other copyright issues, contact the author.