.png){kind=icon}
返回
A DEVELOPMENT ENVIRONMENT FOR AN OBJECT SPECIFICATION LANGUAGE
.png){kind=icon}
PRE
AI
DOI：10.1109/69.390254.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Techniques for the development of reliable information systems on the basis of their formal specification are the main concern in our project. Our work focuses on the specification language TROLL light which allows to describe the part of the world to be modeled as a community of concurrently existing and communicating objects. Our specification language comes along with an integrated, open development environment. The task of this environment is to give support for the creation of correct information systems. Two important ingredients of the environment to be described here in more detail are the animator and the proof support system.
Keyword:
INFORMATION SYSTEM DESIGN
SEMANTIC DATA MODEL
OBJECT SPECIFICATION
CERTIFICATION
VALIDATION
VERIFICATION
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
10.4
论文数:
6.8K
被引数:
3.2W
机构
暂无机构信息
引用论文
.png){kind=icon}
分享收藏
分享收藏
分享收藏 没有更多内容
没有更多内容