Holiday
Events - Filter:
Friday July 4, 2008
Wednesday July 9, 2008
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
Thursday July 10, 2008
Thursday July 24, 2008
Tuesday July 29, 2008
