Revisiting the Meaning of Requirements

来源 :计算机科学技术学报(英文版) | 被引量 : 0次 | 上传用户:zzbluebus
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Understanding the meaning of requirements can help elicit the real world requirements and refine their specifications. But what do the requirements of a desired software mean is not a well-explained question yet though there are many software development methods available. This paper suggests that the meaning of requirements could be depicted by the will-to-be environments of the desired software, and the optative interactions of the software with its environments as well as the causal relationships among these interactions. This paper also emphasizes the necessity of distinguishing the extal manifestation from the intal structure of each system component during the process of requirements decomposition and refinement. Several decomposition strategies have been given to support the continuous decomposition. The extal manifestation and the intal structure of the system component have been defined. The roles of the knowledge about the environments have been explicitly described. A simple but meaningful example embedded in the paper illustrates the main ideas as well as how to conduct the requirements decomposition and refinement by using these proposed strategies.
其他文献
李紫贤老师在《蜜蜂的行为》一书的第45~47页中,将蜜蜂的群体情绪根据能否为人类创造财富,分为积极情绪和消极情绪2类。积极情绪有繁殖情绪、采集情绪和高效情绪;消极情绪有分蜂
新手教师是指取得了幼儿教师资格证,在幼儿园任教3年以内,能够承担起幼儿园基本教学工作的老师。〔1〕从幼儿园教师职业发展阶段来看,新手教师入职前三年的适应状况,不仅影响其当下的工作态度及效率,而且决定其日后的专业发展方向。傅道春曾强调教师“起点”的重要性,他指出,许多事情的起始决定着结局。〔2〕由于新手教师从教时间短,缺少相应的教学经验,他们在入职初期面临众多挑战。幼儿园和社会应关注新手教师在入职初
期刊
酒,若用之得当,既能驱寒健身,又能加深友谊;若用之不当,好事也会变成坏事 有几家蜂场春繁时相距不远,闲时养成了相互喝酒的习惯。今天吴某请喝酒,明天王某处摆酒摊,后天又去张某处
期刊
期刊
第一部分:课前导入  视频导入:《青岛原副市长张锐因贪污公款等罪获刑20年》案例。提出问题,学生思考:张锐因貪污公款被判刑,给了我们什么启示?学生回答:侵吞国家、集体和他人合法财产是违法行为,要受到法律制裁;张锐贪污公款,公款不属于他的财产,不合法,不是所有财产都属个人所有。教师补充:君子爱财,取之有道,应采用正当的方式获得财产。非法方式获得的财产法律不但不保护,还要追究法律责任。这就是我们今天要
期刊
现将有关调脾、合并的知识介绍于后,仅供新蜂友参考 1 调脾方 1.1 带蜂调:多用于春繁匀群和流蜜时期,每群每次只限调入或调出1张带蜂的脾。多了,会搅乱“阵营”,引发“武斗
例1:女,7岁。主因右下腹痛1周就诊,查体:体温、心率均正常,腹软,右下腹有轻压痛,无反跳痛,在外院诊断为阑尾炎,先用3 MHz探头做腹部常规扫查,未发现肠梗阻等任何阳性超声表现
“割--豆--腐嘞,豆--腐皮儿--豆腐”,在大门口等候多时的我闻之,便像离弦的箭一样,直奔豆腐马的那辆脚踏三轮车。