Assignment 4 - due Monday, March 1 (before class!)

Tasks you will need to do before starting:

• Read section 6.2. Read chapter 7. You can skip section 7.4.

Resources you will need:

• Access to LTSA. Use this site to download: ltsa.jar. This should give you a jar file that is double-clickable.

Problem 1

Do exercise 6.2 in back of chapter 6.

Turn-in: Turn in lts.

Problem 2

Do exercise 6.4 in back of chapter 6.

Turn-in: description and execution trace.

Problem 3

Do exercise 7.1 in back of chapter 7.

Turn-in: trace.

Problem 4

See what you can do about replacing the SAFE_RW property on page 147 with a fluent and assert. Here is the starting code: .../cis650/homework/ReadersWriters.lts.

Turn-in: revised code.

Problem 5

Do exercise 7.7 in back of chapter 7.

To give you a (big) start on this problem, I am giving you the answer to exercise 7.6 as a starting point. Find it at .../cis650/homework/ex7-6_solution.lts.

Also, please replace the SAFETY property from 7.6 with a fluent and an assert - much cleaner.

Turn-in: lts code.