时序逻辑程序设计与软件工程 下册 软件工程方法与工具

收藏
  • 【作者】唐稚松 等著
  • 【关键词】程序设计 软件工程
  • 【出版社】科学出版社
  • 【出版日期】2002
  • 【ISBN】7-03-009928-1
  • 【中图分类号】 TP312/TP311
  • 【内容简介】本册介绍了软件工程方法与工具,内容包括面向模块程序设计的可视化图形工具,基于形式规范的逐步求精过程、速成原型与模型检验方法,可视化体系结构描述语言与工具及其在软件开发过程中的的应用等。全部展开
  • 【页码】14,241?±486页
  • 【丛书名】国家自然科学基金研究专著/华夏英才基金学术文库
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆

  • 【获取途径】
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。