Studentportalen - Uppsala universitet

	Course page
	Provably Correct Software, 7.5 c Course code:1DL017, Report code:61001, 50%, DAG, NML week: 14 - 23 Semester: Spring 2008 (2008-03-31 - 2008-06-07) Course description For safety-critical systems it is necessary to produce provably correct code. The course covers methods for software development that begin with the construction of a model-based formal specification, and through refinement produce code, that therefore is provably correct. This page displays some information about the course/programme. Department of Information Technology Contact Visiting address: ITC, hus 1, 2 och 4, Lägerhyddsvägen 2 Mailing address: Box 337, 751 05 UPPSALA Fax: +46 18 511925 Home page Current department messages Course registration Spring 2021 2021-01-04 11:42 Apply for courses at www.antagning.se or www.universityadmissions.se Information about courses given at campus or online will be in the middle of December. Late applications will open December 15, 2020 When you have applied and got admitted to a course, please web register in Ladok, this is an acceptance to participate in the course. Registrations for courses will start: Period 1: December 17, 2020 - January 24, 2021 Period 2: January 19, 2021 - March 29, 2021 The registration will close on the same day as course start. After this day you need to contact the student office for registration as soon as possible. We always have to ask the teacher if it’s ok to register after the course has started, and if it’s possible to catch up. If you are late it may be impossible to catch up. If you wish to drop a course, please use Ladok or contact the student office. A course drop is only available within three weeks from course start. If you are a first year master you have to contact your coordinator or Liselott Dominicus to drop or add courses. (for contact see below). If you are on the waiting list: You will recieve an email If there are still places available on a course then we will admit you. Please web register immediately in Ladok. If you are admitted after course start please contact us for help with registration. We then have to ask the teacher if its still possible to catch up. If you are on the waiting list and don’t hear anything from us, it means the course is full and closed for late applications. Welcome to contact us if you have questions: It-kansli@it.uu.se You can also reach us by Zoom between 10.00-12.30 https://uu-se.zoom.us/j/69677538609 If you are a master program student and have questions regarding courses, certificate, visa and other related questions please contact Liselott Dominicus at studievagledare@it.uu.se (write MASTER in the subject line). If you have any questions regarding your fee payment please contact: feemaster@uu.se Welcome to the Department of Information technology! Best regards, Student Office Student Office closed during the holidays 2020-12-21 14:28 The Student office are closed from December 21 and will open again Janary 11. We´ll still reply on e-mail but it may take a bit longer to get it. Merry Christmas and Happy New Year! Student Office closed during the holidays 2020-12-21 14:26 The Student office are closed from December 21 and will open again Janary 11. We´ll still reply on e-mail but it may take a bit longer to get it. Merry Christmas and Happy New Year! Information concerning exams period 1 HT20 2020-09-24 11:48 Due to the situation with Covid-19, the exams in period 1 will be held as digital home exams at the Department of Information Technology. Previously it has been possible to take the exam as a re-exam if you had a registration for another course section of the course. This will not be possible during period 1 HT2020. This exam is meant for students with a registration for the course section this specific period only. If you wish to take the re-exam you may do so during the re exam period in December. Dispensation may be given to a student if there is a strong reason that makes you unable to take the re-exam in December. In this case you need to contact the Student Office (it-kansli@it.uu.se) no later than September 30th 2020. The Student Office on Zoom 2020-09-15 11:44 The Student Office will be available on Zoom. You are welcome to join the meeting. Opening hours are 10.00 am - 12.30 pm, Monday through Thursday. We are using a waiting room and you will be admitted in order. You can also email the Student Office. Welcome to a new semester! 2020-08-28 16:56 Read the letter from Cecilia Johansson, Deputy Dean of Education at the Faculty of Science and Technology. Measures at Campus Areas (within Teknat) with Regard to Covid-19 2020-08-21 14:51 Here you will find a summary of the measures developed by respective campus management within Teknat in the work to prevent the spread of Covid-19. TEACHING AND EXAMINATION AT THE FACULTY OF SCIENCE AND TECHNOLOGY AUTUMN 2020 2020-06-25 12:47 Read about how teaching and examination within the faculty of science and technology should be conducted during the autumn term in relation to recommendations from the Public Health Authority and the rector's decision of 9 June. Sen anmälan möjligt till många av höstens program 2020-06-18 13:37 Det finns fortfarande chans att få plats på våra utbildningar för höstterminen 2020. Våra kurser och program kommer öppna för sen anmälan på www.antagning.se den 15 juli. Blir det lediga platser är det först till kvarn som gäller då ansökningarna behandlas i den ordning de kommer in. Ju tidigare anmälningsdatum, desto större chans att få en plats. Här hittar du lista på program inom teknik och naturvetenskap som öppnar för sen anmälan New Covid-19-decision: Physically when needed, digitally when possible 2020-06-25 12:47 Information about the Vice-Chancellor’s decision can be read here. On Tuesday, June 16, further decisions on teaching will also be made by the Faculty board’s working committee. Information regarding the re-exam period in August 2020 2020-05-20 12:45 Uppsala University has now decided that the re-exams in August will be given as home-exams. You will soon be able to sign up for the exam. Please continue to check the Studentportalen where any changes will be posted. New decisions on prolonged distance education and examination 2020-06-25 12:48 Read the news at Teknat Student Webb. Keep updated on changes regarding your courses. 2020-03-30 15:15 Read the latest directives that apply to all students at the Faculty of Science and Technology. Here you can find a FAQ for all students at Uppsala university Upp till 6 amanuenser 2020-03-19 16:44 Upp till 6 amanuenser Uppsala universitet, Institutionen för informationsteknologi Uppsala universitet är ett brett forskningsuniversitet med stark internationell ställning. Uppgiften är att bedriva forskning och utbildning av högsta kvalitet och att på olika sätt samverka med samhället. Vår viktigaste tillgång är alla de individer som med sin nyfikenhet och sitt engagemang gör Uppsala universitet till en av landets mest spännande arbetsplatser. Uppsala universitet har 46.000 studenter, 7.300 anställda och en omsättning på 7,3 miljarder kronor. Institutionen för informationsteknologi har en ledande position inom såväl forskning som utbildning på alla nivåer. Institutionen har i dag ca 280 anställda varav 120 lärare och 110 doktorander. Drygt 4000 studenter läser en eller flera kurser vid institutionen varje år och ett 30-tal forskargrupper är kopplade hit. Mer info: http://www.it.uu.se Institutionen behöver anställa upp till 6 amanuenser på 20-50% enligt överenskommelse, som jobbar med arbetsuppgifterna specificerade nedan under tiden 2020-06-15 till 2020-08-31. Omfattningen fastställs innan anställningsavtalen skrivs. Arbetsuppgifter: Undervisning inom distans- och sommarkursen Datorer och programmering, 10hp. Kursen innehåller programmering i C++ och ges under tiden 2020-06-15 till 2020-08-30. Kursen ges helt på distans och arbetet omfattar att rätta uppgifter, ge återkoppling och besvara frågor. Alla kontakter under kursen sker via en lärplattform. Kvalifikationskrav: För att anställas som amanuens är det ett krav att du är antagen till utbildning på grundnivå eller avancerad nivå. Du ska ha minst 180 högskolepoäng, motsvarande en kandidatexamen i teknik eller naturvetenskap, samt goda kunskaper i programmering i C++. Dessutom krävs att du kan kommunicera skriftligt på svenska på ett språkligt korrekt sätt. Önskvärt/meriterande i övrigt: Tidigare erfarenheter från deltagande i undervisningen på relevanta kurser på högskolenivå är särskilt meriterande. Villkor: Anställning som amanuens regleras i Högskoleförordningen 5 kap. Bara den som är antagen till utbildning på grundnivå eller avancerad nivå får anställas som amanuens (HF 5 kap §10). Lön: Individuell lönesättning. Tillträde: 2020-06-15. Anställningsform: Tidsbegränsad anställning enl HF 5 kap § 12, t.o.m. 2020-08-31. Anställningens omfattning: 20-50 % enligt överenskommelse. Omfattningen fastställs innan anställningsavtalen skrivs. Upplysningar om anställningen lämnas av: Stefan Pålsson, stefan.palsson@it.uu.se, 070-4250213. Välkommen med din ansökan senast den 15 april 2020, UFV-PA 2020/972. Vi undanber oss erbjudanden om rekryterings- och annonseringshjälp. Ansökan tas emot i Uppsala universitets rekryteringssystem. Anställningsform Visstidsanställning kortare än 3 månader Anställningen avslutas 2020-08-31 Anställningens omfattning Deltid Tillträde 2020-06-15 Löneform Fast lön Antal lediga befattningar 6 Sysselsättningsgrad 20-50 Ort Uppsala Län Uppsala län Land Sverige Ref. nr. UFV-PA 2020/972 Facklig företrädare Seko Universitetsklubben seko@uadm.uu.se ST/TCO tco@fackorg.uu.se Saco-rådet saco@uadm.uu.se Publicerat 2020-03-18 Sista ansökningsdag 2020-04-15 Länk till annons http://uu.varbi.com/what:job/jobID:323121 Information to all students, 2020-03-17 2020-03-17 15:48 Because of the current situation all planned exams between 19-22/3 will be conducted as home exam. The same date and time apply. PLEASE NOTE! Exams scheduled for Wednesday, March 18, will be moved to Monday, March 23, at the same time. E-mail with further instructions will soon be sent out to students who are registered for exams mentioned above. Plugga Utomlands? 2020-01-31 09:04 Vill du veta mer om att plugga utomlands? Vart man kan resa? Hur det fungerar med ekonomi? Språk? Tillgodoräkning för examen i Uppsala? *Info i sal 1111 på tisdag (4 feb) 12.45 (kom i tid) - 13.10.* Välkomna! Anders Berglund Senior lecturer, PhD Director of the Master Programme in Computer Science International Coordinator Uppsala Computing Education Research Group, UpCERG Department of Information Technology Uppsala University, P.O. Box 337 SE- 752 05 UPPSALA >SWEDEN >+46 18 471 31 67 (office) >+46 70 425 02 11 (mobile) >+46 8 559 24 250 (SkypeIn) >andersoberglund (Skype) >http://user.it.uu.se/~andersb Jobb som assistent på programmeringskurser vårterminen 2019 2018-12-17 10:34 Jobb som assistent på programmeringskurser vårterminen 2019 Vi söker assistenter på kurserna Programmeringsteknik I och Programmeringsteknik II. Båda kurserna ges under vårterminen 2019, period 3 (Jan-Mars), respektive period 4 (Mars-Maj). Som krav gäller att du minst är helt färdig med kurserna Programmeringsteknik I och II eller motsvarigheter till dessa. Du måste kunna programmeringsspråket Java på en nivå som motsvarar Programmeringsteknik II. Eftersom kurserna ges på svenska krävs även att du förstår och kan prata svenska. Det är också en fördel om du går högre årskurser i din utbildning. Eftersom det ofta är en skev könsfördelning bland assistenterna på dessa kurser, vill vi i synnerhet uppmana kvinnliga studenter att söka jobbet. Arbetet innebär huvudsakligen att hjälpa till på kursernas laborationer. Lönen är 168 kr per labtimme, inklusive semesterersättning. Ett vanligt labpass, t ex kl 10:15-12:00 motsvarar alltså två labtimmar. Du behöver inte delta i alla labbar, utan du hjälper till på ett urval av dem, genom att under kursernas gång anteckna dig på en lista för respektive pass. Intresseanmälan skickas via email till stefan.palsson@it.uu.se senast 2018-12-21. Ange personnummer, vilken nivå (t ex årskurs) du går i utbildningsprogram eller motsvarande. Beskriv även dina programmeringskunskaper i Java, dvs var och ungefär hur mycket du programmerat i Java. Ange även om du tidigare haft erfarenheter av undervisning/handledning av någon typ. Eventuella frågor skickas till samma emailadress. Stefan Pålsson Studierektor To take an exam, you must sign up for it in the Student Portal no later than 12 days before. 2020-02-19 10:14 Its not possible to take an exam without signing-up for it in the student portal no later than 12 days before the exam. Please note! If you want to take an exam, but are unable to sign up: Please contact the IT Dept Student Office/IT-kansliet no later than 12 days before the exam date: it-kansli@it.uu.se Best regards, IT Dept Student Office/IT-kansliet

	Menuadmin.courses.matrix.content.exams.examinationType=Tentamenstyp
	Menu Course starting page Syllabus with course literature Library Links Course home page Teacher lists Teacher list Department information Student Office & Student advisors The Student Office on Zoom

Provably Correct Software, 7.5 c