Functionality Semantics of Predicate Data Flow Diagram

来源 :Journal of Shanghai University | 被引量 : 0次 | 上传用户：bian123

【摘要】

：

SOZL (structured methodology + object-oriented methodology + Z language) is a language that attempts to integrate structured method, object-oriented method and

【作者】

：

高晓雷缪淮扣刘玲

【机构】

：

SchoolofComputerEngineeringandScience

【出处】

：

Journal of Shanghai University

【发表日期】

：

2004年3期

【关键词】

：

分层谓词数据流图表判定算子有效度泛函语义学软件开发 predicate data flow diagram (PDFD) predicate oper

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

SOZL (structured methodology + object-oriented methodology + Z language) is a language that attempts to integrate structured method, object-oriented method and formal method. The core of this language is predicate data flow diagram (PDFD). In order to eli

其他文献

维生素A与癌症

维生素Ａ与癌症张斌维生素Ａ又称视黄醇，分Ａ１和Ａ２两种．主要作用是维持上皮组织（皮肤、角膜及结合膜）正常机能，参与视紫质合成，增强视网膜感光性能，也参与体内许多氧化过程。过去多用于维生素

期刊

维生素A维生素A动物实验化学致癌剂病例对照研究动物性食物胡萝卜素心血管疾病蔬菜和水果癌症

白云鄂博尾矿超导磁选-浮选回收稀土的试验研究

稀土是中国重要的战略资源和工业核心原料。随着国民经济的快速发展,市场对高品位稀土精矿的需求越来越大,高品位稀土变得尤为重要。目前稀土浮选生产面临的主要技术问题是稀

学位

选铁尾矿超导磁选浮选稀土

积累·迁移·整合——谈中考思想品德解题能力的培养

综观近几年各地的思想品德中考试题,从选择题到简答题,从分析说明题到实践探究题,题目所遴选的材料大多为公众所关注的时事热点,具有很强的时代特色。题目设计均要求学生运用

期刊

思想品德课解题能力时事热点深化收入分配制度改革迁移整合中考试题时代特色培养实践探究

基于nRF24E1和DS18B20的无线测温系统

针对目前温度采集系统对数据无线传输、多点采集的需求,提出了基于无线收发芯片nRF24E1的短距离无线多点温度测量系统。系统以射频收发芯片nRF2401为核心,采用数字式温度传感器DS18B20精确测温,实现了短距离无线传输和多点温度数据的采集,并将数据发送至上位机,实现了温度数据的存储、显示、查询等功能。实践结果表明:该系统能够应用在多种温度测量领域,单点测温误差在±0.5℃以内,室内发射距离约3

期刊

DS18B20NRF24E1无线通信数据采集DS18B20 nRF24E1 wireless transmission data acquisition

硅微型加速度传感器技术

介绍了硅微加速度计的基本原理以及国内外最新发展的几种硅微加速度计的结构形式，包括压阻式、电容式、隧道式等，分析了这些传感器的基夸特点，总结出它们在传感器性能方面存在的

期刊

加速度计压阻电容隧道效应共振隧穿介观压阻效应accelerometer piezoresistance capacitor tunneling-et

飞人折翅　鸟巢垂泪

[热点聚焦]　　2008年8月18日，中国选手刘翔在北京奥运会男子110米栏第一轮比赛中，因伤退出比赛!　　在2004年雅典奥运会上夺冠后，刘翔成为了中国的“国宝级”人物，不论到哪里，中国飞人总是受关注的焦点。然而，突如其来的伤病却摧毁了刘翔的奥运卫冕梦，也摧毁了国人的北京奥运田径金牌梦!　　在随后的新闻发布会上，中国田径队的总教练冯树勇和刘翔的教练孙海平道出了原因：刘翔右脚的跟腱末梢炎症是常年累

期刊