原创力文档软件构造
SoftwareConstruction郑滔
从软件说起……软件替代、集成新的生活和工作方式以满足一些关键性质的方式提供所需的服务三层含义程序＋文档学科集合
学术界高可信HighConfidenceCIC1995CommitteeonInformationandCommunicationsReliability 可靠性Safety 可靠安全性Security 保密安全性Survivability 生存性
高可信软件系统的行为是什么？如何定性/定量地描述软件的行为？语义理论软件可信性质与软件行为的关系？如何描述其关系？验证理
您可能关注的文档
- 《web计算》习题与答案合集.docx
- 《嵌入式系统》习题与答案合集.docx
- 《数据库》习题与答案合集.docx
- 《软件构造》改善工作 教学课件.pptx
- 《软件构造》复习资料.Doc
- 《软件需求工程》习题与答案合集.docx
- 《软件需求工程》习题与答案合集.docx
- 《软件需求工程》习题与答案合集.docx
- 《web计算》习题与答案合集.docx
- 《体系结构》需求 参考文档.docx
- 2016年湖南湘潭中考历史试卷和答案及解析.pdf
- 2018年江苏淮安中考历史试卷和答案及解析.pdf
- 2018年山东日照中考历史试卷和答案及解析.pdf
- 2016年湖南长沙道德与法治试卷和答案及解析.pdf
- 砂浆锚杆施工作业指导书.docx
- DB50∕T 1472-2023 儿童福利机构志愿服务规范.docx
- DB50∕T 1461-2023 地方猪遗传材料冷冻保存技术规范.docx
- DB50∕T 1476-2023 电动重型载货车车载换电系统通用技术要求.docx
- DB50∕T 1477-2023 电动重型载货车与换电电池箱的通信协议.docx
- DB50∕T 1519-2023 规模猪场空栏消毒技术规程.docx
最近下载
- 核心素养导向下的小学四年级英语单元整合教学设计与实施（人教PEP版）.docx
- 生物化学教案教学设计.docx VIP
- 化学元素周期表-超清-可打印 .pdf VIP
- 企业专利讲座-专利文献的检索、撰写和OA答复.ppt VIP
- PIP CVS02700-2020 地下重力污水系统规范.pdf
- 2023-2024人教部编版小学4四年级数学上册（全册）教案设计.pdf VIP
- 化学元素周期表-超清-可打印.doc VIP
- 山东省成武县关于结合事业单位招考征集部分普通高校本科毕业生入伍【共500题含答案解析】模拟检测试卷.docx VIP
- 抗核抗体谱（ANA）项目建议书 .doc VIP
- 各法人专利负责人培训--OA答复.ppt VIP
文档评论（0）