Search for essays about: "UML"

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

  2. 1. Robustness of Spatial Databases: Using Network Analysis on GIS Data Models

    University essay from Högskolan i Gävle/Institutionen för teknik och byggd miljö

    Author : Finn Hedefalk; [2010]
    Keywords : GIS; Database; UML; VGI; Power-law; Small-world; Error and attack tolerance; Network;

    Abstract : Demands on the quality and reliability of Volunteered Geographic Information have increased because of its rising popularity. Due to the less controlled data entry, there is a risk that people provide false or inaccurate information to the database. READ MORE

  4. 2. System Modelling for Spacecraft On-Board Computers

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

    Author : Fatemeh Zarvani; [2010]
    Keywords : ;

    Abstract : This study makes an evaluation of the usability of SysML, a system graphicalmodeling language, for capturing functional requirements for space electronicproducts. This is done by a case study in which a model of a Packet TelemetryEncoder system is developed. The report includes a brief overview of variousgraphical modeling languages. READ MORE

  5. 3. 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

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

  7. 5. 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