ICE-ROSE – Icelandic Center for Research on Software Engineering

ICE-ROSE is a research center which aims to build high quality software systems. This center has two main direction which are focusing on applying formal methods in developing systems, and software usability.

The main research areas at ICE-ROSE include: applying formal methods in Software Engineering, concurrent object and component based modeling and analysis, compositional verification, user centered software development, agile methods and Human Computer Interaction.

Research

Open Positions

Events

5 May - Lunch lecture - Er of mikill hraði í Scrum fyrir notendaprófanir?

ICE-ROSE og Agile hópurinn mun standa fyrir hádegisfyrirlestrum.

  • 12:00 – 12:30: Marta K. Lárusdóttir (Háskólinn í Reykjavík). Staða notendaprófana í Scrum hugbúnaðarvinnu á Íslandi.
  • 12:30 – 13:00: Margrét Dóra Ragnarsdóttir (Símanum). Nytsemi á hlaupum – aðferðir sem virka hjá Símanum.

Room: Bellatrix M1.01

7 May - Lunch lecture - Challenges in Engineering Critical Software - Academic and industrial views

  • 12:00 - 12:30: Magnús Oddsson (Össur). Modular Software Architecture for Bionic Products- Benefits and Challenges
  • 12:30 - 13:00: Marjan Sirjanibegin_of_the_skype_highlighting     end_of_the_skype_highlighting (Reykjavik University). Engineering Correct Software in Critical Applications

Room: Betelgás V1.02