Search for dissertations about: "OCL"

Found 4 swedish dissertations containing the word OCL.

  1. 1. Towards Development of Safe and Secure Java Card Applets

    Author : Wojciech Mostowski; Chalmers University of Technology; []
    Keywords : formal methods; Java; formal specification; object-oriented development; formal verification; Dynamic Logic; UML; OCL; Java Card;

    Abstract : This thesis is concerned with different aspects of Java Card application development and use of formal methods in the Java Card world. Java Card is a technology that provides means to program smart (chip) cards with (a subset of) the Java language. READ MORE

  2. 2. Formal Specification and Verification of Safety-Critical Software

    Author : Daniel Larsson; Chalmers University of Technology; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; fault injection; fault tolerance; safety-critical; dependability; formal verification; Formal specification;

    Abstract : This thesis is about formal specification and formal verification of software and consists of three different parts. In the first two parts, the formal specification language OCL is treated in two different contexts. The third part describes a technique for analysing the consequences of hardware faults as part of formal software verification. READ MORE

  3. 3. Compound-specific stable chlorine isotope analysis : A versatile tool for investigating biochemical and geochemical processes of organochlorine substances

    Author : Henry Holmstrand; Per Andersson; Örjan Gustafsson; Neil Sturchio; Stockholms universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; compound-specific chlorine isotope analysis; chlorinated organic compounds; Environmental chemistry; Miljökemi;

    Abstract : Chlorinated organic compounds (OCls) from anthropogenic sources are generally considered to be a class of chemicals with high potential for ecotoxicity, including infamous substances such as polychlorinated biphenyls (PCB), dichloro-dibenzo-trichloroethane (DDT) and polychlorinated dibenzo-p-dioxins (PCDD). OCls are also produced naturally, sometimes at the same order of magnitude as anthropogenic compounds. READ MORE

  4. 4. Analysis of enterprise IT service availability : Enterprise architecture modeling for assessment, prediction, and decision-making

    Author : Ulrik Franke; Pontus Johnson; Lars Nordström; Göran Ericsson; João Paulo A. Almeida; KTH; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Service Level Agreement; outage costs; Enterprise Architecture; enterprise IT service availability; decision-making; metamodeling; Enterprise Architecture analysis; Bayesian networks; fault trees; Predictive Probabilistic Architecture Modeling Framework; Service Level Agreement; nertidskostnader; Enterprise Architecture; tillgänglighet hos IT-tjänster; beslutsfattande; metamodellering; arkitekturanalys; bayesianska nätverk; felträd; Predictive Probabilistic Architecture Modeling Framework;

    Abstract : Information technology has become increasingly important to individuals and organizations alike. Not only does IT allow us to do what we always did faster and more effectively, but it also allows us to do new things, organize ourselves differently, and work in ways previously unimaginable. READ MORE