Search for dissertations about: "Computer model"

Showing result 1 - 5 of 2031 swedish dissertations containing the words Computer model.

  1. 1. Hierarchical Concurrent Systems from a Model-Oriented perspective

    Author : Daniel Einarson; Data Vetenskap; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURAL SCIENCES; control; systems; numerical analysis; Computer science; Distributed Systems; Hierarchical Systems; Object-Orientation; Model-Orientation; Datalogi; numerisk analys; system; kontroll; Systems engineering; computer technology; Data- och systemvetenskap; Computer science; Datavetenskap;

    Abstract : Real world systems are normally considered as hierarchically organized, for example, we see those as hierarchies of systems including subsystems. Examples on this can be seen in organizations where people act in environments and carry within themselves their own internal subsystem of thinking processes. READ MORE

  2. 2. Computer Science Project Courses : Contrasting Students’ Experiences with Teachers’ Expectations

    Author : Mattias Wiggberg; Mats Daniels; Lecia J. Barker; Tony Clear; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; computer science education; computer science student projects; computer science projects; computer science education research; phenomenography; learning; higher education; communities of practice; capstone projects; constructivism; Computer science; Datavetenskap; Datavetenskap med inriktning mot datavetenskapens didaktik; Computer Science with specialization in Computer Science Education Research;

    Abstract : Including small or large project courses is widely recognized as important in preparing computer science students for a professional career. Typical examples are the capstone courses, which often are seen as the jewel in the crown since this is where students will bring their previous knowledge and skills together to show mastery of their craft. READ MORE

  3. 3. Regular Model Checking

    Author : Marcus Nilsson; Bengt Jonsson; Parosh Aziz Abdulla; Kim Larsen; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; formal methods; model checking; verification; regular sets; Computer science; Datavetenskap;

    Abstract : A major current challenge in the area of program verification is to extend its applicability to infinite-state systems. A system can be infinite-state because it operates on unbounded data structures, such as queues, stacks, integers, etc., or because its description is parameterized by the number of components inside the system. READ MORE

  4. 4. Measurement and Simulation Based Techniques for Real-Time Systems Analysis

    Author : Markus Lindgren; Hans Hansson; Jörgen Hansson; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; NATURAL SCIENCES; NATURVETENSKAP; Computer science; Datavetenskap; Datavetenskap; Computer Systems; Datorteknik;

    Abstract : Rigorous methods for design and implementation of safety critical real-time systems are vital to avoid loss of human lives and/or severe economic losses.  Unfortunately, many of these systems are designed and evaluated using ad-hoc techniques. READ MORE

  5. 5. Validation of a Standard- and Metric-Based Software Quality Model : Creating the Prerequisites for Experimentation

    Author : Rüdiger Lincke; Växjö universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Software Quality; Metrics; Quality Model; Meta-model; ISO 9126; Computer science; Datalogi; Computer and Information Sciences Computer Science; Data- och informationsvetenskap;

    Abstract : Our long term research goal is to validate a standard- and metric-based software quality model. Today, ambiguous metric definitions lead to incomparable implementation variants in tools. READ MORE