Search
Now showing items 11-20 of 24
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, ...
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), ...
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 ...
Tainting in Smart Contracts: Combining Static and Runtime Verification
(Lecture Notes in Computer Science book series (LNCS,volume 13498), 2022)
Smart contracts exist immutably on blockchains, making their pre-deployment correctness essential. Moreover, they exist openly on blockchains—open for interaction with any other smart contract and offchain entity. Interaction, ...
Runtime Verification of Kotlin Coroutines
(2022)
Kotlin was introduced to Android as the recommended language for development. One of the unique functionalities of Kotlin is that of coroutines, which are lightweight tasks that can run concurrently inside threads. Programming ...
Incorporating Monitors in Reactive Synthesis without Paying the Price
(19th International Symposium on Automated Technology for Verification and Analysis, 2021)
Temporal synthesis attempts to construct reactive programs
that satisfy a given declarative (LTL) formula. Practitioners have found
it challenging to work exclusively with declarative speci cations, and
have found ...
Actions over Core-closed Knowledge Bases
(2022)
We present new results on the application of semantic- and knowledge-based reasoning techniques to the analysis of cloud deployments. In particular, to the security of Infrastructure as Code configuration files, encoded ...
AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification
(International Conference on Runtime Verification, 2022)
Aspect-oriented programming tools aim to provide increased code modularity by enabling programming of cross-cutting concerns separate from the main body of code. Since the inception of runtime verification, aspect-oriented ...