您当前所在位置:主页 > 行业新闻 >

皇冠现金:软件技术

皇冠现金 每个应用程序,游戏和受控制的硬件都依赖于代码来执行复杂或平凡的任务。但是,尽管任务的复杂性,代码,其组件以及效果/结果对于程序员和计算机来说都应该是清晰明了的。
我们的研究范围是:
通用编程
编译器构造技术
程序分析
程序转换
分布式算法的形式验证
作为我们研究的一部分,我们寻求识别编程模式(程序方法),以明确定义的编程语言和语言结构的形式将它们形式化,并通过构造工具来支持它们的使用。在构建工具时,我们会反思构建这些工具的方式,从而通过识别新模式来关闭开发周期。我们开发的软件和工具通过我们的网站和版本管理系统公开发布。
 
UUAGC代码片段
 
作为一个群体,我们始终对研究合作感兴趣;既有研究机构,也有公司。如果您想讨论合作机会,请与我们联系。
软件技术中心由Doaitse Swierstra领导,他在信息与计算科学系担任教授三十年后于2013年5月举行了告别演讲。我们与学习与教学软件技术团队建立了牢固的关系。约翰杰林