Search for essays about: "UML"

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

  2. 1. 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

  4. 2. 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

  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. Quick Orientation Viewer

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

    Author : Yiming Xia; [2008]
    Keywords : Eclipse; plug-in; GEF; UML; Viewer;

    Abstract : This is a plug-in project using GEF and JDT in Eclipse. The purpose for this thesis is to solve the orientation for a existing project. We can get a overview of a project such as display the class diagram of the project with the help of Orientation Viewer.. READ MORE