TAPSOFT '95: Theory and Practice of Software Development
TAPSOFT '95: Theory and Practice of Software Development
复制标题
DOI：
10.1007/3-540-59293-8
复制
发表时间：
1995
期刊：
影响因子：
--
通讯作者：
Peter D. Mosses;M. Nielsen;M. I. Schwartzbach;Colloquium on Trees in Algebra
中科院分区：
文献类型：
--
作者：
Peter D. Mosses;M. Nielsen;M. I. Schwartzbach;Colloquium on Trees in Algebra
本卷介绍了1995年5月在丹麦奥胡斯举行的第六届软件工程理论与实践国际联合会议TAPSOFT'95的会议记录。TAPSOFT'95庆祝该系列会议10周年，该系列会议于1985年在柏林开始，将理论计算机科学家和软件工程师（研究人员和实践者）聚集在一起，讨论如何将形式化方法有效地应用于软件开发。
This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT'95, held in Aarhus, Denmark in May 1995. TAPSOFT'95 celebrates the 10th anniversary of this conference series started in Berlin in 1985 to bring together theoretical computer scientists and software engineers (researchers and practitioners) with a view to discussing how formal methods can usefully be applied in software development.