软件工程语言Z

本专辑为您列举一些软件工程语言Z方面的下载的内容,软件工程语言Z等资源。把最新最全的软件工程语言Z推荐给您,让您轻松找到相关应用信息,并提供软件工程语言Z下载等功能。本站致力于为用户提供更好的下载体验，如未能找到软件工程语言Z相关内容，可进行网站注册，如有最新软件工程语言Z相关资源信息会推送给您。

阅读全文

软件工程语言Z

: 软件工程语言——Z Z语言将事物的状态和行为用数学符号形式化表达的语言，常用在软件工程之中。
评级：5 浏览量：159 收藏量：1 资源大小：7.13MB 上传时间：2014-06-18

: 软件工程语言--Z.pdf 软件工程中的形式化方法是一种基于数学的软件开发方法，它可应用于软件工程的各个阶段。Z本身是一个书写规格说明的语言，或者说是一种表示法，它是目前人们非常感兴趣的一种规格说明方法。它是由著名计算机科学家...
评级：0 浏览量：245 收藏量：0 资源大小：5.45MB 上传时间：2020-01-11

: 软件工程语言Z 课后习题答案 软件工程语言Z 课后习题答案需要就拿去啊
评级：3 浏览量：512 收藏量：1 资源大小：1002KB 上传时间：2011-09-13

: 软件工程语言---Z 软件工程语言---Z，作者缪淮扣李刚等上海科学技术文献出版社
评级：5 浏览量：167 收藏量：0 资源大小：7.14MB 上传时间：2010-04-08

: 软件工程形式化z语言辅助工具 z语言辅助工具，专业的z开发工具，软件工程形式化z语言专用。
评级：0 浏览量：135 收藏量：0 资源大小：8.63MB 上传时间：2011-06-28

: Z语言的实时扩展及应用展方法，它基于形式化说明语言z和其它形式化方法的集成，在这里由其它形式化方法提供表示动态行为的结构；另～类称之为非集成的扩展方法则只使用z的语义，而由其它形式化方法对时间约束性和并发进行的描述则被转换...
评级：0 浏览量：76 收藏量：0 资源大小：2.32MB 上传时间：2012-10-09

: 软件工程的形式化方法考查试题 软件工程的形式化方法考查试题，软件形式规格说明语言z，期末考试试题
评级：0 浏览量：95 收藏量：0 资源大小：20KB 上传时间：2022-10-27

: 从过程描述语言到Z语言 摘要语言是一种得到广泛应用的形式化规格语言语言可以方便地描述系统操作的数据转换却很难描述系统操作间的时序关系而过程描述语言可以方便地描述时序关系本文利用时序状态转换系统...法在多视点需求工程中的应用
评级：3 浏览量：148 收藏量：0 资源大小：214KB 上传时间：2012-10-09

: 软件工程第二次课后习题.zip 第一题、画出下列伪码程序的流图，计算它的环形复杂度。你觉得这个程序的逻辑有什么问题吗？第二题、 (1).假设只有SEQUENCE和DO_WHILE两种控制结构，怎么利用它们完成 IF_THEN_ELSE操作？ (2)....
评级：0 浏览量：2439 收藏量：0 资源大小：760KB 上传时间：2020-03-27

: 软件工程课件 软件工程课件件工程是一门研究用工程化方法构建和维护有效的、实用的和高质量的软件的学科。它涉及程序设计语言、数据库、软件开发工具、系统平台、标准、设计模式等方面。在现代社会中，软件应用于多个方面。典型...
评级：0 浏览量：65 收藏量：0 资源大小：20.06MB 上传时间：2016-01-29

: 17年山东大学研究生课程 软件工程 课件规约语言、Z语言、程序正确性证明、RSL语言等相关课程的课件
评级：3 浏览量：109 收藏量：0 资源大小：2.7MB 上传时间：2018-10-30

: tranzit Z语言 编写工具将事物的状态和行为用数学符号形式化表达的语言，为编写计算机程序和验证计算机程序的正确性提供依据，是软件工程中编码之前的规格说明语言。 Z语言是一种以一阶谓词演算为主要理论基础的规约语言,是一种功能性语言...
评级：5 浏览量：120 收藏量：0 资源大小：188KB 上传时间：2010-07-11

