Notes

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.

Git Workflow

To merge updates from https://github.com/ksu-cis-771/s26-771-project (replace <eid> with your K-State e-id):

https

git clone https://github.com/ksu-cis-771/s26-771-<eid>.git
cd s26-771-<eid>
git remote add upstream https://github.com/ksu-cis-771/s26-771-project.git
git fetch upstream
git merge upstream/master

ssh

git clone git@github.com:ksu-cis-771/s26-771-<eid>.git
cd s26-771-<eid>
git remote add upstream git@github.com:ksu-cis-771/s26-771-project.git
git fetch upstream
git merge upstream/master

Resolve any git merge issues.

Course Software Infrastructure

It is required that you use:

Alloy 5.1.0, which provides abstract software modeling tooling

To run using its .jar distribution:
```
java -jar org.alloytools.alloy.dist.jar
```
Sireum VSCode-based CodeIVE & IntelliJ-based IVE, which provide SysMLv2+HAMR and Logika tooling (download and install the sireum-ive-* bundle)

Lectures

Recorded lectures can be accessed from the K-State Canvas course page.

Each lecture .mp4 file includes an English subtitle track (if you cannot view the subtitle, try using VLC).

Examples and Slides

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