没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
军用_Ada_语言
军用_Ada_语言
需积分: 11
4 下载量
104 浏览量
2013-06-11
18:14:23
上传
评论
收藏
553KB
DOC
举报
温馨提示
立即下载
Ada语言不错的入门教程,能够学习ada的基础知识
资源推荐
资源评论
ADA军用语言
浏览:23
一本难得的学习ADA语言的资料,DOC格式的
军用Ada编程语言介绍
浏览:30
5星 · 资源好评率100%
Ada是一种表现能力很强的通用程序设计语言,它是美国国防部为克服软件开发危机,耗费巨资,历时近20年研制成功的。它被誉为第四代计算机语言的成功代表。与其他流行的程序设计语言不同,它不仅体现了许多现代软件的开发原理,而且将这些原理付诸实现。因此,Ada语言的使用可大大改善软件系统 的 清晰性, 可靠性, 有效性, 可维护性。 Ada的出现,标志着软件工程成功地进入了国家和国际的规模。在
Ada 程序设计语言
浏览:28
Ada 程序设计语言在一定程度上突破了冯诺依曼机。
Ada 通用程序设计语言
浏览:129
5星 · 资源好评率100%
Ada是一种表现能力很强的通用程序设计语言,它是美国国防部为克服软件开发危机,耗费巨资,历时近20年研制成功的。它被誉为第四代计算机语言的成功代表。 Ada语言的使用可大大改善软件系统的清晰性、可靠性、有效性、可维护性。Ada是现有的语言中无与伦比的一种大型通用程序设计语言,它是现代计算机语言的成功代表,集中反映了程序语言研究的成果
ada_language_server:服务器为Ada和SPARK实现Microsoft语言协议
浏览:14
Ada语言服务器 该存储库包含用于Ada / SPARK的实现。 当前功能: 支持。 名称,关键字,集合等的代码完成 代码导航,例如转到定义/声明,查找所有引用,呼叫层次结构等。 代码重构,如插入命名关联, with -clauses自动添加。 文档/工作区符号搜索。 代码折叠和格式化。 我们还在提供扩展并。 目录 安装 您可以从源代码安装或构建语言服务器。 要安装二进制映像,请
cmake-ada:CMake 的 Ada 语言支持
浏览:169
CMake 的 Ada 语言支持。 安装 cmake -P install.cmake 选择: 将Modules目录的内容复制到 CMake 安装的Modules中。 用法 Ada 语言由CMakeLists.txt project(<NAME> ADA)或enable_language(ADA)启用。 CMake 照常使用: # Out of source build $ mkdir
Ada 程序设计语言 Programming Language
浏览:93
5星 · 资源好评率100%
Ada 程序设计语言(The Ada Programming Language)2_1 pdf ebook
美国军用标准-MIL_STD_1553B
浏览:91
3星 · 编辑精心推荐
美国军用标准-MIL_STD_1553B
基于Linux军用TCP_IP协议栈设计与实现.pdf
浏览:92
基于Linux军用TCP_IP协议栈设计与实现.pdf
GJBZ_141-2004_军用软件测试指南
浏览:41
GJBZ_141-2004_军用软件测试指南文档完整版。
GJB_102A-2012 军用软件安全性设计指南.pdf
浏览:52
4星 · 用户满意度95%
GJB_102A-2012 军用软件安全性设计指南.pdf
时序Ada网的语言性质
浏览:142
<p>在Ada网的基础上,利用时序Petri网为Ada任务程序建模,提出了时序Ada网的概念,利用时序Ada网,可以很好地反映Ada程序的公平性和原子性要求及描述程序的需求规范。对时序Ada网的语言网的语言性质进行分析,结论表明时序Ada网所能按受的网语言能完整地刻画程序的动态行为和时序关系,有助于对程序性质的分析和验证。</p>
Ada程序设计语言.pdf
浏览:161
4星 · 用户满意度95%
Ada程序设计语言.pdf
Ada 语言入门程序参考 3过程时间片轮转调度
浏览:58
一个基础的Ada程序,实现了三个过程的时间片轮转调度,适合初学者学习参考。经过测试,可以直接编译运行。
Ada 95 语言手册
浏览:95
Ada95 手册 虽然Ada不是很流行,但是手册也不是很好找,当然你可以去官网上,但下载下来看更方便,呵呵~
Fuzzy sets for Ada:模糊集,逻辑,数字; 直觉模糊集,模糊语言-开源
浏览:25
Ada的模糊集是一个提供置信因数的实现的库,其中不包含和,或,或,xor,+和*的经典模糊集具有集理论的操作和可能性理论的操作,具有直觉性的模糊集具有对它们的操作,基于直觉模糊集和可能性理论的模糊逻辑; 模糊数,包括常规算术运算的整数和浮点数,以及语言变量和对其进行运算的语言变量集。 支持面向字符串的I / O。 提供了丰富的GTK + GUI小部件。
美国军用标准MIL_STD_810的产生与发展
浏览:91
MIL_STD_810是军用设备环境试验的通用标准,目前已经发展到F版,了解它的发展过程对于了解振动环境试验模拟技术的发展非常重要。
军用和航空电子_2009-08.pdf
浏览:168
军用和航空电子杂志,2009年08期刊 pdf格式 喜欢的就要下载啊
G2255-94军用软件产品
浏览:57
G2255-94军用软件产品 本标准规定了军用计算机软件产品开发各阶段工作
SJ_20594-1996_军用电子设备振动与冲击手册
浏览:148
5星 · 资源好评率100%
SJ_20594-1996_军用子设备振动与冲击手册
GJB437军用软件开发规范
浏览:49
5星 · 资源好评率100%
GJB437军用软件开发规范是指导软件工程师设计开发军用设备软件的标准规范
Ada语言的编程指导Ada_2005_and_GNAT
浏览:95
5星 · 资源好评率100%
Ada语言的编程指导,Ada新手最基础的教学指导。Ada_2005_and_GNAT目前是英文版
Ada语言简明教程 M.J.STRATFORD&COLLINS
浏览:82
4星 · 用户满意度95%
Ada语言简明教程 M.J.STRATFORD&COLLINS
markup-ada:Ada库用于解析和呈现轻量级标记语言
浏览:40
概述 Markdown-ada旨在成为一个灵活的库,用于解析以轻量级标记语言格式化的输入文本,并以各种输出格式呈现它们。 为了获得更高的灵活性,渲染器通过库客户端(逐个元素)连接到解析器。 这使得每个语言元素都可以根据客户的意愿分别启用或禁用,或以不同的方式呈现。 当前,唯一受支持的输入格式是 ,可以选择带有扩展名。 计划在将来添加其他一些。 同样,当前仅支持(X)HTML输出,尽管最终会出
Ada程序设计语言部分3
浏览:121
Ada是一种表现能力很强的通用程序设计语言,它是美国国防部为克服软件开发危机,耗费巨资,历时近20年研制成功的。它被誉为第四代计算机语言的成功代表。
时序Ada网的语言性质 (2003年)
浏览:171
在Ada网的基础上,利用时序Petri网为Ada任务程序建模,提出了时序Ada网的概念。利用时序Ada网,可以很好地反映Ada程序的公平性和原子性要求及描述程序的需求规范。对时序Ada网的语言性质进行分析,结论表明时序Ada网所能接受的网语言能完整地刻画程序的动态行为和时序关系,有助于对程序性质的分析和验证。
GJB 438-1988 军用软件文档编制规范(
浏览:165
5星 · 资源好评率100%
GJB 438-1988 军用软件文档编制规范
GJBZ 141-2004 军用软件测试指南
浏览:165
3星 · 编辑精心推荐
GJBZ 141-2004 军用软件测试指南GJBZ 141-2004 军用软件测试指南
Java语言在军用软件中的应用及实现方法.pdf
浏览:29
Java语言在军用软件中的应用及实现方法.pdf
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
fantasy5264
粉丝: 0
资源:
7
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
JSP生鲜销售网站源码.zip
JSP汽车出租管理系统源码.zip
JSP民宿预订网站信息管理平台源码.zip
JSP旅游产品销售管理系统源码.zip
JSP酒水商城管理系统源码.zip
JSP简单学生信息管理系统带分页源码.zip
JSP简单学生信息管理系统带分页功能源码.zip
心跳检测应用服务器(支持协议HTTP.UDP.TCP)的JAVA 微服务应用程序.zip
JSP家电进货销售库存管理系统源码.zip
基于 java aio 实现,开源、简单、易用、低延迟、高性能百万级.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功