门徒

学科项目:调试约束编程系统。约束编程是一种新兴的软件技术,目前在欧洲处于领先地位。尽管与其他语言、技术和范例相比,约束编程还比较年轻,但它已经产生了令人信服的结果。为了让行业从这一新兴技术中获益,获取结果并构建能够捕获和处理现实世界约束的应用程序,约束编程需要以有效的调试技术和适应其自身范式的环境的形式得到提升。DiSCiPl是由欧盟委员会Esprit项目资助的一个研究项目,旨在定义、实施和评估新颖有效的约束编程调试系统(CP)。