First order logic and set theory
In this tutorial, we will guide you through the principles of using first-order logic (FOL) and set theory. We assume you have a basic knowledge of propositional logic. During the tutorial, we also explain the language used in the tool
Protected: Software Architecting Android Apps
There is no excerpt because this is a protected post.
A tutorial on data modeling with sets and first-order logic
Many languages exist to model the structure of data. Well-known examples include Entity-Relationship Diagram (ERD) by Chen, UML class diagrams and the Object-Role Modeling (ORM) language. Each notation has its own graphical notation. To model constraints additional languages are required.
ECSA 2018: Finding our way in the software wilderness
By Michael Keening Software can become quite a jungle. What type of tools do we use in the real world, and can we use these ideas for software as well? With a Cognitive map we make a birdseye view which
ECSA 2018 – Measuring and Managing Architecture Debt: Tales from the Trenches
By Rick Kazman Kazman likes multi-disciplinary subjects. Software architecture is such a subject. In 1994, he worked on SAAM, and papers at that time typically made claims about their software architecture. Instead, Kazman et al decided to try to measure
BPM 2018 – Beyond mining: theorizing about processual phenomena
By Brian T. Pentland Mining is a great metaphor: from raw material to finished jewels. How can we use those jewels to expand and move out? Processes are important in social sciences. Processual phenomena are namely pervasive in social and
BPI 2018: Multi-instance artifact-centric process mining
Presented by Maikel van Eck Complex environments typically have different instances running concurrently that interact. For example, for a single sales order can have several invoices and deliveries that all belong together. In such cases, it is unclear what the
ICSA 2018 – An Empirical Study of Architectural Decay in Open-Source Software
By Duc Le Architectural decay is a consequence of bad design or bad programming practices during development and refactoring. Architecture smells is a way to find decay. The idea is that finding decay helps in preventing technical debt. But there
ICSA 2018 – Q# and the Microsoft Quantum Development Kit
By Martin Roetteler (Microsoft) Why Quantum machines? Classical IT has its limits, especially in computing power. For example, modelling and understanding chemical models works on small molecules, but not on larger. Important to realize is that QM is not going