为你推荐
书名页
内容简介
版权页
目录页
第一篇 史录
第一章 如烟往事
雁声
求学
第二章 哀乐感怀
日寇投降
复员返宁
心向往之 奋力求之
书怀
忆子豪恩师
忆柏溪就读
感恩
弟子去国有感
同窗聚会
永强教授七十华诞
挽二姐瑞珍
忆王公湘浩仙逝
志华贤棣正之
锦云学弟正
八十述怀
六十年后忆于师希武
先平贤棣正之
甲申夏夜怀东中十八中师友
忆国立十八中就读
中创软件基金十周年
软件博物馆成立志庆
芙清、阳元老友执教五十周年
系庆撰联
火旺老友千古
欢庆南京解放六十周年
国庆偶感
敬致张公效祥学长
八五言志
汪博爱妻千古
挽爱妻汪博
永强教授八秩华诞
寻访母校国立东北中学故址
第二篇 文纂
第三章 己友书序
《系统程序设计语言》前言
《管理信息系统——计算机在管理中的应用》序
《徐家福文集》自序
《Xu Jiafu Selected Works》 Author's Preface
《CC-DOS操作系统技术大全》序
《对象式程序设计语言》序
《软件自动化》序
《软件质量保障与测试》序
《软件语言及其实现》序
《孙永强教授文集》序
《UML精粹》译序
《软件工程技术概论》序
《南雍骊珠：中央大学名师传略》序
《UML精粹》（第三版）序
《举中华英才，创软件伟业——中创软件基金10年》序
《南雍骊珠：中央大学名师传略续篇》序
《UML与软件建模》序
《杨芙清文集（第二辑）》序三
《南雍骊珠：中央大学名师传略再续》序
第四章 百科文条
计算机科学技术总论
计算机软件
软件语言
程序设计语言
语义
语用
数据
信息
软件自动化方法
程序设计方法学
程序
程序设计
第五章 论文补遗
From Requirements Defi nition to Formal Functional Specifi cation—An Automatic Transformational Approach
继承的一个数学模型
Requirements Analysis and Specifi cation as a Problem of Software Automation — Some Researches on Requirements Engineering at Nanjing University
Tool Support of Orderly Transition from Informal to Formal Descriptions in Requirements Engineering
Formal Semantics of Some Functional Constructs of the Software Requirements Defi nition Language NDRDL
对象式软件需求模型及其机器支撑
情形实例驱动的软件需求模型自动生成
量子程序设计语言NDQJava
量子程序设计语言NDQJava处理系统
量子程序设计语言初探
Quantum Programming Languages : A Tentative Study
Quantum Programming Languages
买过这本书的人还买过
读了这本书的人还在读
同类图书排行榜
购物车
个人中心
