Software Specification - Assignment 3 - Spring 2008 | CEN 6075, Assignments of Engineering

Download Software Specification - Assignment 3 - Spring 2008 | CEN 6075 and more Assignments Engineering in PDF only on Docsity! CEN 6075 - Software Specification, Spring 2008 Assignment #3 (10 points), Due March 4 (Thursday) Requirements: Write a temporal logic specification for a simple course registration system with user authentication, add and drop course functionalities. Grading: (1) Use proper temporal logic symbols / notations, (2) Give clear description and explanation. Hints: • Temporal logic is used to specify interleaved execution of concurrent systems. Thus you need to think about what concurrent behaviors that a system can have such as multiple users access shared resources; • High level specifications mostly concern about states; • Low level specifications may also deal with state transitions; • A temporal logic specification contains a set of formulas that represent system properties.