: Qt实现压缩和解压缩操作工程文件实现将文件压缩为zip文件和解压缩zip文件
评级：5 浏览量：958 收藏量：2 资源大小：4.32MB 上传时间：2022-06-07

: 论文研究-适用于动态软件体系结构的扩展的Z描述语言.pdf 动态软件体系结构语言已成为描述复杂软件体系结构的重要工具, 然而许多描述语言都是静态的, 并不能对动态软件体系进行描述。为此, 对经典Z描述语言进行扩展, 主要通过对构件、连接件和它们的添加以及删除来达到动态...
评级：0 浏览量：73 收藏量：0 资源大小：1.02MB 上传时间：2019-07-22

: 黑龙江大学汇编语言实验报告（实验报告内有源码有注释）实验一、上机操作和 DEBUG 练习、实验二顺序...2、设X、Y、Z均为双精度数，它们分别存放在X、X+2、Y、Y+2、Z、Z+2存储单元中，存放时高位字存放在高地址，低位字存放在低地址，编写程序实现下面的表达式：X+(Y-Z)=W
评级：5 浏览量：485 收藏量：6 资源大小：911KB 上传时间：2022-05-27

: 软件工程课项目-基于java语言开发的健身APP的服务器端系统源码+项目说明.7z 软件工程课项目基于java语言开发的健身APP的服务器端系统源码+项目说明主要针对计算机相关专业的正在做毕设的学生和需要项目实战的Java学习者。也可作为课程设计、期末大作业。包含：项目源码、数据库脚本、项目...
评级：5 浏览量：56 收藏量：1 资源大小：2.09MB 上传时间：2022-12-07

: 论文研究-用Z语言序列数据类型描述栈与队列 .pdf 用Z语言序列数据类型描述栈与队列，刘艳平，王志刚， Z语言是一种软件工程语言，用它描述的软件规格具有简明、精确、无歧义、可推理和证明的优点。Z是一个类型化的语言，其中序列数据
评级：0 浏览量：96 收藏量：0 资源大小：210KB 上传时间：2019-08-14

: 软件工程卷3：领域、需求与软件设计 ◆ 《软件工程卷2：系统与语言规约》介绍了描述系统与语言的规约的基本原理和技术。首先，然后讲授一些高级的原理和技术：分层与组合、指称与计算以及构型：环境与状态的抽象与建模，然后讲授符号学建模的基本...
评级：5 浏览量：315 收藏量：0 资源大小：6.37MB 上传时间：2010-01-23

: 基于VHDL语言设计交通信号灯 cyclone FPGA开发板quartus9.0工程源码+设计文档说明.7z 基于VHDL语言设计交通信号灯 cyclone FPGA开发板quartus9.0工程源码+设计文档说明，设计任务 1. 模拟十字路口交通信号灯的工作过程，利用交通信号灯上的两组红，黄，绿LED发光二极管作为交通信号灯，设计一个交通...
评级：0 浏览量：32 收藏量：0 资源大小：3.08MB 上传时间：2024-05-06

: 软件工程卷1：抽象与建模《软件工程卷1：抽象与建模》介绍了抽象与建模的基本原理和技术。首先，本卷给出了离散数学的基本介绍，包括数、集合、笛卡尔、类型、函数、λ-演算、代数和数理逻辑，然后讲授基本的面向属性与面向模型的规约的...
评级：5 浏览量：309 收藏量：1 资源大小：53.82MB 上传时间：2011-10-22

: QCon上海 2018年全球软件开发大会PPT合集（101份）.7z 让商业没有语言障碍-深度学习在机器翻译的应用人脸识别应用与优化智能探索和实践⾯向⼤规模研发的⾃动化CI CD 海外电商架构演进异地多活单元化架构下的微服务体系为什么前端⼯程师更应该掌握区块链 DApp 开发 ...
评级：0 浏览量：120 收藏量：0 资源大小：897.19MB 上传时间：2022-05-29

: 形式化语言 z语言 缪淮扣 z语言 缪淮扣上海大学形式化语言用于软件工程的各个阶段
评级：0 浏览量：308 收藏量：0 资源大小：7.14MB 上传时间：2008-09-22

