Department of Computer Science and Engineering / Institutionen för data- och informationsteknik: Recent submissions
Now showing items 41-60 of 62
-
Software Defect Prediction Techniques in Automotive Domain: Evaluation, Selection and Adoption
(2015-01-29)Software is becoming an increasingly important part of automotive product development. While software in automotive domain enables important functionality and innovations, it also requires significant effort for its ... -
Report from the GI Dagstuhl Seminar 14433: Software engineering for Self-Adaptive Systems
(2014-10-24)Products and services such as business applications, vehicles, or devices in various domains such as transportation, communication, energy, production, or health. Consequently, our daily lives highly depend on such ... -
Formalizing Refinements and Constructive Algebra in Type Theory
(2014-11-21)The extensive use of computers in mathematics and engineering has led to an increased demand for reliability in the implementation of algorithms in computer algebra systems. One way to increase the reliability is to formally ... -
Model-Based Engineering for Embedded Systems in Practice
(2014-11-18)Model-Based Engineering (MBE) aims at increasing the e↵ectiveness of engineering by using models as key artifacts in the development process. While empirical studies on the use and the e↵ects of MBE in industry generally ... -
A Scholarship Approach to Model-Driven Engineering
(2014-09-26)Model-Driven Engineering is a paradigm for software engineering where software models are the primary artefacts throughout the software life-cycle. The aim is to define suitable representations and processes that enable ... -
Computational linguistics resources for Indo-Iranian languages
(2014-08-19)Can computers process human languages? During the last fifty years, two main approaches have been used to find an answer to this question: data- driven (i.e. statistics based) and knowledge-driven (i.e. grammar based). The ... -
Frontiers of Multilingual Grammar Development
(2013-09-30)The thesis explores a number of ways for developing multilingual grammars written in GF (Grammatical Framework). The goal is to enhance both the coverage of the grammars, in terms of content and number of languages, and ... -
Results from Two Controlled Experiments on the Effect of Using Requirement Diagrams on the Requirements Comprehension
(University of Gothenburg, 2013-04-02)We carried out a controlled experiment and an external replication to investigate whether the use of requirement diagrams of the SysML (System Modeling Language) helps in the comprehensibility of requirements. The ... -
A Light-Weight Defect Classification Scheme for Embedded Automotive Software Development
(2013-01-25)Objective: Systematic software defect documentation is an essential part of software development process models as a means of early identification of patterns in defect inflow. Such documentation, however, may often be a ... -
Proceedings of the 2nd Workshop on Experiences and Empirical Studies in Software Modelling
(2012-09-28)The International Workshop on Experiences and Empirical Studies in Software Modelling (EESSMod) is a satellite event of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS), ... -
Towards Formalizing Assumptions on Architectural Level: A Proof-of-Concept
(Departmen of Computer Science and Engineering, 2012-09-10)While designing an architecture, architects often make assumptions about different factors like execution environment, structural properties of the artifacts, properties of input/output data etc. Implicit and invalid ... -
Factors influencing reuse and speed in three organizations
(2012-05-29) -
Practical, Flexible programming with Information Flow Control
(2011-08-15)Mainstream mechanisms for protection of information security are not adequate. Most vulnerabilities today do not arise from deficiencies in network security or encryption mechanisms, but from software that fails to provide ... -
Architectural Concerns in Base Station Development
(Ericsson AB, 2010-12-17)This report presents a catalogue of architectural concerns found to be important to stakeholders within Ericsson’s Bases Station development. The catalogue is based on interviews with software architects, designers, testers, ... -
Unsupervised Learning of Morphology and the Languages of the World
(2009-11-16)This thesis presents work in two areas; Language Technology and Linguistic Typology. In the field of Language Technology, a specific problem is addressed: Can a computer extract a description of word conjugation in a ... -
Proceedings of the 3rd Workshop on Quality in Modeling
(2009-01-15) -
Calculi for Program Incorrectness and Arithmetic
(2008-11-18)This thesis is about the development and usage of deductive methods in two main areas: (i) the deductive dis-verification of programs, i.e., how techniques for deductive verification of programs can be used to detect ... -
Programming Language Techniques for Natural Language Applications
(2008-10-16)It is easy to imagine machines that can communicate in natural language. Constructing such machines is more difficult. The aim of this thesis is to demonstrate how declarative grammar formalisms that distinguish between ... -
Effective SAT solving
(2008-10-02)A growing number of problem domains are successfully being tackled by SAT solvers. This thesis contributes to that trend by pushing the state-of-the-art of core SAT algorithms and their implementation, but also in several ...