Haku
Viitteet 21-30 / 54
Opening the black-box of IT artifacts : looking into mobile service characteristics and individual perception
(Turku Centre for Computer Science (TUCS), 2012-11-02)
Scaling up stepwise feature introduction to construction of large software systems
(Turku Centre for Computer Science (TUCS), 2013-08-22)
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 ...
Solving the puzzle of mobile learning adoption
(Turku Centre for Computer Science (TUCS), 2011-05-18)
The dissertation seeks to explore how to improve users‘ adoption of mobile learning in current education systems. Considering the difference between basic and tertiary education in China, the research consists of two ...
Fraud detection in the banking sector : a multi-agent approach
(Turku Centre for Computer Science (TUCS), 2012-11-08)
Fraud is an increasing phenomenon as shown in many surveys carried out
by leading international consulting companies in the last years. Despite
the evolution of electronic payments and hacking techniques there is still ...
Applications of graph transformation in tools for domain-specific modeling languages
(Åbo Akademi - Åbo Akademi University, 2011-06-17)
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 modelling for digital media distribution
(Turku Centre for Computer Science (TUCS), 2015-11-13)
Human beings have always strived to preserve their memories and spread their ideas. In the beginning this was always done through human interpretations, such as telling stories and creating sculptures. Later, technological ...
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 ...
Scheduling of guarded command based models
(Turku Centre for Computer Science (TUCS), 2012-12-10)
Formal methods provide a means of reasoning about computer programs
in order to prove correctness criteria. One subtype of formal methods is
based on the weakest precondition predicate transformer semantics and uses
guarded ...
Combining model-based testing and stepwise formal development
(Turku Centre for Computer Science (TUCS), 2010-10-04)
Towards combining interactive mobile TV and smart spaces : architectures, tools and application development
(Turku Centre for Computer Science (TUCS), 2013-02-15)
Technological developments in microprocessors and ICT landscape have made a shift to a new era where computing power is embedded in numerous small distributed objects and devices in our everyday lives. These small computing ...