A Simple Refinement Language for Casl
A Simple Refinement Language for Casl
复制标题
Casl 的简单细化语言
DOI：
10.1007/978-3-540-31959-7_10
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
A. Tarlecki
中科院分区：
文献类型：
--
作者：
T. Mossakowski;D. Sannella;A. Tarlecki
我们用简单的细化语言扩展了 Caslarchitectural 规范，允许将开发形式化为细化树。扩展的本质是允许细化 Caslararchitectural 规范中的单元规范。
We extendCaslarchitectural specifications with a simple refinement language that allows the formalization of developments as refinement trees. The essence of the extension is to allow refinements of unit specifications inCaslarchitectural specifications.
登录
查看更多内容
模块化数据库系统的形式描述
DOI：
--
发表时间：
1990
期刊：
VDM Europe
影响因子：
--
作者：
J. Fitzgerald;Cliff B. Jones
通讯作者：
Cliff B. Jones
CASL 架构规范的单元测试
DOI：
--
发表时间：
2002
期刊：
International Symposium on Mathematical Foundations of Computer Science
影响因子：
--
作者：
Patricia D. L. Machado;D. Sannella
通讯作者：
D. Sannella
DOI：
--
发表时间：
1999
期刊：
IFIP State-of-the-Art Reports
影响因子：
--
作者：
E. Astesiano;Hans;B. Krieg
通讯作者：
B. Krieg
DOI：
--
发表时间：
2002
期刊：
影响因子：
--
作者：
Kai Lin;J. Goguen
通讯作者：
J. Goguen
通过本地观测建设步骤进行全球发展
DOI：
--
发表时间：
2002
期刊：
International Symposium on Mathematical Foundations of Computer Science
影响因子：
--
作者：
M. Bidoit;D. Sannella;A. Tarlecki
通讯作者：
A. Tarlecki