CIS Account

If you do not have a CIS account, here is how to get one:

  • Get a K-State eID if you don’t already have one.
  • Sign up online for a CIS account (which requires an active eID first!).
  • The account manager will approve your account and you will receive a password by email to by your eID account.

GitHub Account

Coursework submissions will be done via GitHub. In the beginning of the course, each student will be given a private GitHub repository; thus, you need to have a GitHub account.

Course Software Infrastructure

It is required that you use:

  • Alloy 5.1.0, which provides abstract software modeling tooling
  • Sireum IVE, which provides SysMLv2+HAMR and Logika tooling (download and install the sireum-ive-* bundle for your specific machine/OS)

Examples and Slides

The course examples are stored in a Git repository accessible at: https://github.com/ksu-cis-771/f24-771-project

Slides and some recorded lectures can be accessed in the course’s K-State Canvas file section.

Note that the slides might be updated during the course so do not print them until we have discussed the topics.