3 citations · 5 across the 4 of their papers we have counts for
4 papers
Automating Business Intelligence Requirements with Generative AI and Semantic Search
Nimrod Busany, Ethan Hadar, Hananel Hadad +4
Eliciting requirements for Business Intelligence (BI) systems remains a significant challenge, particularly in changing business environments. This paper introduces a novel AI-driv…
Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo
Mounira Nihad Zitouni, Amal Ahmed Anda, Sahil Rajpal +2
Over the past decade, different domain-specific languages (DSLs) were proposed to formally specify requirements stated in legal contracts, mainly for analysis but also for code gen…
Using Process Mining to Improve Digital Service Delivery
Jacques Trottier, William Van Woensel, Xiaoyang Wang +3
We present a case study of Process Mining (PM) for personnel security screening in the Canadian government. We consider customer (process time) and organizational (cost) perspectiv…
Rethinking Legal Compliance Automation: Opportunities with Large Language Models
Shabnam Hassani, Mehrdad Sabetzadeh, Daniel Amyot +1
As software-intensive systems face growing pressure to comply with laws and regulations, providing automated support for compliance analysis has become paramount. Despite advances…