【摘 要】
：
<正>软件工程是应用计算机科学、数学及管理科学等原理,借鉴工程化原则与方法,解决软件向题的工程.软件开发过程可划分为若干个从概念直到实现的阶段。一个典型的阶段划分序
【机 构】
：
南京大学计算机科学系,南京大学计算机科学系南京210093博士生,南京210093教授博士生导师
论文部分内容阅读
<正>软件工程是应用计算机科学、数学及管理科学等原理,借鉴工程化原则与方法,解决软件向题的工程.软件开发过程可划分为若干个从概念直到实现的阶段。一个典型的阶段划分序列包括:问题定义、需求分析、(功能)规范、(层次)设计、详细设计、实现、测试、维护和退役等。各阶段的划分并非固定不变,且其间无一个严格界限。称为“规范”的这个领域可以被划分为更加细致的一个层次,包括从间题定义到层次(总体)设计这几个阶段。一般按规范所包的范围,将规范分为两种类型:一种是需求规范,粗略地对应于上述阶段划分中的问题定义和
其他文献
肩难产是指胎儿在胎头娩出后，前肩被嵌顿在耻骨联合上方，用常规的助产方法不能娩出胎儿，根据定义肩难产缺乏客观地指标。Spong等提出通过记录胎头娩出到整个胎儿娩出之间的时间
Based on Lukasiewicz's three-valued logic,this paper builds a tri-ary uncertain reasoningmodel,and discusses its some basic properties which shows that it i
<正>“协同”一词经常使人想当然,认为只要使用了计算机支持的协同工作(CSCW)系统就能毫无困难地从事协作性的工作。实际上,协同工作是一项复杂的社会活动,由于社会身份不同
目的探讨急性下肢深静脉血栓形成介入联合手术治疗方法。方法经股静脉切开治疗对40例急性下肢深静脉血栓形成。结果40例治疗成功，37例髂静脉狭窄，10例放置支架；随访40例，3～32个月
下肢深静脉血栓（DVT）是外科手术后常见的并发症之一，现将我院子宫切除术后并发DVT16例分析报道如下。
我国医疗体制改革的不断发展，人民健康知识的逐步普及，国家对医疗保障制度的改革，就医观念的变化，使得医疗市场的竞争激烈。面临着怎么测定质量的挑战，一个广泛接受的质量测定方法
<正>SAMBASE是武汉大学计算机科学系数据库组研制开发的一个运行在SUN工作站UNix环境下的集中式多用户的面向对象数据库系统,最近的方向集中于地理信息系统的结合,因而要求具
In this paper,we discuss two main techniques concerning spatial reasoning in the designfield:representation of spatial relation and method of spatial reasoning.
<正>一、引言冲突问题是一类复杂而又普遍的社会现象,对于冲突问题分析的理论与方法的研究,已引起社会、经济、军事、运筹等学科众多专家的重视。国内学者提出了关于结构化冲