| 2013-05-20 - SaS |
Finding Correlation and Predicting System Behavior in Large IT Infrastructure"
Shahbaz Hussain
Avancerad (30hp)
kl 13:00, John von Neumann (In English)
|
| 2013-05-20 - HCS |
Migration process evalua-tion and design
Henrik Bylin
Avancerad (30hp)
kl 13:15, Alan Turing
[Abstract]Abstract:
Many organizations find themselves at one time in a situation where one of their IT systems has to be replaced with another system. The new system has to get access to the legacy data in order to function.
This thesis examines a migration case where the company Medius has made a new version of their product Mediusflow that has a completely new data model. The problem is then how to migrate data from the old to the new version.
The thesis first examines different data migration processes to find one suitable for the specific case. Then a prototype migration solution is developed using the chosen process to show that the migration can be done.
In the end conclusions are drawn from the experiences gained during the thesis to what key factors are important for successful data migrations. |
| 2013-05-24 - HCS |
Improving maintainability on modern cross-platform projects
Dan Berglund
Avancerad (30hp)
kl 13:00, John von Neumann
|
| 2013-05-29 - SaS |
Integrated Test Environment
Daniel Andersson
Avancerad (30hp)
kl 10:00, Allan Turing
[Abstract]To implement a command line interpreter is normally an easy task. The task gets harder when adding requirements of multi instance functions and the system is to run on a multi-processor security critical embedded system. This thesis describes a first iteration of the system development. The project behind the thesis consists of requirement elicitation, design, implementation and unit testing. The result from the project is a working fist version of the system. |
| 2013-05-29 - SaS |
Social Networks in Education: A Facebook-Based Educational Platform
Samira Åsberg
Avancerad (30hp)
kl 13:00, Alan Turing (In English)
[Abstract]Social networking sites are among the most popular daily activities of students these days.Students are mostly using social networking sites for communication and sharing of their experiences. Facebook is an example of a social networking site, which supports additional features. These features improve the Facebook experience, allowing users to form groups, where they can introduce ideas and concepts, which can be shared and discussed in a structured style.For this thesis we have created a new learning management system by implementing an online educational platform within a Facebook context. This work introduces a new, complementary style of education, where students can improve their knowledge and sociality outside the university in an innovative way. The platform takes advantage of gamification, which introduces game-like elements to concepts such as education and learning management systems, to make them more fun and rewarding.The goal of this thesis is to extend the educational border to an interesting online environment where students can learn, communicate, and examine their knowledge globally in different courses within our application platform in Facebook. |
| 2013-05-29 - SaS |
A Framework for Interacting with Parameterized and Infinite State Verification Tools
Rizwan Abbasi
Avancerad (30hp)
kl 13:00, John von Neumann (In English)
[Abstract]We develop a tool to explore the behavior of parameterized systems (i.e., systems consisting of an arbitrary number of identical processes that synchronize using shared variables or global communications) and to ease user interaction with tools that verify them. The tool includes a user friendly GUI that allows the user to describe a parameterized system and to perform guided, interactive or random simulation. This tool empowers the user to plug in several independent verifiers to perform verification. A mockup verifier is developed in order to facilitate the development of the tool and testing the required functionalities. The mockup verifier involves parsing descriptions of the parameterized systems to be analyzed. In order to interact with the verifier, the tool is user friendly and flexible in the sense that the user can plug in a verifier developed in any language as long as it allows to perform a number of basic computations on the parameterized system (such as the set of enabled transitions or the set of successor configurations). In order to plug in a new tool, our tool needs to be able to make use of these operations, for instance using a wrapper written for a verifier particular to a class of parameterized systems. Given these operations, our tool enables the user to carry out various types of simulations like random, interactive or guided simulations. Moreover, our tool can submit verification queries to the underlying verifier and walk the user through the generated counter examples as if it was a simulation session. |
| 2013-05-30 - HCS |
Mobilen först - Framställning av en design för Östgötatrafikens mobila hemsida med fokus på användarna
Anna Larsson
Avancerad (30hp)
kl 10:15, John von Neumann
|
| 2013-05-31 - SaS |
Design Optimization of Soft Real-Time Applications on FlexRay Platforms
Mahnaz Malekzadeh
Avancerad (30hp)
kl 10:15, (In English)
|
| 2013-05-31 - SaS |
Adaptation of algorithms for underwater sonar data processing to GPU-based systems
Patricia Sundin
Avancerad (30hp)
kl 13:00, Donald Knuth (In English)
|
| 2013-06-05 - SaS |
Data-driven test automation: augmenting GUI testing in a web application
Erik Kurin, Adam Melin
Avancerad (30hp)
kl 13:00, Alan Turing (In English)
|
| 2013-06-10 - HCS |
Towards a mobile user interface used for monitoring purposes in context of a Geographical Information System
Matic Hajdinjak
Avancerad (30hp)
kl 10:00, Alan Turing (In English)
[Abstract]• abstract
Mobile Geographical Information Systems are becoming a more and more
important tool for presenting geographical data. They are used to support
decision making processes, present an overview of distributed information
or are in a form of location based services. The problem lies in the fact
that mobile devices have limited resources and should still be able to present
massive amounts of content. Ideally, the user and the conditions in which
the program runs are well defined, but this is usually not the case.
This thesis provides a sample prototype implementation of a mobile GIS
developed as an alternative to an existing web-based user interface (UI). It
focuses on specific conditions present on mobile devices, ways of presenting
the data and possibilities of reusing existing elements from the web UI
that could be suitable for the mobile environment. |
Swedish web site
