首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   8篇
  国内免费   1篇
  完全免费   2篇
  自动化技术   11篇
  2017年   1篇
  2014年   1篇
  2011年   1篇
  2007年   1篇
  2004年   1篇
  2003年   1篇
  2002年   2篇
  1998年   1篇
  1997年   1篇
  1995年   1篇
排序方式: 共有11条查询结果,搜索用时 46 毫秒
1.
面向对象的软件需求分析   总被引:4,自引:0,他引:4  
本文首先给出了面向对象的软件需求分析与面向过程分析方法的区别,并从软件需求的角度简要地讨论了OORA所涉及的基本概念;依次评价了OORA的四种起源。分析了OORA的基本模型;比较了几种典型的OORA途径。最后指出了从传统方法转向OORA的几方面困难。  相似文献
2.
情形实例驱动的软件需求模型自动生成   总被引:4,自引:0,他引:4  
通过对使用情形的分析来进行需求获取和需求分析可以使软件需求分析的工作较为系统和有序。由于每一个情形实例都只从特定的使用者的角度,根据所需达到的特定使用目的,针对特定的使用条件,来描述一个复杂系统中的一个局部,与对整个复杂系统的需求进行分析和描述相比,在特定情形实例下对软件需求进行分析与描述较简单。然而,如何保证情形实例描述之间的一致性,如何从情形实例的描述获得整个软件系统的需求定义则是以情形实例分  相似文献
3.
软件的结构质量是软件理解、维护、重用和软件工业化生产的核心保证.它应满足高内聚和低耦合的质量特点.业界为此已提出较多结构质量标准和模式,但从领域需求模型概念的角度实现这些质量要求的理论和方法不多.本文提出概念职责驱动的需求分析方法,从逻辑概念的内涵出发,定义了识别概念职责的三种视角,并提供了根据这些质量模式基于软件二维结构的概念职责识别的方法.  相似文献
4.
本文讨论分层数据流图HDFD的自动生成,布局及其OOP实现技术。文中提出了规范化数据流图的概念及基于最佳布局路径和最小进层规则的布局算法。  相似文献
5.
The design and functional complexity of medical devices have increased during the past 50 years, evolving from the use of a metronome circuit for the initial cardiac pacemaker to functions that include electrocardiogram analysis, laser surgery, and intravenous delivery systems that adjust dosage based on patient feedback. As device functionality becomes more intricate, concerns arise regarding efficacy, safety, and reliability. It thus becomes imperative to adopt a standard or methodology to ensure that the possibility of any defect or malfunction in these devices is minimized. It is with these facts in view that regulatory bodies are interested in investigating mechanisms to certify safety-crictical medical devices. These organizations advocate the use of formal methods techniques to evaluate safety-critical medical systems. However, the use of formal methods is keenly debated, with most manufacturers claiming that they are arduous and time consuming.In this paper we describe our experience in analyzing the requirements documents for the computer-aided resuscitation algorithm (CARA) designed by the Resuscitative Unit of the Walter Reed Army Institute of Research (WRAIR). We present our observations from two different angles – that of a nonbeliever in formal methods and that of a practitioner of formal methods. For the former we catalog the effort required by a novice user of formal methods tools to carry out an analysis of the requirements documents. For the latter we address issues related to choice of designs, errors in discovered requirements, and the tool support available for analyzing requirements .  相似文献
6.
探讨了将过程质量管理用于软件需求分析的方法。该方法以软件需求分析过程细化为基础,用故障树分析各子过程失效的风险大小,监控需求分析过程的质量状态。对于高风险子过程改进其失效的监控和修正方法,实现软件组织开发能力的提高。在质量管理课程网络课件的需求分析过程中运用了这种方法保证软件质量,取得了良好的效果。  相似文献
7.
李新荣  张莉 《计算机工程与应用》2002,38(17):143-145,148
该文从需求工程的重要性出发,通过研究现有的需求分析方法和工具,发现其存在的问题,提出了一种面向过程的需求分析技术,并在此基础上设计一套软件需求自动生成工具POSRAG(Process-Oriented Software Requirements Automatic Generator),其主要特征是以可视化过程建模为基础,通过正确的引导和提示,帮助用户和设计人员获取完整的用户需求,完成软件需求分析,并自动生成需求文档。文章详细描述了该系统的设计方案和实现过程。  相似文献
8.
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A major goal of TAME is to allow a software developer to use PVS to specify and prove properties of an I/O automaton efficiently and without first becoming a PVS expert. To accomplish this goal, TAME provides a template that the user completes to specify an I/O automaton and a set of proof steps natural for humans to use for proving properties of automata. Each proof step is implemented by a PVS strategy and possibly some auxiliary theories that support that strategy. We have used the results of two recent formal methods studies as a basis for two case studies to evaluate TAME. In the first formal methods study, Romijn used I/O automata to specify and verify memory and remote procedure call components of a concurrent system. In the second formal methods study, Devillers et al. specified a tree identify protocol (TIP), part of the IEEE 1394 bus protocol, and provided hand proofs of TIP properties. Devillers also used PVS to specify TIP and to check proofs of TIP properties. In our first case study, the third author, a new TAME user with no previous PVS experience, used TAME to create PVS specifications of the I/O automata formulated by Romijn and Devillers et al. and to check their hand proofs. In our second case study, the TAME approach to verification was compared with an alternate approach by Devillers which uses PVS directly.  相似文献
9.
所谓“软件需求分析”,是把软件计划期间建立的软件的可行性进行分析求精并细化,分析各种可能分配给各个软件元素。需求分析是软件定义阶段的重要一步,是确定系统必须完成那些工作,是对目标系统提出完整、准确、清晰具体的要求。  相似文献
10.
在软件开发活动早期阶段评估软件的风险及其影响程度将有效减少软件开发成本和降低软件开发风险。针对目前软件风险评估的研究主要集中在软件过程的中后期阶段的现状及遵循"尽早识别和控制风险"的实践准则,提出了一种在软件需求分析阶段,利用UML建模图形度量软件风险的方法。该方法主要关注在软件需求分析阶段预防软件风险,为降低风险在软件开发后期产生严重影响提供优化参考。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号