Prerequisites:
CIS 301, or familiarity with basic set theory.
We expect that you have had a software engineering course,
and have some experience building some non-trivial programs
in an object-oriented language.
Learning Outcomes:
The student should become familiar with technologies for software specification and verification that provide deep semantic reasoning about development artifacts such as functional models, architecture, and source-code implementations.
Topics: After a brief introduction, we shall cover
Off-campus students will not have the benefit of participating in lab discussions, but they will receive copies of any exercises (with solutions) carried out during the lab.
Distance students will need to arrange to have a proctor for the exams early in the term by contacting DCE (and CC me). You can arrange for this through K-state DCE, or contact the CIS department office. Proctors are not needed for the weekly quizzes.
An incomplete (I) final grade will be given only by prior arrangement in exceptional circumstances conforming to departmental policy in which the bulk of course work has been completed in passing fashion.
There will be NO make-up quizzes or exams. Special consideration will be given in only exceptional circumstances, in general limited to:
Computer Access
While this course does not involve a lot of programming, it makes
significant use of software tools. Many of these can be accessed by
you (for free) and installed on your own machine.
If you prefer, we have everything you need on our CIS department
machines.
See the computing systems page for information on how to get an account and
use our machines.
Academic Honesty: Kansas State University has an Honor and Integrity System based on personal integrity, which is presumed to be sufficient assurance that, in academic matters, one's work is performed honestly and without unauthorized assistance. Undergraduate and graduate students, by registration, acknowledge the jurisdiction of the Honor and Integrity System. The policies and procedures of the Honor and Integrity System apply to all full and part-time students enrolled in undergraduate and graduate courses on-campus, off-campus, and via distance learning. The Honor and Integrity System website can be reached via the following URL: www.k-state.edu/honor. A component vital to the Honor and Integrity System is the inclusion of the Honor Pledge which applies to all assignments, examinations, or other course work undertaken by students. The Honor Pledge is implied, whether or not it is stated: "On my honor, as a student, I have neither given nor received unauthorized aid on this academic work." A grade of XF can result from a breach of academic honesty. The F indicates failure in the course; the X indicates the reason is an Honor Pledge violation.
All of the above graded work must be completed independently. You are very welcome to discuss the course material, as well as specific questions, with your fellow students. However, all submitted answers must be your own work: you are not allowed to show your answers to anyone else, or look at the answers of any other student; neither are you allowed to consult previous model solutions that may be around, or solicit the Internet for solutions to specific homework problems. If you are in doubt about what is permissible, please ask me. If collaboration is discovered, students will be reported to the KSU Honor and Integrity program as violating the honors policy.
Students with Disabilities: Students with disabilities who need classroom accommodations, access to technology, or information about emergency building/campus evacuation processes should contact the Student Access Center and/or their instructor. Services are available to students with a wide range of disabilities including, but not limited to, physical disabilities, medical conditions, learning disabilities, attention deficit disorder, depression, and anxiety. If you are a student enrolled in campus/online courses through the Manhattan or Olathe campuses, contact the Student Access Center at accesscenter@k-state.edu, 785-532-6441; for Salina campus, contact the Academic and Career Advising Center at acac@k-state.edu, 785-826-2649.
Expectations for Classroom Conduct: All student activities in the University, including this course, are governed by the Student Judicial Conduct Code as outlined in the Student Governing Association By Laws, Article V, Section 3, number 2. Students who engage in behavior that disrupts the learning environment may be asked to leave the class.
Acknowledgment: Most of the course material is adapted from previous courses taught by, among others, John Hatliff and Robby and Venkatash Ranganath.
Copyright as to all lectures. During this course students are prohibited from selling notes to or being paid for taking notes by any person or commercial firm without the express written permission of the professor teaching this course.
Torben Amtoft