Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Zitouni, Mounira Nihad"'
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 generation. Symboleo is a promising language in that area. However, writi
Externí odkaz:
http://arxiv.org/abs/2411.15898
