Andreas Bollin

Andreas Bollin
Alpen-Adria-Universität Klagenfurt · Department of Informatics Didactics

Dipl.-Ing. Dr. techn. Priv.Doz

About

90
Publications
2,705
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
323
Citations
Additional affiliations
August 2011 - December 2012
Position
  • HiStories (Interactive Historical Media Center of AAU KLU)
Description
  • http://www.aau.at/histories
May 2005 - present
Position
  • ViZ (Visualisation of Z Specifications)
Description
  • http://viz.uni-klu.ac.at
December 2003 - December 2005
Position
  • CRISTEL (EU-TEMPUS-MEDA, Algeria, France, Tunesia)
Education
May 2004 - October 2012
Alpen-Adria-Universität Klagenfurt
Field of study
  • Angewandte Informatik
June 2000 - April 2004
Alpen-Adria-Universität Klagenfurt
Field of study
  • Informatik
November 1989 - December 1999
Graz University of Technology
Field of study
  • Telematik

Publications

Publications (90)
Chapter
Algorithmic Thinking (AT) is at the core of Computational Thinking (CT). A number of initiatives target CT, few of them focus on AT and even less deal with Graph Algorithmic Thinking (GAT) with younger learners. This paper reports on tangibles’ design for GAT, appealing to different senses so as to engage learners actively. It presents a field stud...
Conference Paper
Digitale Technologien und auch die Informatik sind mittlerweile Bestandteil von Schule und Unterricht sowie dem Alltag der Kinder. In immer früheren Stadien der Bildung finden digitale Werkzeuge Anwendung oder sind selbst Thema des Unterrichts. Dies wird sowohl aus Studien als auch in Lehrplänen verschiedener Länder ersichtlich. Damit ergeben sich...
Book
This book contains revised and extended versions of the best papers presented at the 16th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2020, held in Kherson, Ukraine, in October 2020. Due to the COVID-19 pandemic the conference was held online. The 8 revised full...
Preprint
Full-text available
In programming education, it makes a difference whether you are dealing with beginners or advanced students. As our future students will become even more tech-savvy, it is necessary to assess programming skills appropriately and quickly to protect them from boredom and optimally support the learning process. In this work, we advocate for the use of...
Chapter
The multitude of curricula and competency models poses great challenges for primary and secondary teachers due to the wealth of descriptions. Defining optimal (or personalized) learning paths is thus impeded. This paper now takes a closer look at 7 curricula from 6 different countries and presents an approach for the identification of learning outc...
Chapter
Among school children, the interest in dealing with computing science varies between different age groups and countries, but it can be observed that it tends to decline among young women, and it is mostly men who gain a foothold in this domain. Various programs and activities are meant to increase the interest of all our children, but measurement i...
Article
Full-text available
Many Java programs encode temporal behaviors in their source code, typically mixing three features provided by the Java language: (1) pausing the execution for a limited amount of time, (2) waiting for an event that has to occur before a deadline expires, and (3) comparing timestamps. In this work, we show how to exploit modern SMT solvers together...
Article
Full-text available
Die Integration digitaler Medien in den Unterricht ist eine Herausforderung unserer Zeit. Daher scheint es naheliegend, dass Lehrpersonen entsprechende Bildungsmaßnahmen erfahren und insbesondere, dass dies auch in die Curricula für Lehramtsstudierende Einzug findet. Der Entwicklungsverbund Süd-Ost in Österreich hat sich dieser Herausforderung gest...
Conference Paper
Nowadays, block-based programming environments are often used to offer a gentle introduction to learning a programming language. However, an assessment of students' programming skills based on the results of a programming task is not sufficient to determine all areas students are struggling with. We therefore introduce a learning analytics approach...
Chapter
The lack of standards to objectively assess the quality of teaching opened a new path of research. Teaching involves a lot of different tasks and activities that should be explored, so, consequently, when talking about quality of teaching, it makes sense to look at teaching as a process and to assess its maturity. This contribution briefly looks at...
Chapter
Based on a thorough literature review and on personal expertise in different areas of computer science (education) fields, we reflect and debate on computational thinking from different perspectives. One is that of an Austrian teacher who is confronted with a curriculum for a new subject called ‘Basic Digital Education’, with computational thinking...
Chapter
Extensive research confirms the benefits of group work in various educational and business domains. There has, however, been little consideration to rigorous formation of groups, especially project teams, in software engineering disciplines to improve the outcomes of these groups. Previous studies show that the outcome of groups will be affected by...
Chapter
Computer science related curricula, standards and frameworks are designed and implemented in many countries to incorporate informatics education in schools, already starting with kindergarten and primary education. A recurring point of discussion addresses the focus of those educational models concerning the different fields of computer science - t...
Chapter
An important aspect of the profession of an educator is the assessment and the improvement of the quality of the underlying teaching process, but does this hold for all types of teachers? By collecting best practices of computer science teachers in school we created a teaching maturity model (called TeaM) and recently demonstrated its benefit. The...
Chapter
The Bebras (Beaver) contest aims at testing of and motivating for Informatics and Computer fluency, and as such it is designed to be a contest for all pupils between 8 and 19. But, does it really attract and favor all types of children likewise? This paper takes a closer look at different types of personality, self-concept and interests of the winn...
Article
In industry, the benefit of maturity models is uncontested, and models like CMMI are normally taught in at least advanced software engineering courses. However, when not being part of real-world projects, the added values are difficult to be experienced on first hand by our students. In this paper we report on a study and teaching approach where, i...
Conference Paper
Full-text available
Modern programming languages, such as Java, represent time as integer variables, called timestamps. Timestamps allow developers to tacitly model incorrect time values resulting in a program failure because any negative value or every positive value is not necessarily a valid time representation. Current approaches to automatically detect errors in...
Conference Paper
Based on a thorough literature review and on personal expertise in different areas of computer science (education) fields, we reflect and debate on Computational Thinking from different perspectives. One is that of an Austrian teacher who is confronted with a curriculum for a new subject called Basic Digital Education, with Computational Thinking a...
Conference Paper
The quality of teaching plays a crucial role in informatics classes. Important elements that influence the quality are inter alia the teachers, the methodology and the environment, which can also be interpreted as elements of a teaching process. Consequently, it makes sense to take a closer look at the teaching process in informatics classes and to...
Conference Paper
A growing number of countries start to introduce computer science related topics in primary education, but their curricula or educational standards significantly differ in various aspects. This contribution introduces a way to analyze and compare curricula, education standards and competency models, using a graph-based representation form and sever...
Conference Paper
Full-text available
Technology has a deep impact on everyday life of most people in today’s society. Informatics is a basic element of this evolution and is. therefore getting more and more important for education, too. To introduce children of all ages to different topics of informatics, the Regional Educational Competence Centre for Informatics in Carinthia, Austria...
Conference Paper
Group or team formation has been a well-studied field in numerous contexts, such as business teams, project teams, and educational teams. There has, however, been little con- sideration of how groups or particularly project teams might have to be reorganized during a lecture in order to yield an optimal learning outcome. Empirical studies show that...
Conference Paper
Software Engineering is definitely an important subject matter and it is taught all over the world: at Universities, at Colleges, and recently also at High Schools. There are international Software Engineering curricula, standards, and certificates, but there is no manifestation of Software Engineering (and related practices) in the course syllabi...
Conference Paper
Software engineering principles and practices face a lot of challenges. Among them, debugging and comprehending systems is still demanding. Furthermore, comprehending distributed systems, even though there are several papers and approaches to be found in literature, is a challenge of a completely different dimension. This paper describes the experi...
Conference Paper
This half-day tutorial shows how a flexible and scalable simulation environment can be applied to train project management skills in a realistic way by simulating problems practitioners are facing in their daily work. Based on the simulation goals, the participants act as project managers determining the simulated development process by adequate st...
Conference Paper
Software is everywhere - be it in mobile phones, in washing machines, or in cars. With it, the importance of Software Engineering is uncontested, and Software Engineering (SE) is taught all over the world: at Universities, at Colleges, and recently also at High Schools. There are international Software Engineering curricula, standards, and certific...
Conference Paper
There is an ongoing discussion about the pros and cons of allowing Bachelor and Master students to become employees at companies and to work besides their study. Even more, in the field of Software Engineering, this issue is even seen as a prerequisite. However, are such students really achieving better results in their studies? In this paper, we d...
Conference Paper
Formal Methods have been developed to provide systematic and rigorous techniques for software development. They found their place in document-driven development processes as well as in the agile world. However, reading, understanding and working with a formal specification still turns out to be a real challenge. This paper tries to identify the und...
Conference Paper
The better our requirements engineering process is, the higher is the quality of the systems we build. But, environments and requirements change, and, by time, we also do know more about the systems that we are going to create or that we have to maintain. In all, this means that our specifications and documents, including the software code, are usu...
Article
This article proposes metrics for quantifying changes throughout the evolution of formal software specifications in long living systems. Formal specifications play an important role in the software development life‐cycle by supporting refinement and proof and by providing a basis for comprehension and maintenance activities. However, specifications...
Conference Paper
The use of formal specifications seems to be a silver bullet in a world where technical systems become more and more software intensive and where quality considerations become increasingly important. However, formal methods and the use of formal specifications are by far not so widespread as they should and could be. This position paper argues that...
Conference Paper
This half-day tutorial shows how a flexible simulation environment can link the various topic areas of software engineering in the same way they are interwoven in the daily work of practitioners. Based on the simulation goals, the participants act as project managers determining the simulated development process by adequate staffing and allocating...
Article
Full-text available
Estimating the effort and quality of a system is a critical step at the beginning of every software project. It is necessary to have reliable ways of calculating these measures, and, it is even better when the calculation can be done as early as possible in the development life-cycle. Having this in mind, metrics for formal specifications are exami...
Conference Paper
Software Engineering education must account for a broad spectrum of knowledge and skills software engineers will be required to apply throughout their professional life. Covering all the topics in depth within a university setting is infeasible due to curricular constraints as well as due to the inherent differences between educational institutions...
Conference Paper
The AMEISE (A Media Education Initiative for Software Engineering) approach focuses on the simulation of software project management processes. Based on Stuttgart University's SESAM (Software Engineering Simulation by Animated Models), the AMEISE tool-set allows for repeatedly experiencing the complexity of software project management within a game...
Article
Due to their accuracy in describing systems, formal specifications can play an important role during forward as well as reverse engineering activities. However, besides dense mathematical expressions, their lack in visually appealing notations impedes their use and exchange among different stakeholders. One solution to this problem is to enrich the...
Conference Paper
An experience-dominated subject like software project management cannot be learned by merely attending lectures. Additional labs, however, even with only modest real-life projects, call for substantial effort to be spent by the instructors as well as by the partaking students. Our experience shows that using a software development simulation tool e...
Conference Paper
Formal specifications are not an exception for aging. Furthermore, they stay valid resources only in the case when they have been kept up to date during all evolutionary changes taking place. As specifications are then not just written once, an interesting aspect is whether they do also deteriorate or not. In order to answer this question, this pap...
Conference Paper
This paper demonstrates that existing slice-based measures can reasonably be mapped to the field of state-based specification languages. By making use of Z specifications this contribution renews the idea of slice-profiles and derives coupling and cohesion measures for them. The measures are then assessed by taking a critical look at their sensitiv...
Conference Paper
Concept location is a necessary but all too often laborious task during maintenance phases. Part of the reasons is that repeatedly the same or similar concepts have to be reconstructed, which is a resource and time-consuming process. This contribution investigates the situation and suggests a framework that persistently stores conceptual elements a...
Book
Mobility under its different forms plays a central role in the academic achievement and career management of students, researchers, and teachers. Involving other actors such as administration staff and institutions, mobility offers a valuable opportunity not only for individuals but also for countries. To discuss mobility and other related issues i...
Conference Paper
During software maintenance activities one needs tools that assist in concept location and that provide fast access to already identified concepts. Thus, this paper presents an approach that is able to cope with this situation by storing concepts in a database. We demonstrate its applicability on formal Z specifications, where the huge number of co...
Article
When kept up-to-date, formal specifications can act as valid artifacts for maintenance tasks. However, their linguistic density and size impede comprehension, reuse, and change activities. Techniques such as specification slicing and chunking help in reducing the number of relevant lines of text to be considered, but they expect the point of change...
Article
Full-text available
Being part of the systems documentation state-based formal specifications can play a crucial role in the software development process. However, besides dense mathematical expressions, their semantical compactness and lack in visually appealing notations impede their use and comprehensibility among different stakeholders. One solution to this proble...
Conference Paper
Being part of different maintenance models formal specifications can act as valid artifacts for maintenance tasks. However, the linguistic density of specification languages and the size of specifications might still be seen as an obstacle against comprehension, reuse, and change activities. This paper introduces an approach for the identification...
Conference Paper
Formal specifications are valid sources for comprehension tasks when used during later development phases. However, the linguistic density of specification languages and the size of specifications can still be seen as an obstacle against comprehension activities. This work presents an approach for the identification of fragments of Z specifications...
Conference Paper
The paper reflects on why formal methods are quite often not used in projects that better rely on their potential. The expressive density might not be the least among them. To allow users focussed reading, the concept of specification slicing and specification chunking is introduced. An initial evaluation shows that reduction in size obtainable var...
Conference Paper
Summary form only given. The power of formal specifications is not fully exploited if used only during initial development. However, the linguistic density of specification languages can be seen as an obstacle against reading and easily comprehending a document written by other engineers. We introduce an approach for identifying fragments of specif...
Conference Paper
Full-text available
Der Erstaufwand einer gut aufbereiteten mediengestützten Lehrveranstaltung ist meist so hoch, dass radikale Anpassungen an geänderte Kontexte i. A. prohibitiv erscheinen und nur bei hinrei-chend großem Veränderungsdruck vorgenommen werden. Daher widmet das Projekt PlaNet-ET 1 der Aktualisierungsproblematik und dem Content-Management von Lehrveranst...
Article
This paper reports on our approaches to combine various software comprehension techniques (and technologies) in order to establish confidence whether a given reusable component satisfies the needs of the intended reuse situation. Some parts of the problem we are addressing result from differences in knowledge representation about a component depend...
Article
Full-text available
This paper reports on our approaches to combine various software comprehension techniques (and technologies) in order to establish confidence whether a given reusable component satisfies the needs of the intended reuse situation. Some parts of the problem we are addressing result from differences in knowledge representation about a component depend...
Conference Paper
Full-text available
This paper reports on our approaches to combine varioussoftware comprehension techniques (and technologies) in orderto establish confidence whether a given reusable componentsatisfies the needs of the intended reuse situation.Some parts of the problem we are addressing result fromdifferences in knowledge representation about a componentdepending on...

Projects

Project (1)
Project
Funding: FFG, Bridge 1, project number 850757 Duration: November 2015 - October 2018 Web site: http://serg.aau.at/bin/view/SafeRTSE Summary When maintaining and evolving legacy software systems, the main problems, well-known in the software maintenance community, are: (1) to retain the knowledge available in the project artefacts, (2) to make implicit knowledge explicit, (3) to prevent from knowledge deterioration along maintenance activities, and (4) to keep all the documents consistent to each other. Reverse engineering techniques have been used to address these problems, however, they usually output some "abstract view" of the original system which is of limited help from a re-engineering point of view. In this project we aim to tackle these problems by investigating methods and techniques to reverse engineer "formal models" from existing systems based on rewriting logic capturing explicit and implicit aspects of the original system. We claim that by using formal reasoning techniques on top of the extracted models the software engineer can first express a formal property that the system exhibits before re-engineering, and later check it against the re-engineered models representing the system design. This research project is a collaboration with Alpen-Adria Universität, Klagenfurt, Austria, XAutomata Technology GmbH, Klagenfurt, Austria and Università Politecnica delle Marche, Ancona, Italy.