Search for dissertations about: "static and dynamic analysis"

Showing result 1 - 5 of 218 swedish dissertations containing the words static and dynamic analysis.

  2. 1. Development of a new service-oriented modelling method for information systems analysis and design

    Author : Prima Gustiené; Anders G Nilsson; Sten Carlsson; William Wei Song; Karlstads universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Information systems analysis and design; conceptual modeling; service orientation; semantic integrity; static and dynamic aspects; goal modeling.; Informatics; Informatik; Information Systems; Informatik;

    Abstract : This thesis presents a new modelling method for information systems analysis and design, where the concept of service and the principles of service orientation are used for integrated modelling and reasoning about information systems architectures across organisational and technical systems boundaries. The concept of service enables cohesion of the intersubjective and objective modelling traditions by using a single type of diagram that facilitates detection of semantic inconsistency, incompleteness, ambiguity and discontinuity between the static and dynamic aspects of information systems specifications. READ MORE

  4. 2. Benchmarking Points-to Analysis

    Author : Tobias Gutzmann; Welf Löwe; Jonas Lundberg; Sibylle Schupp; Linnéuniversitetet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Points-to Analysis; Dataflow Analysis; Static Analysis; Dynamic Analysis; Gold Standard; Software Technology; Programvaruteknik;

    Abstract : Points-to analysis is a static program analysis that, simply put, computes which objects created at certain points of a given program might show up at which other points of the same program. In particular, it computes possible targets of a call and possible objects referenced by a field. READ MORE

  5. 3. Railway capacity analysis : Methods for simulation and evaluation of timetables, delays and infrastructure

    Author : Anders Lindfeldt; Bo-Lennart Nelldal; Ullrich Martin; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Järnvägsgruppen - Kapacitet; Järnvägsgruppen - Kapacitet;

    Abstract : In this thesis the symptoms and underlying behaviour of congestion on railways are analysed and discussed. As well as in many other countries, Sweden faces increasing demand for transportation. To meet this new demand, railways play an important role. READ MORE

  6. 4. Essays on Spatial Economies and Organization

    Author : Marcus Sundberg; Lars Lundqvist; Geoffrey J.D. Hewings; KTH; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; spatial computable general equilibrium; monopolistic competition; dynamic; organization; new economic geography; fragmentation; production chains; vertical; horizontal; regional economics; trade.; Business and economics; Ekonomi; Economics; Nationalekonomi; Economic geography; Ekonomisk geografi;

    Abstract : This thesis concerns both static and dynamic modeling in a spatial computable general equilibrium setting. First, we have applied a static framework for the assessment of economic impacts of the Öresund bridge. Secondly, we make an attempt to enhance the static framework through the introduction of economic dynamics. READ MORE

  7. 5. Model-Based Investigation of Machining Systems Characteristics : Static and Dynamic Stability Analysis

    Author : Andreas Archenti; Mihai Nicolescu; Amir Rashid; KTH; []
    Keywords : Machining systems; modelling; TECHNOLOGY; TEKNIKVETENSKAP;

    Abstract : The increasing demands for precision and efficiency in machining call for new control strategies for machining systems based on the identification of static and dynamic characteristics under operational conditions. By considering the machining system as a closed-loop system consisting of a machine tool structure and a machining process, the join system characteristics can be analyzed. READ MORE