Search for essays about: "UML"

Showing result 1 - 5 of 39 essays containing the word UML.

  2. 1. Managing Quantitative Requirements in System Safety : A Generalization Based on Three Application Domains

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Andreas Kristensson; [2009]
    Keywords : ;

    Abstract : Combitech is an independent service company providing technical consultancy in system safety and the part commissioning this project. Dealing with system safety is often an issue of providing requirements in order to prevent the system from constituting danger. READ MORE

  4. 2. Development of a Java Bytecode Front-End

    University essay from Växjö universitet/Matematiska och systemtekniska institutionen

    Author : Francisco Modesto; [2009]
    Keywords : VizzAnalyzer; Common Meta-Model; Java Byte-Code; ASM library; Software Analysis;

    Abstract : The VizzAnalyzer is a powerful software analysis tool. It is able to extract information from various software representations like source code  but also other specifications like UML. The extracted information is input to static analysis of these software projects. READ MORE

  5. 3. Formal Verification of UML-RT Capsules using Model Checking

    University essay from Chalmers tekniska högskola/Institutionen för data- och informationsteknik

    Author : Mats G I Carlsson; Lars G Johansson; [2009]
    Keywords : formal verification; model checking; model-to-text; Promela; RSARTE; Spin; UML-RT;

    Abstract : Formal verification methods have successfully been used to ensure correctnessof both hardware and software systems. In contrast to testing methods, thatcan demonstrate the presence of faults in a system, formal methods can provetheir absence. READ MORE

  6. 4. Software Performance Evaluation using UML-Ψ (PSI)

    University essay from IT-universitetet i Göteborg/Tillämpad informationsteknologi

    Author : Omer Nauman Mirza; [2008-06-30T11:48:21Z]
    Keywords : Software Performance; Performance Engineering; SPE; UML; UML-Ψ; Software Architecture;

    Abstract : Predicting the performance of software architectures during early design stages is an active fieldof research in software engineering. It is expected that accurate predictions minimize the risk ofperformance problems in software system. This would improve quality and save developmenttime and cost of bug fixing in the later stages. READ MORE

  7. 5. Design of Class Structures and Inter Class Communication Interface : Computer Methods used in Non-linear Mixed Effects Modeling

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Pontus Pihlgren; [2008]
    Keywords : ;

    Abstract : The field of pharmacokinetics and pharmacodynamics describes the interactionbetween drugs and the human body from the time the drug is absorbed in the blood stream, distributed in the body, metabolized and finally excreted. The behavior can be described with nonlinear mixed effects models. READ MORE