QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择发表日期升序发表日期降序作者升序作者降序提交时间升序提交时间降序题名升序题名降序 Generating Boundary Values from OCL Constraints using Constraints Rewriting and Search Algorithms 会议论文 2016 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2016-01-01 作者:  Ali, Shaukat;  Yue, Tao;  Qiu, Xiang;  Lu, Hong 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30 UML  Object Constraint Language  Search-based testing  Test data  Boundary Value Analysis   Generating Boundary Values from OCL Constraints using Constraints Rewriting and Search Algorithms 会议论文 IEEE Congress on Evolutionary Computation (CEC) held as part of IEEE World Congress on Computational Intelligence (IEEE WCCI), Vancouver, CANADA, 2016-07-24 作者:  Ali, Shaukat;  Yue, Tao;  Qiu, Xiang;  Lu, Hong 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/30 UML  Object Constraint Language  Search-based testing  Test data  Boundary Value Analysis   Automatic conversion from application scenarios to state diagrams 会议论文 2014 2nd IEEE International Conference on Progress in Informatics and Computing, PIC 2014, 16 May 2014 through 18 May 2014 作者:  Lin, Lijie;  Lu, Lei 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/31 application scenarios  automatic conversion  formal definition  Object Constraint Language  sequence diagrams  state diagrams   Automatic conversion from Application scenarios to State diagrams 会议论文 作者:  Lijie Lin;  Lei Lu 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/31 application scenarios  sequence diagrams  state diagrams  formal definition  Object Constraint Language  automatic conversion   Automatic conversion from Application scenarios to State diagrams 会议论文 2nd IEEE International Conference on Progress in Informatics and Computing (PIC), MAY 16-18, 2014 作者:  Lin, Lijie;  Lu, Lei 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/31 application scenarios  sequence diagrams  state diagrams  formal  definition  Object Constraint Language  automatic conversion   validating objected-oriented prototype of real-time systems with timed automata 会议论文 13th IEEE International Workshop on Rapid System Prototyping, DARMSTADT, GERMANY, JUL 01-03, Shu GQ; Li C; Wang Q; Li MS 收藏  |  浏览/下载：11/0  |  提交时间：2011/07/29 FORTS  UML  Unified Modeling Language  case study  constraint solving  formal semantics  formal specification  model checking  object-oriented real-time system development  object-oriented software validation  sequence diagram  software prototyping  timed