CS 477 Formal Software Dev Methods Assignment
[ad_1]
CS 477 Formal Software Dev Methods Assignment
- This exam is delivered to you by git by 11:00am Friday May 8, 2020. It is put in a directory called Final in your assignments directory for the class. You should place all your work in this directory, do a git add for each file or directory you add and do a git commit -m “Final handin” followed by a git push when you are ready to turn it in.
- Including this cover sheet and rules at the end, there are 12 pages to the exam, including one blank page for workspace. Please verify that you have all 12 pages.
- Please put your name and NetID in each file your turn in.
- Each problem should be answered in a separate file or folder, named for that problem. If an entire problem is answered in a single file, the file name should be problemN.ext where N is the number of the problem, and ext is the descriptor for the file type (e.g. pdf, thy, txt, doc). If you have more than one file for a problem, they should all be placed in a directory named problemN. The files should be named in a manner consistent with their purpose, includung the number of the problem, and having an appropriate descriptor extension. All files should be one of pdf, plain tex (this includes .thy file) or Microsoft Word document. If Microsoft Word document is used, it must be compatible with Microsoft Office 2010.
- You have three days to do this exam.
- If you believe there is an error, or an ambiguous question, you must make your best effort to correct the error to a reasonable question. Indicate what you think the error or ambiguity is and how you are changing or clarifying the problem. You may also seek clarification from the instructor, but a timely response is not assured.
- This is a open-book, open-notes exam. You are allowed to use lecture slides and video recordings from the class, your class notes, and the Isabelle theorem prover. You may consult with the course instructor during this time by email, private Piazza post (not public), Skype or Zoom. information. Once you have started this exam, you may not reference texbooks or information on the web that relates to this exam. You must adhere to the notation used in this course, and not that found in other references.
CS 477 Formal Software Dev Methods Assignment
- Do not share anything with other students. Do not talk to other students about the contents of this exam. Do not look at another student’s exam. Do not expose your exam to other students. Do not post questions, comments, or information directly per- taining to this exam to Piazza, except in private mode to the instructor, or to any pub- lically available source. Violation of any of these rules willcount as cheating, will result in a F in the course and being reported to the department.
- After you have turned in your exam and the deadline has passed, this file and the directory that contains it, and all material contained therein will be removed from the svn repository. You are required to delete the directory from all accounts to which it was stored, and remove all copies of the exam and portions thereof. Failure to do so and any subsequent sharing of the material on this exam with third parties will constitute an act of cheating. Your work will be held in record with the department, and may be inspected by you upon request for the next four years. CS 477 Formal Software Dev Methods Assignment
Need Help with a similar Assignment?
The post CS 477 Formal Software Dev Methods Assignment appeared first on homeworkcrew.
[ad_2]
Source link
"96% of our customers have reported a 90% and above score. You might want to place an order with us."
