Selaus asiasanan mukaan kokoelmassa 113 Tietojenkäsittely ja informaatiotieteet

    • Combining model-based testing and stepwise formal development 

      Malik, Qaisar Ahmad
      TUCS Dissertations : 130 (Turku Centre for Computer Science (TUCS), 04.10.2010)
    • Consistency of UML based designs using ontology reasoners 

      Khan, Ali Hanzala
      TUCS Dissertations : 168 (Turku Centre for Computer Science (TUCS), 19.12.2013)
      Software plays an important role in our society and economy. Software development is an intricate process, and it comprises many different tasks: gathering requirements, designing new solutions that fulfill these requirements, ...
    • Cost-efficient virtual machine management : provisioning, admission control, and consolidation 

      Ashraf, Adnan
      TUCS Dissertations : 183 (Turku Centre for Computer Science (TUCS), 09.10.2014)
      One of the main challenges in Software Engineering is to cope with the transition from an industry based on software as a product to software as a service. The field of Software Engineering should provide the necessary ...
    • Design and validation of stateful composite RESTful web services 

      Rauf, Irum
      TUCS Dissertations : 177 (Turku Centre for Computer Science (TUCS), 16.06.2014)
      A web service is a software system that provides a machine-processable interface to the other machines over the network using different Internet protocols. They are being increasingly used in the industry in order to ...
    • How computer programmers work : understanding software development in practise 

      Suenson, Espen
      TUCS Dissertations : 197 (Turku Centre for Computer Science (TUCS), 12.06.2015)
      Hur arbetar en framgångsrik programmerare? Uppgifterna att programmera datorspel och att programmera industriella, säkerhetskritiska system verkar tämligen olika. Genom en noggrann empirisk undersökning jämför och kontrasterar ...
    • Model-based testing of software systems : functionality and performance 

      Abbors, Fredrik
      TUCS Dissertations : 202 (Turku Centre for Computer Science (TUCS), 04.09.2015)
      Software is a key component in many of our devices and products that we use every day. Most customers demand not only that their devices should function as expected but also that the software should be of high quality, ...
    • Refinement of biomodels using Petri nets 

      Gratie, Diana-Elena
      TUCS Dissertations : 216 (Turku Centre for Computer Science (TUCS), 20.10.2016)
      Systems Biology is the multidisciplinary field concerned with the research of large, complex biological systems from a holistic perspective. The end goal is to understand how such systems function as a whole rather than ...
    • Towards increased productivity and quality in software development using agile, lean and collaborative approaches 

      Heidenberg, Jeanette
      TUCS Dissertations : 133 (Turku Centre for Computer Science (TUCS), 11.02.2011)
      Dagens programvaruindustri står inför alltmer komplicerade utmaningar i en värld där programvara är nästan allstädes närvarande i våra dagliga liv. Konsumenten vill ha produkter som är pålitliga, innovativa och rika i ...