Testable model specification via statechart schema

来源 :哈尔滨工业大学学报：英文版 | 被引量 : 0次 | 上传用户：jakynum1

【摘要】

：

XML is an important technology for Internet-based data exchange with far reaching capabilities be-yond for just data exchange. The paper describes the first res

【作者】

：

CAIGuo-yong GUTian-long CHIOUP

【机构】

：

Dept.ofComputer,SchoolofComputer＆InformationScience

【出处】

：

哈尔滨工业大学学报：英文版

【发表日期】

：

2003年3期

【关键词】

：

XML 数据交换因特网软件工程软件测试可试验模型状态图 XML statechart test specification

【基金项目】

：

广西科研项目

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

XML is an important technology for Internet-based data exchange with far reaching capabilities be-yond for just data exchange. The paper describes the first results of a project that aims to explore the applicabil-ity of XML technology for web-based softw

其他文献

大型工件的先进淬火工艺

<正> 目前,转子类工件通常按先水后油的顺序进行断续淬火。这种淬火方法可以强化冷却过程,以得到工件的综合使用性能,与单纯的油淬比较,这类大截面工件上不会出现淬火裂纹。

期刊

大型工件水-空气淬火工艺

校园阅读推广的“公地效应”及对策

【摘要】“公地效应”是指公众土地由于缺乏合理有效的管理，最终造成了宏觀环境的破坏。校园阅读推广也存在着“公地效应”，即公共书吧位置不适、公共书吧书目紊乱、公共书吧图书受损、公共书吧读书唯量四大现象。根据阅读推广的要素，“明晰阅读推广目的、合订阅读推广规划、闪亮阅读推广活动、追求阅读推广品质”能有效地解决校园阅读推广的“公地效应”，养成学生良好的阅读习惯，从而提升阅读素养。　　【关键词】阅读推广；

期刊

阅读推广公地效应对策

用LiNO_3和NaHCO_3的混合水溶液对各种铝合金进行化学处理

<正> 绪言铝合金重量轻且导热性好,因此广泛地理等各种化学处理的防蚀方法,但对于含Cl~-离子和Cu~(2+)离子的苛刻水溶液环境,这些防蚀处理仍不够理想。笔者们以前参考内山等

期刊

铝合金LiNO3NAHCO3化学处理

Rice mutation after flown in space

期刊

SPACEENVIRONMENTRICEMUTATIONBIOLOGICALeffectspace environment rice mutati

小学生校园德性养成教育策略刍议

【摘要】校园德性养成教育是指在学校中通过情境、活动、体态语、模范榜样、故事童谣等儿童喜闻乐见的内容促进其良好德性的养成。相关促进策略主要有：提高教育者的德性水平，从“知识论”向“德性论”转型；创设良好的校园德性文化环境；建立多样化的校园德性活动模式。　　【关键词】德性养成教育文化环境　　德性，道德品性，指人的自然至诚之性。心理学家皮亚杰认为：5～11岁儿童的道德认识是从他律道德向自律道德转化

期刊

德性养成教育文化环境

工信部提出明年九大任务TD已到最关键时刻

2009年工业和信息化工作总体要求：全面贯彻落实党的十七大、十七届二中、三中全会和中央经济工作会议精神，深入贯彻落实科学发展观，坚持走中国特色新型工业化道路。

期刊

工业化道路TD信息化工作科学发展观经济工作中国特色

乡村学校少年宫有效运行探索——以一所乡村学校少年宫建设为例

乡村学校少年宫在中央专项彩票公益金的支持下,已经在全国各地的乡村学校中建立。嵊州市甘霖镇中心小学结合本校少年宫实际,健全四项机制,做好四个凸显,使乡村学校少年宫真正

期刊

乡村学校少年宫四项机制四个凸显

儿科病历个人史的书写

儿科病历的书写在内容、写作方法，对所得病史材料的临床意义的判断等方面都与成人不同，其个人史更具特点。个人史包括：出生史、喂养史、生长发育史、预防接种史等。

期刊

儿科病病历书写临床意义病史喂养预防接种个人写作方法内容

品德教学应把握的“三对”关系

近十年来，笔者观摩了数百余节品德课。这些课或厚重扎实，或别具一格，或清新质朴，或独辟蹊径，令人耳目一新。但其中不乏课堂实效不高的情况存在，是什么原因导致品德教学低效？笔者认为，主要受教师根深蒂固的陈旧的教学观念所制约。教师对品德教学的“宽度”与“厚度”“简单”与“复杂”“快”与“慢”这三对关系的处理上出现了偏差。观念错了，方向偏了，即便再努力，效果定然不会理想。就目前而言，要提高品德教学实效，我们

期刊

品德教学别具一格课堂实效教学观念品德课教师观摩

预试验与课题论证刍议

医药卫生科研课题选定之后，其构思是否科学、合理，所提出的假设是否具有创造性及可操作性，专业设计、实验设计和研究路线是否严谨，这些认识上的产物是否完全正确，科研者最好做一些

期刊

预试验课题论证刍议创造性可操作性专业设计

Testable model specification via statechart schema

与本文相关的学术论文