形式化语言相关论文
信息系统在政府、企业管理中的作用越来越大，报表在信息系统中占有重要地位。 信息系统的任务主要有：完成业务上的事务处理，为管理......
不同的形式化方法不仅在学术研究中得到支持与倡导,而且目前已经广泛应用到实际工业项目的各个方面。由于计算机系统越来越复杂,可......
时间是数据的客观属性。随着数据库技术的深入和发展，时态在数据库系统中扮演着日益重要的角色。数据库技术发展到今天，仅仅使用数据......
随着软件系统的规模越来越大,结构越来越复杂,为了更好的理解程序,为了更合理的开发软件,软件切片技术逐渐成为软件工程学中的一个......
随着软件技术的快速发展和软件应用范围的不断扩大,软件系统规模越来越大,软件功能日趋复杂,软件的需求获取变得更加困难,这表明需......
从上世纪五十年代软件诞生开始，软件设计一直是软件系统开发的核心内容，好的软件设计有助于软件开发人员提高工作效率，减少不必要的开......
编译理论和技术是计算机领域中的核心理论与技术之一。在编译器设计中，涉及到多项相关理论和技术，如形式化语言、自动机理论、形式化......
UML作为面向对象分析和设计建模语言的标准,有广泛的应用和扩展背景,通过UML的扩展机制使其支持面向方面状态图的建模,但UML建模的......
欧洲铁路运输管理系统(ERTMS)和欧洲列车控制系统(ETCS)是欧盟委员会(EU)和国际铁路联盟(UIC)为实现全欧洲高速铁路网互联运输，组织......
传统数学考试过分强调和依赖形式化的考查,过度追求形式化,造成学生过度注重对知识的单纯形成化背记.......
本文通过对荣华二采区10...
