作者：杨章伟, 唐同诰
分类：软件开发与应用
字数：98635字
ISBM：9787302435570
价格：￥23.88
出版社：清华大学出版社/2016-07
提供方：清华大学出版社
提供方简介：清华大学出版社成立于1980年6月，是由教育部主管、清华大学主办的综合出版单位。植根于“清华”这座久负盛名的高等学府，秉承清华人“自强不息，厚德载物”的人文精神，清华大学出版社在短短二十多年的时间里，迅速成长起来。清华大学出版社始终坚持弘扬科技文化产业、服务科教兴国战略的出版方向，把出版高等学校教学用书和科技图书作为主要任务，并为促进学术交流、繁荣出版事业设立了多项出版基金，逐渐形成了以出版高水平的教材和学术专著为主的鲜明特色，在教育出版领域树立了强势品牌。
图书简介：可视化D++语言不同于任何一种计算机编程语言，它是一种全新的当代社会的自然语言与图表相结合的计算机软件设计语言（兼编程自动化系统）。当前，应用系统开发失败的主要原因在于需求分析时程序员出现了偏差，因为程序员对业务流程的把握不如客户。可视化D++语言能把客户的需要精确完整地记录下来，让客户配合软件专业人员一起开发软件，完美地解决该问题。本书是可视化D++语言的第2册，着眼于软件公司的客户需求最多、创收最大的数据库应用管理软件领域。本书不同于第1册（绘制进程图），而是逐章逐节地介绍窗体Windows软件的各个功能部件的设计要求，使读者既愉快又迅速地成为视窗管理软件的制作者。当用户学会了可视化D++语言后，就更清楚自动构建软件的“Model-to-Code”技术实现了软件工程方法论上的一次革命。本书可以作为没有任何程序设计语言基础人员的入门教程，也可以让学习了第1册的读者更深入地学习可视化D++语言，掌握使用可视化D++语言开发数据库管理系统的技能。同时，本书致力于使各个知识领域的人员都能参与到程序设计中来，就像人人都能学开汽车一样，人人都能为其熟悉的领域自主制作软件，扩大软件应用范围至生活中的各个角落。杨章伟，江南萍乡人，副教授，主要研究方向为软件工程，云计算和数据库领域。作为Visual Basic语言、Visual C++语言和SQL语言等方面多本书的作者，又是本书的执笔者。唐同诰，1968年在江南造船厂顾师傅的带领下，模仿人工智能“机器学习”的方法，使用加“权”与精选“权”的非传统方法，攻克了计算机船型的会战难关，使造船体自动化成为现实。因憧憬于计算机的前景，他曾经两次提议并获数学系工宣队张连长支持，在大学里筹建了一个以设计、制造、应用于一体的计算机工厂，并担任厂长。次年，计算机工厂又成为1970年全国首次招收计算机硬件结构专业的单位之一，出任电子工程系计算机硬件教研组首任组长（早期工厂与教研组能建成也是基于教师们的精心教学与早期的出色研究成果，其中张然等完成了国内最早的新华印刷厂计算机自动排版项目，李家豪等坚持完成了国内自己制作的最早的上海银行使用的计算机软件，以及张根度、黄德利等人完成了船用螺旋桨计算机加工的项目，又接受了袁雨飞的数控线切割机全国推广的优秀成果）。在1980年以后，他离开工厂加入朱洪等创建的“计算机理论教研组”。因教学的需要，他转学“数理逻辑”，并开始写“逻辑”和“计算机程序语义学”方面的论文，后受邀为美国“数学评论”有关计算机逻辑理论方面的评论员。其后1987年至1989年，他参加CMU大学的“软件验证”、“硬件验证”、“人工智能知识表达”3个课题的研究工作，在从事“用数学符号形式化方法进行软件验证”的理论课题的同时，花了6年的夜晚和假日，用业余时间探索出一条非纯数学形式化的“程序验证工程化”之路，并获得实际的效果。这种方法是通过改造普通的编译系统，使它成为一个代数符号化程序的编译系统，又创造了一种能加到编译系统中的崭新的“程序归纳原理”机制，然后在编程语言中新加了几条能表达“时态”意义的条件验证指令，从而实现了能让普通程序员使用的简易且高速的程序自动验证方法，制作了一个Pascal程序自动验证演示系统。理论研究完成后，从1996年转向软件工程方法论的研究，考虑到“下一世纪最理想的制作软件的方法”应该是“Model-to-Code”技术，也就是有了设计文件后，不需要程序员手工编程序，就能直接把“设计文件转化成全部软件代码”的技术。为此，创建了一个“模式逻辑”（Pattern Meta Logic）及其编辑系统，走出了一条“Statement-Function-Template-Pattern”非常自然的程序基本结构发展的道路。使用模式逻辑新理论和方法，在没有任何基金资助的情况下，仅凭兴趣与信念，从2001年起以十年以上日日夜夜的工作，独立地设计与开发出一个专门用于软件设计的“可视化D++语言”编辑系统和一个内部的自动构建传统高速软件的SDDA生成系统，这才彻底完满地攻克了“Model-to-Code”技术难题，最终实现了软件工程方法论上的一次革命。