![](https://img-blog.csdnimg.cn/20201014180756923.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
Software Engineering
文章平均质量分 61
No Knownledge
One more thing
展开
-
Atomic Propositions (AP) in an MDP
Atomic Propositions (AP) and MDP原创 2024-06-12 21:31:43 · 613 阅读 · 0 评论 -
Internal Validity vs Construct Validity
Internal validity and construct validity are both important concepts in research methodology, especially in experimental and psychological research. However, they refer to different aspects of the research design and interpretation of results.Internal Vali原创 2024-05-15 23:49:50 · 882 阅读 · 0 评论 -
Test Environment Development
Test environment development原创 2023-10-24 16:53:25 · 54 阅读 · 0 评论 -
声明式系统 VS 命令式系统
声明式(declarative) vs 命令式(imperative)原创 2023-09-12 15:19:30 · 88 阅读 · 0 评论 -
System Under Test (SUT) and Testing Environment
Software engineering; Software testing原创 2023-08-18 16:38:02 · 149 阅读 · 0 评论 -
Threats to Validity
Threats to Validity原创 2023-06-25 16:25:13 · 219 阅读 · 0 评论 -
启发式算法 VS 元启发式算法
启发式算法; 元启发式算法原创 2023-06-19 11:33:00 · 519 阅读 · 0 评论 -
基于搜索的软件工程(SBSE)
基于搜索的软件工程(SBSE)原创 2023-06-19 11:15:46 · 1196 阅读 · 0 评论 -
Model Driven Architecture (MDA)
Model Driven Architecture (MDA); 软件工程原创 2023-06-18 16:56:26 · 169 阅读 · 0 评论 -
papers types
full paper、short paper、poster、oral:而CV界的会议一般分三级:oral,需要作者准备PPT上台进行presentation;poster,作者贴一张海报,如果有人感兴趣就会到该作者的墙报前面讨论;workshop,一般都是某些大牛觉得该领域有哪些方面是研究热点,就向会议chair申请开一个独立的研讨会,值得注意的是workshop是独立审稿的。总的来说,这些都算该会议的publication,只是由于接受率不同,所以论文档次也有所不同,一般说来,刚提到的三种文章转载 2020-05-09 11:27:55 · 253 阅读 · 0 评论 -
Model Checking(模型检测)
软件工程;model checking原创 2023-06-15 20:17:08 · 590 阅读 · 0 评论 -
How to Select a Modeling Formalism and Language
软件工程;modeling; modeling language原创 2023-06-15 19:31:59 · 42 阅读 · 0 评论 -
Correct-by-construction
Correct-by-construction;软件工程原创 2023-06-13 19:29:37 · 119 阅读 · 0 评论 -
Compositional Reasoning
Compositional reasoning;软件工程原创 2023-06-13 18:39:58 · 52 阅读 · 0 评论 -
Runtime Resilience
软件工程; Runtime Resilience原创 2023-05-24 16:19:51 · 847 阅读 · 0 评论 -
System Synthesis
软件工程; System Synthesis原创 2023-05-24 16:16:47 · 719 阅读 · 0 评论 -
Signal Temporal Logic (STL)
时序逻辑;STL原创 2023-05-23 15:25:35 · 1162 阅读 · 0 评论 -
Model-guided Falsification
Model-guided Falsification原创 2023-05-15 12:06:01 · 61 阅读 · 0 评论 -
Co-simulation
Co-simulation; Software engineering原创 2023-04-24 22:08:48 · 118 阅读 · 0 评论 -
Replay Mechanism in Software Engineering
Replay Mechanism;Software Engineering原创 2023-04-14 18:41:39 · 58 阅读 · 0 评论 -
Holistic View in software engineering
Software Engineering; Holistic View原创 2023-04-14 16:51:13 · 50 阅读 · 0 评论