面向上下文编程(COP) 相关硕士博士期刊学术论文

控制软件往往是安全攸关系统的核心,其正确性对系统安全起着至关重要的作用。然而由于系统面对的环境因素越来越复杂,软件设计之初......