: 软件工程卷1：抽象与建模(1/3) 一共3个压缩包，这是第1...一些其他的规约语言，比如B、VDM-SL和Z都具有面向模型的概念，本卷则通过RAISE规约语言RSL来讲解这个概念。本卷还介绍了有关应用式http://download.csdn.net/detail/madking/284777 第二部分 ...
评级：4 浏览量：387 收藏量：7 资源大小：19.07MB 上传时间：2007-11-13

: Z语言:谓词演算为主要理论基础的规约语言将事物的状态和行为用数学符号形式化表达的语言，为编写计算机程序和验证计算机程序的正确性提供依据，是软件工程中编码之前的规格说明语言。　Z语言是一种以一阶谓词演算为主要理论基础的规约语言,是一种功能性...
评级：4 浏览量：422 收藏量：1 资源大小：1.11MB 上传时间：2009-10-24

: 形式化方法在软件工程中的应用研究关于Z语言的文章.探讨了形式化方法的基本概念，重点研究了形式化方法的数学理论基础和其在软件工程各阶段的应用情况，分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因，并指出了形式化方法发展的几...
评级：0 浏览量：87 收藏量：0 资源大小：210KB 上传时间：2012-06-15

: mongodb-win32-x86_64-2012plus-4.2.5-signed.msi MongoDB 是一个基于分布式文件...由 C++ 语言编写。旨在为 WEB 应用提供可扩展的高性能数据存储解决方案。 MongoDB 是一个介于关系数据库和非关系数据库之间的产品，是非关系数据库当中功能最丰富，最像关系数据库的。
评级：0 浏览量：191 收藏量：0 资源大小：263.2MB 上传时间：2020-09-16

: 两次数据精化的形式化软件开发方法 (2006年) 提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。传统Z规约数据精化很复杂。该文先采用过程写出初始规范，对模式进行第一次数据精化，然后把它转换为2模式，再进行过程精化。最后再...
评级：0 浏览量：46 收藏量：0 资源大小：215KB 上传时间：2021-05-22

