3 citations · 5 across the 4 of their papers we have counts for
3 papers · 1 filter
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…
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…