Selaus asiasanan mukaan kokoelmassa 113 Tietojenkäsittely ja informaatiotieteet
Viitteet 1-8 / 8
-
Combining model-based testing and stepwise formal development
TUCS Dissertations : 130 (Turku Centre for Computer Science (TUCS), 04.10.2010) -
Consistency of UML based designs using ontology reasoners
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
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
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
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
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
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
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 ...