Integrating Formal Methods in XP—A Conceptual Solution

来源 :软件工程与应用(英文) | 被引量 : 0次 | 上传用户:guigui198302
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Formal methods can be used at any stage of product development process to improve the software quality and efficiency using mathematical models for analysis and verification. From last decade, researchers and practitioners are trying to establish successf
其他文献
在初中阶段的班级教学和管理的过程中,师生之间的沟通会直接的影响到其质量,科学的初中班级教学管理必须要解决好师生沟通的问题,通过解决好师生沟通的问题,提升管理的质量,
视器及视觉传导路是解剖教学的重点和难点,常规标本困难是示其全貌,学员学习时不易建立其整体观和立体感。为此我们设计了该多功能标本。简介如下:1.设计目标:用一件标本,在显示视
This paper presents an approach for transforming an XML schema we enriched in ODL (Object Definition Language) schemas. It is possible to realize the concepts o
<正>最近,喜峰口长城工作站和喜峰口长城博物馆将征集的当年侵华日军石桥于昭和七至八年(1932- 1933年)写的《满洲出征日记》译成中文本。翻阅这名普通日本尖兵“出征”“满
会议
探究系统护理对乳腺癌围手术期患者癌因性疲乏以及生活质量的影响。按照随机数字表法将2009年4月-2015年5月入诊武威市人民医院治疗的200例乳腺癌围手术期患者分为AB两组各10
目的探讨机械通气辅助治疗在重症哮喘合并呼吸衰竭急诊抢救中的应用效果观察。方法选取2014年7月至2015年12月期间,我院收治的重症哮喘合并呼吸衰竭82例作为研究对象,按照护
目的:研究小蓟提取液对癌细胞生长的抑制作用。方法:细胞形态观察和活细胞计数法研究小蓟提取液对人白血病细胞K562、肝癌细胞HepG2、宫颈癌细胞Hela、胃癌细胞BGC823生长的抑
目的:评价血浆β—葡聚糖定量检测方法在系统性念珠菌感染中的诊断价值。方法:建立G试验方法定量检测血浆β—葡聚糖浓度。结果:在40只系统性念珠菌感染动物模型(经内脏组织
Complex multi-tier applications deployed in cloud computing environments can experience rapid changes in their workloads. To ensure market readiness of such app