Sökning: "Incremental abstraction"

Visar resultat 6 - 9 av 9 avhandlingar innehållade orden Incremental abstraction.

  1. 6. DyKnow : A Stream-Based Knowledge Processing Middleware Framework

    Författare :Fredrik Heintz; Patrick Doherty; Michael Beetz; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Sammanfattning : As robotic systems become more and more advanced the need to integrate existing deliberative functionalities such as chronicle recognition, motion planning, task planning, and execution monitoring increases. To integrate such functionalities into a coherent system it is necessary to reconcile the different formalisms used by the functionalities to represent information and knowledge about the world. LÄS MER

  3. 7. Memory Efficient Hard Real-Time Garbage Collection

    Författare :Tobias Ritzau; Peter Fritzson; Roger Henriksson; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; hardware progresses; programming languages; garbage collector; real-time reference counting; object ownership; static garbage collector; embedded systems; Computer science; Datavetenskap;

    Sammanfattning : As the development of hardware progresses, computers are expected to solve increasingly complex problems. However, solving more complex problems requires more complex software. To be able to develop these software systems, new programming languages with new features and higher abstraction levels are introduced. LÄS MER

  4. 8. Visual GUI Testing: Automating High-level Software Testing in Industrial Practice

    Författare :Emil Alégroth; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Applicability and Feasibility; Software Engineering; Empirical Research; Visual GUI Testing; Automated Testing; Industrial Research;

    Sammanfattning : Software Engineering is at the verge of a new era where continuous releases are becoming more common than planned long-term projects. In this context test automation will become essential on all levels of system abstraction to meet the market's demands on time-to-market and quality. LÄS MER

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

    Författare :Prima Gustiené; Anders G Nilsson; Sten Carlsson; William Wei Song; Karlstads universitet; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER