QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 限定条件 专题：上海大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 An Evolutionary Method for the Formal Specification Construction of Service-Based Software 期刊论文 INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2016, 卷号: 26, 页码: 587-610 作者:  Miao, Weikai[1];  Wang, Xi[2] 收藏  |  浏览/下载：3/0  |  提交时间：2019/04/26 Service-based software  formal specification  software modeling   Automatic Support for Formal Specification Construction Using Pattern Knowledge 会议论文 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD), 2016-01-01 作者:  Wang, Xi[1];  Miao, Weikai[2] 收藏  |  浏览/下载：4/0  |  提交时间：2019/04/26 Formal development of self-separation protocol in free flight 期刊论文 ASIA LIFE SCIENCES, 2015, 页码: 573-586 作者:  Li, Zhuang[1];  Miao, Huaikou[2];  Liu, Yang[3] 收藏  |  浏览/下载：1/0  |  提交时间：2019/04/26 free flight  passenger safety  Z specification  interval predicate  refinement   Formal Specification and Reasoning for Situated Multi-agent System 会议论文 14th IEEE/ACIS International Conference on Computer and Information Science (ICIS), 2015-06-28 作者:  Li, Zhuang[1];  Miao, Huaikou[2] 收藏  |  浏览/下载：1/0  |  提交时间：2019/04/26 Object-Z  Situated Multi-agent System  Specification  Reasoning   A pattern-based approach to formal specification construction 会议论文 2011 Int.Conf.on Advanced Software Eng.and Its Applications,ASEA 2011,Disaster Recovery and Business Continuity,DRBC 2011,and Education and Learning,EL 2011,Held as Part of the 3rd Int.Mega-Conf.on Future-Generation Inform.Tech.FGIT 2011, 2011-12-08 作者:  Wang, Xi[1];  Liu, Shaoying[2];  Miao, Huaikou[3] 收藏  |  浏览/下载：4/0  |  提交时间：2019/04/30 基于UML statecharts 测试方法的研究 期刊论文 上海大学学报（英文版）, 2006, 卷号: 10, 页码: 469-470 作者:  占学德[1] 收藏  |  浏览/下载：2/0  |  提交时间：2019/05/10 unified modeling language (UML) statechart formal semantics flattened regular expression (FREE) model specification based software testing test criteria automatic generation of test case   A specification-based software construction framework for reuse 会议论文 4th International Conference on Formal Engineering Methods, ICFEM 2002, 2002-10-21 作者:  Liu, Jing[1];  Miao, Huaikou[2];  Gao, Xiaolei[3] 收藏  |  浏览/下载：4/0  |  提交时间：2019/05/11