: 基于LSTM和GRU深度神经网络预测英文文本后出现的表情符号源码+数据+项目说明.zip （2）特征工程主要为将英文文本短句转化为词向量(分布式表示)的过程。词嵌入采用斯坦福GloVe训练的300维词向量，下载地址[https://nlp.stanford.edu/projects/glove/]。（3）针对数据集训练LSTM和GRU深度网络，...
评级：0 浏览量：67 收藏量：0 资源大小：27KB 上传时间：2023-07-11

: 软件形式化方法期末考试复习要点 软件工程形式化方法，Z语言，期末考试复习要点。包括各个章节的知识点可经典例题。
评级：5 浏览量：379 收藏量：2 资源大小：390KB 上传时间：2011-11-11

: Dev c++ 5.11.0.0（简体中文/English版） 7z压缩包，需要使用解压软件解压（推荐7z）解压无密码 Dev C++简介： Dev C++是由Bloodshed公司开发的，2011年停止开发后由独立开发者Orwelldevcpp继续更新开发的一款运行于Windows环境下的轻量级 C/C++ 集成开发...
评级：0 浏览量：453 收藏量：0 资源大小：48.08MB 上传时间：2023-05-02

: Android高级应用开发.z02 Stage1_Lesson0我们是职业的专业的 Stage1_Lesson1JavaForAndroid Stage1_Lesson2EclipseIDE提高 Stage1_Lesson3约定和规范-...Stage4_Lesson2软件工程软件概述 Stage4_Lesson3UML需求分析 Stage4_Lesson4UML软件设计
评级：0 浏览量：101 收藏量：0 资源大小：700MB 上传时间：2021-05-01

: 《软件工程导论》张海潘_第五版_清华_课后答案第1章 软件工程学概述1 1.1 软件危机1 1.1.1 软件危机的介绍1 1.1.2 产生软件危机的原因3 1.1.3 消除软件危机的途径4 1.2 软件工程5 1.2.1 软件工程的介绍5 1.2.2 软件工程的基本原理7 1.2.3 软件工程方法学9 1.3 ...
评级：4 浏览量：732 收藏量：2 资源大小：794KB 上传时间：2011-06-30

: ZNotation_ISO_IEC_13568_2002(E) z语言 国际标准，z语言是基于有类型集合论的描述状态转化的语言。比UML还严谨的语言。高级软件工程师必须掌握。
评级：0 浏览量：68 收藏量：0 资源大小：1.24MB 上传时间：2010-10-14

: 适合初学者的一些python资料.7z ● 首先，MATLAB是一款商用软件，并且价格不菲。而Python完全免费，众多开源的科学计算库都提供了Python的调用接口。用户可以在任何计算机上免费安装Python及其绝大多数扩展库。 ● 其次，与MATLAB相比，Python是...
评级：5 浏览量：35 收藏量：0 资源大小：4.28MB 上传时间：2023-05-23

: Formal Specification and Documentation using Z: A Case Study Approach 书名：Formal Specification and Documentation using Z: A Case Study Approach 作者：Jonathan Bowen 介绍：形式化规格说明Z语言。建立在数理逻辑基础上的，可验证的一种软件工程方法。
评级：0 浏览量：179 收藏量：0 资源大小：280KB 上传时间：2011-07-29

: python学习资料，适合初学者学习.7z ● 首先，MATLAB是一款商用软件，并且价格不菲。而Python完全免费，众多开源的科学计算库都提供了Python的调用接口。用户可以在任何计算机上免费安装Python及其绝大多数扩展库。 ● 其次，与MATLAB相比，Python是...
评级：5 浏览量：48 收藏量：0 资源大小：4.28MB 上传时间：2023-05-23

: 大型数控龙门铣床几何误差补偿方法研究 (2014年) 建立了大型数控龙门铣床加工空间几何误差数学模型，采用基于对象的事件驱动机制的程序设计语言Visual Basic开发了几何误差补偿软件，实现了几何误差补偿;现场检测了大型数控龙门铣床空行程平面运动轨迹及工件
评级：0 浏览量：66 收藏量：0 资源大小：1.23MB 上传时间：2021-05-21

: 数据库系统课件（战德臣）_2.7z 《数据库系统》不仅是计算机、软件工程等专业的核心课程，而且也是非计算机专业学生必修的信息技术课程。当前互联网+与大数据，一切都建立在数据库之上，以数据说话，首先需要聚集数据、需要分析和管理数据。数据库...
评级：5 浏览量：993 收藏量：2 资源大小：31.66MB 上传时间：2019-09-15

: Arno的Engram布局是一种优化的按键布局，用于基于人机工程学考虑的英文触摸打字，并带有用于创建其他语言的... 字母是根据人体工程学因素进行最佳排列的，这些因素有助于减少手指侧向移动并更有效地键入高频字母对： Y P O X F C M W Q H I E A T S N R Z G K J U D V B L 最常见的标点符号在逻辑上分组在中间的列中，数字与...
评级：0 浏览量：58 收藏量：0 资源大小：2.49MB 上传时间：2021-03-21

: 同济大学水准网平差软件.exe 采用严密平差的方式进行平差计算，平差结果更接近真实值； z 平差方式可选择为经典平差模型或拟稳...z 采用微软最新的开发语言和开发技术进行系统的构架和设计，既保证了软件运行的效率，同时紧跟最新技术发展的潮流。
评级：1 浏览量：2740 收藏量：5 资源大小：2.05MB 上传时间：2019-06-08

: 第4章形式化说明技术第4章形式化说明技术 4.1 概述 4.2 有穷状态机 4.3 Petri网 4.4 Z语言 4.5 小结习题
评级：0 浏览量：56 收藏量：0 资源大小：348KB 上传时间：2011-01-10

: [软件测试].赵瑞莲.文字版中文名: 软件测试作者: 赵瑞莲资源格式: PDF 版本: 文字版出版社: 高等教育出版社书号: 9787040136982发行时间: 2004年01月地区: 大陆语言: 简体中文 ...附录 软件工程的测试标准参考文献参考网站
评级：5 浏览量：403 收藏量：1 资源大小：2.89MB 上传时间：2013-01-04

: Android高级应用开发教学视频-Android高级应用开发.z14 Stage1_Lesson0我们是职业的专业的 Stage1_Lesson1JavaForAndroid Stage1_Lesson2EclipseIDE提高 Stage1_Lesson3约定和规范-...Stage4_Lesson2软件工程软件概述 Stage4_Lesson3UML需求分析 Stage4_Lesson4UML软件设计
评级：0 浏览量：122 收藏量：0 资源大小：700MB 上传时间：2021-05-02

: Android高级应用开发教学视频-Android高级应用开发.z04 Stage1_Lesson0我们是职业的专业的 Stage1_Lesson1JavaForAndroid Stage1_Lesson2EclipseIDE提高 Stage1_Lesson3约定和规范-...Stage4_Lesson2软件工程软件概述 Stage4_Lesson3UML需求分析 Stage4_Lesson4UML软件设计
评级：0 浏览量：86 收藏量：0 资源大小：700MB 上传时间：2021-05-01

: Android高级应用开发教学视频-Android高级应用开发.z03 Stage1_Lesson0我们是职业的专业的 Stage1_Lesson1JavaForAndroid Stage1_Lesson2EclipseIDE提高 Stage1_Lesson3约定和规范-...Stage4_Lesson2软件工程软件概述 Stage4_Lesson3UML需求分析 Stage4_Lesson4UML软件设计
评级：0 浏览量：91 收藏量：0 资源大小：700MB 上传时间：2021-05-01

: 基于SSM的农业电商服务系统代码 ② 开发语言：Java ③ 框架：SSM ④ 架构:B/S、MVC ⑤ 开发环境:IDEA、JDK、Maven、Mysql ⑥ JDK版本：JDK1.8 ⑦ Maven包：Maven3.6 ⑧ 数据库：mysql 5.7 ⑨ 服务平台:Tomcat 8.0/9.0 ⑩ 数据库工具：SQLyog/...
评级：0 浏览量：10 收藏量：0 资源大小：12.42MB 上传时间：2024-03-21

: 农业电商服务系统代码 java农业电商服务系统代码 ② 开发语言：Java ③ 框架：SSM ④ 架构:B/S、MVC ⑤ 开发环境:IDEA、JDK、Maven、Mysql ⑥ JDK版本：JDK1.8 ⑦ Maven包：Maven3.6 ⑧ 数据库：mysql 5.7 ⑨ 服务平台:Tomcat 8.0/9.0 ⑩ 数据库工具：SQLyog/...
评级：0 浏览量：6 收藏量：0 资源大小：12.42MB 上传时间：2024-03-21

: 基于SSM的传统服饰文化平台代码 ② 开发语言：Java ③ 框架：SSM ④ 架构:B/S、MVC ⑤ 开发环境:IDEA、JDK、Maven、Mysql ⑥ JDK版本：JDK1.8 ⑦ Maven包：Maven3.6 ⑧ 数据库：mysql 5.7 ⑨ 服务平台:Tomcat 8.0/9.0 ⑩ 数据库工具：SQLyog/...
评级：0 浏览量：6 收藏量：0 资源大小：23.61MB 上传时间：2024-02-19

: 基于SSM的演出道具租赁管理系统代码 ② 开发语言：Java ③ 框架：SSM ④ 架构:B/S、MVC ⑤ 开发环境:IDEA、JDK、Maven、Mysql ⑥ JDK版本：JDK1.8 ⑦ Maven包：Maven3.6 ⑧ 数据库：mysql 5.7 ⑨ 服务平台:Tomcat 8.0/9.0 ⑩ 数据库工具：SQLyog/...
评级：0 浏览量：10 收藏量：0 资源大小：16.12MB 上传时间：2024-04-10

资源推荐

相关资源标签

ebook 软件工程形式化语言上海大学形式化表达规格说明语言测试用例电子书程序员国际标准在开发工具《软件工程导论》张海潘_第五版_清华_课后答案 Formal Specification Jonathan Bowen 软件工程语言Z 课后习题答案抽象与建模软件形式化方法期末考试形式化方法；软件规约形式语言；软件工程；形式系统；规约 Agent 软件测试软件工程, 动态演化, 动态软件体系结构, Z语言描述 Z形式规格说明数据库系统概念 mooc 描述语言 mongodb 开发工具软件工程师 keyboard JupyterNotebook Android 高级应用开发教学视频高级应用开工程技术论文源码软件汇编语言文档资料 QCon 全球软件开发大会开发语言期末考试试题 java 开发源码 matlab python 课程资源自然语言处理 lstm 代码 fpga开发 cyclone开发板 VHDL课设