Selaus tekijän mukaan kokoelmassa 113 Tietojenkäsittely ja informaatiotieteet

    • A practice perspective on organizational implementation of information technology 

      Vuokko, Riikka
      TUCS Dissertations : 132 (Turku Centre for Computer Science (TUCS), 20.12.2010)
      Implementering av ett informationssystem ur en organisatorisk synvinkel initieras av en idé om ett system och avslutas då användningen av det inte längre kräver en medveten ansträngning. Ifall tolkningen av implementering ...
    • Applications of graph transformation in tools for domain-specific modeling languages 

      Lundkvist, Torbjörn (Åbo Akademi - Åbo Akademi University, 17.06.2011)
      The use of domain-specific languages (DSLs) has been proposed as an approach to cost-e ectively develop families of software systems in a restricted application domain. Domain-specific languages in combination with the ...
    • Formal development and quantitative verification of dependable systems 

      Tarasyuk, Anton
      TUCS Dissertations : 156 (Turku Centre for Computer Science (TUCS), 28.01.2013)
      Modern software-intensive systems are becoming increasingly complex. Yet we are observing the pervasive use of software in such critical infrastructures as transportation systems, healthcare, telecommunication, energy ...
    • Methods for construction and analysis of computational models in systems biology : applications to the modelling of the heat shock response and the self-assembly of intermediate filaments 

      Mizera, Andrzej
      TUCS Dissertations : 138 (Turku Centre for Computer Science (TUCS), 26.08.2011)
      Systems biology is a new, emerging and rapidly developing, multidisciplinary research field that aims to study biochemical and biological systems from a holistic perspective, with the goal of providing a comprehensive, ...
    • On the impact of rigorous approaches on the quality of development 

      Olszewska, Marta
      TUCS Dissertations : 143 (Turku Centre for Computer Science (TUCS), 12.12.2011)
      Software systems are expanding and becoming increasingly present in everyday activities. The constantly evolving society demands that they deliver more functionality, are easy to use and work as expected. All these challenges ...
    • Scalable algorithms for height field illumination 

      Timonen, Ville
      TUCS Dissertations : 173 (Turku Centre for Computer Science (TUCS), 11.04.2014)
      Global illumination algorithms are at the center of realistic image synthesis and account for non-trivial light transport and occlusion within scenes, such as indirect illumination, ambient occlusion, and environment ...
    • Scaling up stepwise feature introduction to construction of large software systems 

      Olszewski, Mikołaj
      TUCS Dissertations : 161 (Turku Centre for Computer Science (TUCS), 22.08.2013)
      Developing software is a difficult and error-prone activity. Furthermore, the complexity of modern computer applications is significant. Hence,an organised approach to software construction is crucial. Stepwise Feature ...
    • Teaching mathematics and programming : new approaches with empirical evaluation 

      Mannila, Linda
      TUCS Dissertations : 124 (Turku Centre for Computer Science (TUCS), 27.11.2009)
      Programming and mathematics are core areas of computer science (CS) and consequently also important parts of CS education. Introductory instruction in these two topics is, however, not without problems. Studies show that ...
    • Tool-supported invariant-based programming 

      Eriksson, Johannes
      TUCS Dissertations : 127 (Turku Centre for Computer Science (TUCS), 17.08.2010)
      The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to ...
    • Trustworthy context dependency in ubiquitous systems 

      Neovius, Mats
      TUCS Dissertations : 151 (Turku Centre for Computer Science (TUCS), 26.11.2012)
      The modern society is getting increasingly dependent on software applications. These run on processors, use memory and account for controlling functionalities that are often taken for granted. Typically, applications ...