Haku
Viitteet 1-8 / 8
Consistency of UML based designs using ontology reasoners
(Turku Centre for Computer Science (TUCS), 2013-12-19)
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, ...
How computer programmers work : understanding software development in practise
(Turku Centre for Computer Science (TUCS), 2015-06-12)
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 ...
Towards increased productivity and quality in software development using agile, lean and collaborative approaches
(Turku Centre for Computer Science (TUCS), 2011-02-11)
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 ...
Combining model-based testing and stepwise formal development
(Turku Centre for Computer Science (TUCS), 2010-10-04)
Design and validation of stateful composite RESTful web services
(Turku Centre for Computer Science (TUCS), 2014-06-16)
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 ...
Cost-efficient virtual machine management : provisioning, admission control, and consolidation
(Turku Centre for Computer Science (TUCS), 2014-10-09)
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 ...
Model-based testing of software systems : functionality and performance
(Turku Centre for Computer Science (TUCS), 2015-09-04)
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
(Turku Centre for Computer Science (TUCS), 2016-10-20)
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 ...