Spring Term Finals
Events
06 / 19
| ||
06 / 20
Start: 8:00 am
Start: 20 Jun 2008 - 8:00am
End: 21 Jun 2008 - 11:59pm
Summer term student orientation | ||
06 / 21
End: 11:59 pm
Start: 20 Jun 2008 - 8:00am
End: 21 Jun 2008 - 11:59pm
Summer term student orientation | ||
06 / 22
| ||
06 / 23
| ||
06 / 24
| ||
06 / 25
| ||
06 / 26
| ||
06 / 27
| ||
06 / 28
| ||
06 / 29
| ||
06 / 30
| ||
07 / 1
| ||
07 / 2
| ||
07 / 3
| ||
07 / 4
| ||
07 / 5
| ||
07 / 6
| ||
07 / 7
| ||
07 / 8
| ||
07 / 9
Start: 10:00 am
End: 11:00 am
Formal methods play an important part in the development as well as testing stages of software and hardware systems. A significant and often overlooked part of the process is the development of specifications and correctness requirements for the system under test. Traditionally, English has been used as the specification language, which has resulted in verbose and difficult to use specification documents that are usually | ||
07 / 10
| ||
07 / 11
| ||
07 / 12
| ||
07 / 13
| ||
07 / 14
| ||
07 / 15
| ||
07 / 16
| ||
07 / 17
| ||
07 / 18
| ||
07 / 19
| ||
