Haku
Viitteet 11-20 / 29
Formal development and quantitative verification of dependable systems
(Turku Centre for Computer Science (TUCS), 2013-01-28)
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 ...
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 ...
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 ...
On the impact of rigorous approaches on the quality of development
(Turku Centre for Computer Science (TUCS), 2011-12-12)
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 ...
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
(Turku Centre for Computer Science (TUCS), 2011-08-26)
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, ...
Tool-supported invariant-based programming
(Turku Centre for Computer Science (TUCS), 2010-08-17)
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 ...
Agent-based management systems for many-core platforms : rigorous design and efficient implementation
(Turku Centre for Computer Science (TUCS), 2015-06-05)
Due to various advantages such as flexibility, scalability and updatability, software intensive systems are increasingly embedded in everyday life. The constantly growing number of functions executed by these systems ...
Knowledge-lean Text Mining
(Turku Centre for Computer Science (TUCS), 2017-12-08)
This thesis explores the process of introducing text mining to new areas of application, which involves both defining appropriate types of analysis and often designing appropriate computational methods to support the ...
Qualitative Methods for Modeling Biochemical Systems and Datasets : The Logicome and the Reaction Systems Approaches
(Turku Centre for Computer Science (TUCS), 2018-02-12)
In our everyday life we use a number of complex systems that consist of many closely interconnected components. None of the individual components possess a property of the whole system but when they come together they give ...