SWE 637 In Class Exercise Number 8

This is a (semantic) logic testing exercise. Work in groups.

We'll work problems in two sets. - and take advantage of the fact that the lectures are available on video.

Before the break, I'll give a very brief overview, and then we'll practice. I'll post an example predicate, and we'll work out the relevant computations: determination, ACC, ICC.

After the break, we'll turn to this week's homework exercise. If you finish prior to the formal end of class, feel free to leave.