全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
软件学报  1994 

FORMAL SPECIFICATION OF DATA FLOW DIAGRAMS
数据流图的形式规范

Keywords: Data flow diagrams,formal specification,attributed diagraph,edge (flow)composition relation
数据流图,形式规范,属性图,边(流)组成关系

Full-Text   Cite this paper   Add to My Lib

Abstract:

he attributed diagraph is presented to specify the structure and properties of data flow diagrams (DFD), and a binary relation called the edge (flow) composition relation is proposed as the base on which the notion of balance between a DFD and its child DFD is formally defined. By using the above-mentioned approach, this paper provides a formal specification of DFD which is stronger than those found in the literature. Moreover, this approach applies to different sorts of DFD, including DeMarco DFD, DFD for real-time systems and so on.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133