The Heterogeneous Tool Set (Hets)
The Heterogeneous Tool Set (Hets)
复制标题
异构工具集 (Hets)
DOI：
10.1007/978-3-540-71209-1_40
复制
发表时间：
2007
期刊：
影响因子：
3
通讯作者：
K. Lüttich
中科院分区：
文献类型：
--
作者：
Till Mossakowski;Christian Maeder;K. Lüttich
异构规范变得越来越重要，因为复杂的系统通常使用多个视点来指定，涉及多个形式主义（见图1）。此外，一个正式的软件开发过程可能会导致在开发过程中的形式主义的变化。
Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms (see Fig. 1). Moreover, a formal software development process may lead to a change of formalism during the development.
CoCasl 中的代数-代数规范
DOI：
10.1016/j.jlap.2005.09.006
发表时间：
2003
期刊：
J. Log. Algebraic Methods Program.
影响因子：
--
作者：
Till Mossakowski;Horst Reichel;Markus Roggenbach;Lutz Schröder
通讯作者：
Lutz Schröder
Casl 中语义网的本体
DOI：
10.1007/978-3-540-31959-7_7
发表时间：
2004
期刊：
影响因子：
--
作者：
Lüttich;Mossakowski;Krieg-Brückner
通讯作者：
Krieg-Brückner
机构 2-cells 和格洛腾迪克机构
DOI：
10.1007/11780274_7
发表时间：
2006
期刊：
影响因子：
--
作者：
Till Mossakowski
通讯作者：
Till Mossakowski