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
There is no excerpt because this is a protected post.
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.
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
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
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
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
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
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
By Eric Braun More and more research disciplines depend on large data sets that need to be analyzed. As computer scientists we could help by scalable process execution, automating processes and support scientists with complex scientific workflows. Another aspect is