Browsing IT Faculty / IT-fakulteten by Title
Now showing items 84-103 of 139
-
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae
(2023)This paper presents ppLTLTT, a tool for translating pure-past linear temporal logic formulae into temporal testers in the form of automata. We show how ppLTLTT can be used to easily extend existing LTL-based tools, such ... -
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 ... -
Pre-deployment Description Logic-based Reasoning for Cloud Infrastructure Security
(2022-05-25)Ensuring the security of a cloud application is exceptionally challenging. Not only is cloud infrastructure inherently complex, but also a precise definition of what is secure is hard to give. Business context, regulatory ... -
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 ... -
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), ... -
Proceedings of the 3rd Educators Symposium at MODELS
(2008-09-24) -
Proceedings of the 3rd Workshop on Quality in Modeling
(2009-01-15) -
A professional community goes online - a study of an online learning community in general medicine
(2010-05-12)The aim of the study is to investigate how an e-mailing list, organised and managed by a Swedish professional association of general medicine, functions as an online learning ommunity (OLC). In a contemporary networked society, ... -
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 ... -
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 ... -
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 ... -
R-CHECK: A Model Checker for Verifying Reconfigurable MAS
(AAMAS 2022, 2022)Reconfigurable multi-agent systems consist of a set of autonomous agents, with integrated interaction capabilities that feature opportunistic interaction. Agents seemingly reconfigure their interactions interfaces by ... -
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, ... -
Reasoning with Bounded Cognitive Resources
(2015-10-05)Reasoning is an essential element of intelligence. Automated reasoning in formal and symbolic systems is a major topic in computer science and artificial intelligence (AI). Programs for computer-assisted and automated ... -
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 ... -
Reproducing Traditional Discourses of Teaching and Learning Mathematics: Studies of Mathematics and ICT in Teaching and Teacher Education
(2012-04-16)This thesis is primarily concerned with the effects of education for future teachers in the context of the Swedish teacher training (Government Bill 1999/2000:135 2000). It belongs to a theoretical tradition in which the ... -
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 ...