论文部分内容阅读
该文主要进行分布式多视点需求工程形式化研究,目标是建立一个基于Z语言的分布式多视点需求工程形式化模型,为分布式多视频需求工程的应用提供坚实的理论基础.该文研究了分布式多视点需求工程通用框架模型.该文研究了分布式多视点需求工程模型中的形式描述技术.该文提出了一个基于Z语言的分布式多视点需求工程形式化模型.该文还简单讨论环境设计并进行应用举例.