SWAT seminar: Thomas van Binsbergen (SWAT)

Everyone is welcome to attend the lecture of Thomas, entitled eFLINT - A DSL for Testing Normative Specifications
  • What Software Analysis & Transformation English Seminars
  • When 22-11-2019 from 11:00 to 12:00 (Europe/Amsterdam / UTC100)
  • Where CWI, Lecture room L120
  • Add event to calendar iCal

Everyone is welcome to attend the lecture of Thomas, entitled eFLINT - A DSL for Testing Normative Specifications

Abstract:
In software engineering, a good development process involves the systematic derivation of (low-level) implementations from high-level
specifications. However, when such processes are employed, relevant regulations, laws, codes of conduct, and other sources of norms are typically not taken into account directly, resulting in uncertainty about whether the implementation is compliant with these norms. This talk takes an initial step towards solving this problem by introducing a domain-specific language (DSL) for describing norms as executable and testable specifications. During software development, the DSL can be employed to gain confidence in the correctness of the normative specification the final product needs to comply with. In a wider context, the DSL can be used to analyze legal arguments, disputes between individuals or organizations, and for testing the compliance of behavioral trails.