Department of Computer Science and Engineering / Institutionen för data- och informationsteknik: Recent submissions
Visas titlar 21-40 av 62
-
Understanding, Measuring, and Evaluating Maintainability of Automotive Software
(2020-08-17)Context: The importance of software maintainability is well-addressed by software engineering research, in general. Particularly for object-oriented and open-source software, measurements as a means to represent maintainability ... -
Improving software traceability tools and processes
(2020-08-17)Context: Development of large and complex software leads to a large number of interconnected artifacts such as requirements, design models, code and implementation. Traceability enables understanding and managing these ... -
Understanding and Supporting Software Design in Model-Based Software Engineering
(2020-02-10)Model-Based Software Engineering (MBSE) is a software development approach in which models can serve a multitude of purposes. On the one hand, models can be used for ideation, to stimulate creative thinking, and facilitate ... -
Empowering Empirical Research in Software Design: Construction and Studies on a Large-Scale Corpus of UML Models
(2019-09-18)Context: In modern software development, software modeling is considered to be an essential part of the software architecture and design activities. The Unified Modeling Language (UML) has become the de facto standard for ... -
Multilingual Abstractions: Abstract Syntax Trees and Universal Dependencies
(2019-05-24)This thesis studies the connections between parsing friendly representations and interlingua grammars developed for multilingual language generation. Parsing friendly representations refer to dependency tree representations ... -
Formal Methods for Testing Grammars
(2019-02-15)Grammar engineering has a lot in common with software engineering. Analogous to a program specification, we use descriptive grammar books; in place of unit tests, we have gold standard corpora and test cases for manual ... -
Psychological group processes when building agile software development teams
(2017-11-16)Background: With the agile approach to managing software development projects, comes an increased dependability on well functioning teams. Agile teams are profoundly influenced by social-psychological factors since more ... -
Measuring the Evolution of Meta-models, Models and Design Requirements to Facilitate Architectural Updates in Large Software Systems
(2017-10-24)Background: In order to reduce complexity of the system and its development cost, the architecture of large software systems is often developed following the MDE (Model-Driven Engineering) approach. Developing architectures ... -
Proactive Software Complexity Assessment
(2017-10-16)Large software development companies primarily deliver value to their customers by continuously enhancing the functionality of their products. Continuously developing software for customers insures the enduring success of ... -
Contracts and Computation — Formal modelling and analysis for normative natural language
(2017-10-11)Whether we are aware of it or not, our digital lives are governed by contracts of various kinds, such as privacy policies, software licenses, service agreements, and regulations. At their essence, normative documents like ... -
Understanding Software Design for Creating Better Design Environments
(Chalmers University of Technology and Göteborg University, 2017)Context: Software design is considered an essential activity to analyze software requirements in order to produce a description of the software's internal structure that will serve as the basis for its construction. Models ... -
Addressing Traceability Challenges in the Development of Embedded Systems
(2017)Context: Currently, development e orts in embedded systems development lead to a large number of interconnected artifacts. Traceability enables understanding and managing these artifacts as they evolve. However, ... -
Qualitative and Quantitative Assessment of Integration Testing for Model-Based Software in the Automotive Industry
(2016)Background: Integration testing of vehicle software in the automotive industry relies heavily on simulation models. As they replicate actual vehicle functions in the testing process, they increase in size and amount of ... -
Cubical Intepretations of Type Theory
(2016-11-08)The interpretation of types in intensional Martin-Löf type theory as spaces and their equalities as paths leads to a surprising new view on the identity type: not only are higher-dimensional equalities explained as homotopies, ... -
Sheaf Semantics in Constructive Algebra and Type Theory
(2016-10-06)In this thesis we present two applications of sheaf semantics. The first is to give constructive proof of Newton-Puiseux theorem. The second is to show the independence of Markov's principle from type theory. In the ... -
Methods and Tools for Automating Language Engineering
(2016-05-12)Language-processing software is becoming increasingly present in our society. Making such tools available to the greater number is not just a question of access to technology but also a question of language as they need ... -
Dashboard development guide How to build sustainable and useful dashboards to support software development and maintenance
(University of Gothenburg, 2015-11-24)N/A -
Ready for Prime Time, - Yes, Industrial-Grade Modelling Tools can be Used in Education
(University of Gothenburg, 2015-10-16)It has been stated that industrial-grade modelling tools are unsuit- able for teaching modelling. In this paper, we present our experience with a university course on software modelling. In the first year of the course, ... -
Analysing normative contracts - On the semantic gap between natural and formal languages
(2015)Normative contracts are documents written in natural language, such as English or Swedish, which describe the permissions, obligations, and prohibitions of two or more parties over a set of actions, including descriptions ...