多罗申科,A.Y。;O.A.Yatsenko。 并行软件设计自动化的形式化方法。 (英语) Zbl 1463.68016号 多波夫。国家。阿卡德。诺克乌克兰。,材料价格。泰克。恶心 2020年,第6期,15-20(2020). 摘要:提出了并行程序自动设计和综合的形式化方法和软件工具。所开发的设施使用基于算法代数的Glushkov系统的语言,用于算法的高级和自然语言表示,并应用重写规则技术来转换程序。这些工具还使用了语法正确的算法方案设计方法,消除了算法和程序构建过程中的语法错误。该方法以开发并行N体仿真程序为例,用于在图形处理单元上执行。 MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) 68甲19 其他编程范式(面向对象、顺序、并发、自动等) 2012年第68季度 语法和重写系统 68瓦01 算法理论的一般主题 70-10 粒子和系统力学问题的数学建模或模拟 70层10 \(n\)-身体问题 关键词:算法代数;自动化设计;形式化方法;图形处理;并行计算;项重写 软件:CUDA公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Y.Doroshenko}和\textit{O.A.Yatsenko},Dopov。国家。阿卡德。诺克乌克兰。,材料价格。泰克。Nauky 2020,第6期,第15--20期(2020;Zbl 1463.68016) 全文: 内政部