下载  >  课程资源  >  专业指导  > 软件工程语言--Z.pdf

软件工程语言--Z.pdf 评分:

软件工程中的形式化方法是一种基于数学的软件开发方法,它可应用于软件工程的各个阶段。Z本身是一个书写规格说明的语言,或者说是一种表示法,它是目前人们非常感兴趣的一种规格说明方法。它是由著名计算机科学家Hoare所在的牛津大学程序设计研究组(PRG)的学者在80年代初设计开发的。

...展开详情
2020-01-11 上传 大小:5.45MB
举报 收藏
分享
软件工程语言---Z

软件工程语言---Z,作者 缪淮扣 李刚等 上海科学技术文献出版社

立即下载
软件工程语言--Z.pdf

软件工程中的形式化方法是一种基于数学的软件开发方法,它可应用于软件工程的各个阶段。Z本身是一个书写规格说明的语言,或者说是一种表示法,它是目前人们非常感兴趣的一种规格说明方法。它是由著名计算机科学家Hoare所在的牛津大学程序设计研究组(PRG)的学者在80年代初设计开发的。

立即下载
软件工程-Delphi语言-毕业管理系统

软件工程(课程设计)-Delphi语言-毕业管理系统

立即下载
软件工程--软件工程师的热门著作

本书语言幽默风趣,见解深刻,成被网友评为最受欢迎的图书!

立即下载
软件工程---学校内部工资管理系统

软件工程---学校内部工资管理系统,语言c++,数据库sql2005

立即下载
软件工程思想-----很实用,一个博士写的,语言很活泼很有哲理

能学到很多的哲理和工程思想*************************************

立即下载
软件工程---实验教学大纲

本课程是计算机科学与技术专业的专业必修课。本实验课程的主要目的和任务是,在学习面向对象建模语言的基础上,了解和初步掌握可视化面向对象建模工具的基本功能、特点和主要用法,通过理解和消化系统提供的模型示例,尝试利用通用建模语言和建模工具建立简单问题的基本模型,以加深对面向对象软件方法基本概念和建模机制的理解,并为进一步的软件建模实践和软件开发工作打下一定的基础。

立即下载
软件工程--UML设计核心

此书介绍了UML简介,语言概述,静态建模,动态建模,物理架构和视图,UML扩展

立即下载
北大青鸟.软件工程师.4.0.S1 C语言---学生用书源代码.rar

北大青鸟.软件工程师.4.0.S1 C语言-学生用书源代码.rar

立即下载
北大青鸟.软件工程师.4.0.S1--C语言--教学指导书源代码.rar

北大青鸟.软件工程师.4.0.S1C教学指导书源代码.rar

立即下载
第5讲 软件工程-UML建模语言

UML建模语言概述 面向对象建模的基本概念 UML的形成和发展 UML的主要内容 UML的特点 UML通用模型元素 UML用例建模 UML静态建模 UML动态建模 UML实现模型 RUP统一过程及应用

立即下载
软件工程 - UML统一建模语言参考手册

有点深,喜欢的朋友就下吧!

立即下载
软件工程课程设计--------工资管理系统

工资管理系统处理的事务主要有工资管理,员工信息管理,部门信息管理,职务信息管理,职称信息管理。职务和职称以及部门信息管理主要服务于工资管理和员工信息管理,系统接收的输入项目有员工信息,部门信息,职务信息,职称信息,请假信息,出差信息等。系统能够接受用户的请求,显示相应的查询信息,增加、删除、修改相应的合法的信息。系统使用面向对象设计,采用JAVA语言开发, 系统采用黑盒测试策略,系统的数据使用ORACLE数据库进行管理。

立即下载
软件工程语言 Z语言 中文教材

Z语言中文教材。 软件工程语言 Z语言 中文教材 目前发现的唯一中文教材

立即下载
软件工程语言——Z

Z语言将事物的状态和行为用数学符号形式化表达的语言,常用在软件工程之中。

立即下载
第6讲 软件工程-软件编码

编码的目的与质量要求 结构化程序设计 程序设计风格 程序效率 程序设计语言 程序复杂性度量

立即下载
软件工程-程序设计实践

目 录 译者序 前言 第1章 风格 1 1.1 名字 2 1.2 表达式和语句 4 1.3 一致性和习惯用法 8 1.4 函数宏 14 1.5 神秘的数 15 1.6 注释 18 1.7 为何对此费心 22 第2章 算法与数据结构 23 2.1 检索 23 2.2 排序 25 2.3 库 27 2.4 一个Java快速排序 29 2.5 大O记法 31 2.6 可增长数组 33 2.7 表 35 2.8 树 39 2.9 散列表 43 2.10 小结 46 第3章 设计与实现 48 3.1 马尔可夫链

立即下载
软件工程语言Z 课后习题答案

软件工程语言Z 课后习题答案 需要就拿去啊

立即下载
html+css+js制作的一个动态的新年贺卡

该代码是http://blog.csdn.net/qq_29656961/article/details/78155792博客里面的代码,代码里面有要用到的图片资源和音乐资源。

立即下载
qBittorrent插件集合(22个)

btetree.py cpasbien.py divxtotal.py ilcorsaronero.py kickass.py leetx.py limetorrents.py linuxtracker.py nyaa.py nyaapantsu.py nyaasi.py pantsu.py psychocydd.py rarbg.py rutor.py skytorrents.py sukebei.py sumotorrent.py tntvillage.py torrent9.py torrentfunk.py zooqle.py

立即下载