IN5130 - Unassailable IT-systems

Lectures

20240823-lecture-i-introduction.pdf
Last modified Aug. 22, 2024 7:49 PM by Ketil St?len
20240830-lecture-ii-class-diagrams.pdf
Last modified Aug. 29, 2024 10:06 AM by Ketil St?len
20240830-lecture-ii-sequence-diagrams.pdf
Last modified Aug. 29, 2024 10:06 AM by Ketil St?len
20240906-lecture-iii-sequence-diagrams.pdf
Last modified Sep. 5, 2024 11:29 AM by Ketil St?len
20240906-lecture-iii-state-machines.pdf
Last modified Sep. 5, 2024 11:34 AM by Ketil St?len
20240920-refinement-alt-versus-xalt.pdf
Last modified Sep. 21, 2024 10:14 AM by Ketil St?len
20240920-refinement-from-theory-to-practice.pdf
Last modified Sep. 21, 2024 10:14 AM by Ketil St?len
Feed from this page