Homework #2 (Part I): CSE503, Winter 2002

1. (5 points) Give one reason why the UW CSE effort on model checking the TCAS specification focused only on AG (always-globally-true) properties.
2. (30 points)  A flexible Java applet clock can be found at http://66.70.134.215/javaclock.html.  Study the source code (this shouldn't be too hard even if you don't have experience with Java).  In roughly a page of text, critique the design of this applet with respect to its use of information hiding: for example, what changes were anticipated and what secrets were hidden?
3. (30 points) Read the paper Aspect-Oriented Programming (ECOOP 1997); read through the end of Section 4, and skim afterwards.  Assess aspect-oriented programming, as described in the paper, with respect to the following basic design principles: information hiding, coupling, and cohesion.  (Write approximately 1-2 paragraphs on each of the three principles.)