qingmuluoyang的博客

Atomic Propositions (AP) and MDP

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

Test environment development

声明式(declarative) vs 命令式(imperative)

Software engineering; Software testing

Threats to Validity

启发式算法; 元启发式算法

基于搜索的软件工程(SBSE)

Model Driven Architecture (MDA); 软件工程

full paper、short paper、poster、oral：而CV界的会议一般分三级：oral，需要作者准备PPT上台进行presentation；poster，作者贴一张海报，如果有人感兴趣就会到该作者的墙报前面讨论；workshop，一般都是某些大牛觉得该领域有哪些方面是研究热点，就向会议chair申请开一个独立的研讨会，值得注意的是workshop是独立审稿的。总的来说，这些都算该会议的publication，只是由于接受率不同，所以论文档次也有所不同，一般说来，刚提到的三种文章

软件工程；model checking

软件工程；modeling; modeling language

Correct-by-construction；软件工程

Compositional reasoning；软件工程

软件工程； Runtime Resilience

软件工程； System Synthesis

时序逻辑；STL

Model-guided Falsification

Co-simulation; Software engineering

Replay Mechanism；Software Engineering

Software Engineering; Holistic View