程序设计自动化造句

造句与例句手机版

编著《程序设计自动化基础》，合编《编译原理》。
软件自动化一般认为包括两部分：程序设计自动化和文档设计自动化。
程序设计自动化，即用计算机自动设计程序，是使计算机得以推广的必要条件。
等软件新技术研究也已取得一定的进展，把程序设计自动化的进程向前推进一步。
程序设计自动化一般不属计算机设计自动化的范围，而是计算机软件的一个独立分支。
逻辑设计自动化所涉及的内容较多，有自动逻辑综合、逻辑模拟、微程序设计自动化等。
程序设计方法学还涉及程序推导、程序综合、程序设计自动化研究、并发程序设计、分布式程序设计、函数式程序设计、语义学、程序逻辑、形式化规格说明和公理化系统等课题。
研究内容包括功能设计自动化和组装设计自动化，涉及计算机硬件描述语言、系统级模拟、自动逻辑综合、逻辑模拟、微程序设计自动化、自动逻辑划分、自动布局布线，以及相应的交互图形系统和工程数据库系统。
例如，在形象思维、开放逻辑、定理证明、定性到定量综合集成等人工智能的理论研究方面；在智能软件开发环境、程序设计自动化等智能软件的研制方面；在高性能工作站和智能化的人—机接口方面都取得了一些具有世界水平的成果。
用程序设计自动化造句挺难的，這是一个万能造句的方法