QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 限定条件 专题：北京航空航天大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Correct-by-construction specification to verified code 期刊论文 JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2018, 卷号: 30 作者:  Ge, Ning;  Dieumegard, Arnaud;  Jenn, Eric;  Voisin, Laurent 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30 C  code generation  equivalence proof  Event-B  formal methods  property proof   Formal Development Process of Safety-Critical Embedded Human Machine Interface Systems 会议论文 PROCEEDINGS 11TH 2017 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2017-01-01 作者:  Ge, Ning;  Dieumegard, Arnaud;  Jenn, Eric;  d'Ausbourg, Bruno;  Ait-Ameur, Yamine 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30 Human machine interface  formal methods  specification  verification  integration  LIDL  Lustre  HLL  S3   Translating Software Requirement from Natural Language to Automaton 会议论文 40th Annual Conference of the IEEE-Industrial-Electronics-Society (IECON), Dallas, TX, 2014-01-01 作者:  Sun Rui;  Zhong Deming 收藏  |  浏览/下载：3/0  |  提交时间：2020/01/06 software requirement  natural language  formal specification  automaton   Translating Software Requirement from Natural Language to Automaton 会议论文 PROCEEDINGS 2013 INTERNATIONAL CONFERENCE ON MECHATRONIC SCIENCES, ELECTRIC ENGINEERING AND COMPUTER (MEC), 2013-01-01 作者:  Sun Rui;  Zhong Deming 收藏  |  浏览/下载：3/0  |  提交时间：2020/01/06 software requirement  natural language  formal specification  automaton   Development of global specification for dynamically adaptive software 期刊论文 COMPUTING, 2013, 卷号: 95, 页码: 785-816 作者:  Zhao, Yongwang;  Li, Zhuqing;  Shen, Hualei;  Ma, Dianfu 收藏  |  浏览/下载：2/0  |  提交时间：2020/01/06 Autonomic computing  Dynamic adaptation  Formal specification  Verification   Towards Verifying Global Properties of Adaptive Software based on Linear Temporal Logic 会议论文 25th IEEE International Conference on Advanced Information Networking and Applications (AINA), Singapore, SINGAPORE, 2011-01-01 作者:  Zhao, Yongwang;  Li, Jing;  Sun, Dou;  Ma, Dianfu 收藏  |  浏览/下载：3/0  |  提交时间：2020/01/06 Dynamic Adaptation  Dependability  Autonomic Computing  Formal Specification  Verification