Messages
Oblig III on security risk assessment
Deadline midnight November 5
You may draw the trees on paper and scan to pdf if you think that is easier. But remember, the result should be readable.
With respect to the negative traces the following simplification is ok:
- Make either the tree corresponding to sending "note" first (!note as root) or the tree corresponding to sending "question" first (!question as root).
Deadline midnight October 15
You may do it yourself or as a group of max three students
The solution (pdf and easily readable when printed in A4) should be sent to kst@sintef.no
Note: Lecture in IN5130 Friday September 28. september has been moved to Lille Aud in Kristen Nyg?rds house.
The deadline for Oblig I on modeling has been extended until midnight September 20 (September 20, 23:59).
This to give you better time to take advantage of experiences from solving Oblig I for 2017 that is the topic for the lecture Friday this week.
Deadline midnight September 17
Mandatory requirements Modeling
Dan Pilone: UML 2.0 in a Nutshell, 2005. O'Reilly Media. ISBN: 0-596-00795-7. Read it on Safari (free with IFI IP address)....
Oblig I on modeling: September 17
Oblig II on refinement: October 15
Oblig III on security risk assessment: November 5
All submissions must be in the form of a pdf-document sent to kst@sintef.no