Now showing items 1-3 of 3

  • Lund, Mass Soldal; Rossebø, Judith E.Y.; Refsdal, Atle; Husa, Knut-Eilif (Research report / Forskningsrapport, 2006)
    Traditionally, availability has been seen as an atomic property asserting the average time a system is "up" or "down". In order to model and analyse the availability of computerised systems in a world where the dependency ...
  • Lund, Mass Soldal (Doctoral thesis / Doktoravhandling, 2007)
    This thesis is concerned with operational analysis of UML 2.x sequence diagram specifications. By operational analysis we mean analysis based on a characterization of the executions of sequence diagrams, or in other words ...
  • Lund, Mass Soldal (Master thesis / Hovedoppgave, 2002)
    In this cand.scient. thesis we propose a strategy for testing validity of decomposition of contract oriented specifications. The strategy is based on Abadi and Lamport's Composition Theorem for the Temporal Logic of Actions ...