Legal texts, such as regulations and legislation, are playing an increasingly important role in
requirements engineering and system development. Monitoring systems for requirements …

Software systems are becoming increasingly complex. Their ubiquitous presence makes
users more dependent on their correctness in many aspects of daily life. As a result, there is …

In this paper, a brief account of the field of runtime verification is given. Starting with a
definition of runtime verification, a comparison to well-known verification techniques like …

In the last years, the legal domain has been revolutionized by the use of Information and
Communication Technologies, producing large amount of digital information. Legal …

Regulatory compliance management (RCM) is a problem gaining wide interest in the
business process management (BPM) community. However, research has not yet provided …

This paper presents a framework for security requirements elicitation and analysis. The
framework is based on constructing a context for the system, representing security …

Contract documents are a critical legal component of a construction project that specify all
wishes and expectations of the owner toward the design, construction, and handover of a …

In calls for privacy by design (PBD), regulators and privacy scholars have investigated the
richness of the concept of" privacy." In contrast," design" in HCI is comprised of rich and …

Information practices that use personal, financial and health-related information are
governed by US laws and regulations to prevent unauthorized use and disclosure. To …

Accountability is widely understood as a goal for well governed computer systems, and is a
sought-after value in many governance contexts. But how can it be achieved? Recent work …