严密系统设计——方法、趋势与挑战
作者: (法)约瑟夫·希发基思(JosephSifakis) 著;王强,8.40万字58人 正在读
已完结现代当代当代文学
目录 (55章)
倒序
正文
第1章引言-1.1系统设计的概念第1章引言-1.2系统的演变过程第1章引言-1.3传统的系统设计方法1.3.1“V-模型”方法的设计流程1.3.2“V-模型”方法的假设条件第1章引言-1.4本书组织结构第2章系统设计的正确性和复杂性-2.1正确性内涵2.1.1可信性2.1.2关键等级第2章系统设计的正确性和复杂性-2.2复杂性挑战2.2.1设计复杂性2.2.2模型复杂性第3章严密系统设计方法-3.1基本思想第3章严密系统设计方法-3.2关注点分离3.2.1从需求到应用软件3.2.2从应用软件到软硬件融合系统3.3.1基本原则3.3.2组件框架第3章严密系统设计方法-3.4语义连贯的设计3.5.1基本原理3.5.2水平正确性3.5.3垂直正确性第3章严密系统设计方法-3.6实践讨论第4章基于BIP的系统设计框架-4.1BIP框架介绍第4章基于BIP的系统设计框架-4.2BIP语言4.2.1原子组件4.2.2连接器4.2.3优先级4.2.4复合组件4.3.1BIP操作语义4.3.2BIP编译器4.3.3BIP引擎4.4.1自主机器人功能需求建模4.4.2基于模型的代码生成4.4.3形式化验证第5章自主系统的设计方法-5.1自主系统的内涵5.1.1自主系统的功能架构5.1.2自主系统的目标管理5.1.3自主系统与自动化系统5.1.4自主系统的混合设计第5章自主系统的设计方法-5.2自主系统的测试5.2.1测试的基本原理5.2.2基于仿真的测试第5章自主系统的设计方法-5.3知识的生成与应用5.3.1知识的类型5.3.2知识的生成第5章自主系统的设计方法-5.4自主系统的可信性评估第6章自主系统的智能测试-6.1智能的内涵6.1.1自主系统的视角6.1.2人类智能的视角第6章自主系统的智能测试-6.2智能测试方法6.2.1替换测试的概念6.2.2通用测试框架第6章自主系统的智能测试-6.3智能测试的适用性第7章系统设计的挑战与展望
精选推荐
领导力法则
[中国纺织出版社]
陆禹萌
已完结当代文学
销售心理学
[中国纺织出版社]
兰华
已完结当代文学
销售就是玩转情商
[中国纺织出版社]
王威
已完结当代文学
销售员情商实战训练
成功的销售需要高智商,更需要高情商。一个销售员的销售业绩,往往与他的情商成正比。本书从十个方面详细讲述了有效运用情商,提高销售业绩的方法和技巧。通过实际销售案例和销售心理学理论指导,以及实战点拨和情商拓展训练,帮助读者全方位、快速提高情商。故事性、多版块、碎片化的内容设置,有效降低读者阅读疲劳,提高阅读兴趣,不论是奔波在路上的销售小白,还是带领团队奋勇向前的销售经理,都能从中找到适合自己的销售软技巧。
刘军
已完结当代文学
让未来的你,感谢现在勇敢的自己
[中国纺织出版社]
王介威
已完结当代文学
行为心理学:华生的实用心理学课
[中国纺织出版社]
(美)约翰·华生著.倪彩
已完结当代文学
行为心理学入门(完全图解版)
行为心理学入门(完全图解版)是以作者多来年的心理辅导和咨询数据为素材,对现实生活中的行为心理学应用进行了形象、深入、全面的论述和解读。本书与日本心理学图解书形式相同,浅显易读,有趣又益。
武莉
已完结当代文学
自卑与超越
《自卑与(全译插图典藏版)》是个体心理学研究领域的著作,也是人本主义心理学先驱阿尔弗雷德·阿德勒的很好著作。阿德勒的学说以“自卑感”与“创造性自我”为中心,并强调“社会意识”。全书立足个人心理学的观点,从教育、家庭、婚姻、伦理、社交等多个领域,以大量的实例为论述基础,阐明了人生意义的真谛,帮助人们克服自卑、不断超自己,正确对待职业,正确理解社会与性。本书直接促进了亲子教育、人格培养、婚姻与爱情、职业生涯、家庭建设、人际关系等诸多领域的长足发展,成为人们了解心理学的经典读物。
(奥)阿尔弗雷德·阿德勒
已完结当代文学
自制力:道理我都懂,为什么就是过不好人生
[中国纺织出版社]
邱开杰
已完结当代文学