Workshop Proceedings

The workshop proceedings are now available in the IEEE Digital Library.

Keynote - Lionel Briand

(11:00-12:30) "Capturing and Analyzing Legal Requirements"
Many information systems, for example taxation and social security systems, must comply with legal requirements. To be able to elaborate and analyze legal requirements, analysts need to carefully interpret the underlying laws and regulations, and subsequently express the legal requirements in such a way as to support a number of critical tasks. These tasks notably include traceability management and evolution, requirements simulation, and compliance verification. In this talk, I will present our recent work on modeling and analysis of legal requirements and reflect on the experience we have gained from the work. Throughout the talk, I will discuss and illustrate several important considerations that go into the development of a modelling framework for legal requirements, including the need to bridge the expertise gap between legal experts and software analysts, and further how one can tailor existing Model Driven Engineering technologies for use in legal requirements engineering.

Lionel Briand

Lionel Briand is Professor (FNR PEARL chair) in software engineering and is Vice-Director at the Centre for ICT Security, Reliability, and Trust (SnT), University of Luxembourg. He is a highly regarded expert in the areas of software verification and model-driven engineering, performing research with strong and sustained industrial collaborations. He is an IEEE Fellow, and is the recipient of the IEEE CS Harlan Mills award, and the IEEE Reliability Society's engineer-of-the-year award.

Workshop Papers

The workshop papers are now available in the IEEE Digital Library (click on the individual paper titles). The workshop presentations are now available to workshop participants (download all presentations in one zip file).

Full research papers:

Short research paper: