ISO standards; citation analysis; formal specification; ISO12207 software engineering standard; citation analysis; formal concept analysis; published academic papers;
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:迈向软件工程的成熟度:价值和运营的通用,形式和数学定义是计算的两个基本概念
机译:迈向软件工程的成熟度:价值和运营的通用,形式和数学定义是计算的两个基本概念
机译:使用形式概念分析的引文分析:软件工程案例研究
机译:使用引文影响力和社交网络分析来预测软件缺陷。
机译:理解软件工程研究中引文与研究质量之间的关系
机译:使用形式概念分析的引文分析:软件工程案例研究
机译:遗留系统的类型和概念分析。软件工程。