Messages

Published Jan. 8, 2019 10:59 AM
Published Oct. 24, 2018 6:36 PM

Oblig III on security risk assessment

Deadline midnight November 5

Published Oct. 9, 2018 10:44 AM

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).
Published Sep. 30, 2018 1:28 PM

Oblig II on refinement

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

Published Sep. 25, 2018 12:21 PM

Note: Lecture in IN5130 Friday September 28. september has been moved to Lille Aud in Kristen Nyg?rds house.

Published Sep. 12, 2018 11:00 AM

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.

Published Sep. 6, 2018 1:45 PM

Oblig I on modeling

Deadline midnight September 17

Published Aug. 23, 2018 12:14 PM

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)....

Published July 18, 2018 12:15 PM

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