Sökning: "object oriented methods"

Visar resultat 6 - 10 av 87 avhandlingar innehållade orden object oriented methods.

  1. 6. State-Oriented Business Process Modeling : Principles, Theory and Practice

    Författare :Ilia Bider; KTH; []
    Nyckelord :business process; dynamical system; formal semantics; persistent action; law-based programming; business analysis; business modeling; object-oriented modeling; conceptual modeling; workflow;

    Sammanfattning : In the last 50 years, a considerable amount of research workhas been completed in the mathematical system theory and theoryof control. Implementation of the results from this researchinto practice has drastically decreased the production costs.Most production processes are highly automated, and the use ofrobots in industry is growing. LÄS MER

  3. 7. Curbing Dependencies in Software Evolution of Object-Oriented Systems

    Författare :Mats Skoglund; Louise Yngström; Per Runeson; Lionel C. Briand; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Software Evolution; Object-orientation; Software Quality; Software engineering; Programvaruteknik;

    Sammanfattning : Relationships between classes and objects in object-oriented software are necessary in order for the parts of the systems to provide dynamic behavior. These inherent relationships also create dependencies which can give rise to problems for software evolution of object-oriented software systems. LÄS MER

  4. 8. Unified Static and Runtime Verification of Object-Oriented Software

    Författare :Mauricio Chimento; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Runtime Verification; Java; Static Verification; Formal Methods;

    Sammanfattning : At the time of verifying software one can make use of several verification techniques. These techniques mostly fall in one of two categories: Static Verification and Dynamic Verification. LÄS MER

  5. 9. Coordinated Voltage Control in Electric Power Systems

    Författare :Mats Larsson; Lunds universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Electronics and Electrical technology; trees.; search methods; control; predictive; voltage control; power system dynamic stability; Modelica; ObjectStab; multi-machine power system; voltage stability; object oriented methods; modelling; simulation; describing function analysis; tap changer; limit cycle; Elektronik och elektroteknik; Electrical engineering; Elektroteknik;

    Sammanfattning : This thesis deals with various aspects of coordinated voltage control in electric power systems. It consists of an introduction and six papers. The introduction contains a summary of the thesis and tutorials on voltage control and the search methods that have been applied. LÄS MER

  7. 10. Evolution and Composition of Object-Oriented Frameworks

    Författare :Michael Mattsson; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis comprises studies of evolution and composition of object-oriented frameworks, a certain kind of reusable asset. An object-oriented framework is a set of classes that embodies an abstract design for solutions to a family of related problems. LÄS MER