Logic-based Methods for Software Engineers and Business People
Author: Joost Vennekens
Paper Information
Title: | Logic-based Methods for Software Engineers and Business People |
Authors: | Joost Vennekens |
Proceedings: | LPOP Position Papers |
Editors: | K. Tuncay Tekle and Marc Denecker |
Keywords: | Knowledge Representation, Decision Modeling, Decision Model and Notation (DMN), Python |
Abstract: | ABSTRACT. Both software engineers and business people tend to be reluctant to adopt logic-based methods. On the one hand, this may be due to unfamiliarity with ``scary'' logical syntax. To ameliorate this, we developed an API for a state-of-the-art logic system, using only standard Python syntax. On the other hand, logic-based methods might have more impact if they could be used directly by business people. The recent DMN standard that might help in this respect. |
Pages: | 3 |
Talk: | Jul 18 12:00 (Session 126E: Security Policies as Challenge Problems) |
Paper: |