Sökning: "OCL"

Hittade 4 avhandlingar innehållade ordet OCL.

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

    Författare :Wojciech Mostowski; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; formal methods; Java; formal specification; object-oriented development; formal verification; Dynamic Logic; UML; OCL; Java Card;

    Sammanfattning : 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. LÄS MER

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

    Författare :Daniel Larsson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; fault injection; fault tolerance; safety-critical; dependability; formal verification; Formal specification;

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

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

    Författare :Ulrik Franke; Pontus Johnson; Lars Nordström; Göran Ericsson; João Paulo A. Almeida; KTH; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER