首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   29篇
  免费   0篇
无线电   1篇
冶金工业   3篇
自动化技术   25篇
  2009年   1篇
  2008年   1篇
  2007年   2篇
  2005年   2篇
  2004年   1篇
  1999年   1篇
  1998年   1篇
  1997年   1篇
  1996年   3篇
  1995年   4篇
  1992年   1篇
  1991年   1篇
  1990年   1篇
  1988年   1篇
  1984年   1篇
  1981年   1篇
  1980年   1篇
  1977年   2篇
  1974年   2篇
  1972年   1篇
排序方式: 共有29条查询结果,搜索用时 15 毫秒
1.
Software process improvement in small organizations: a case study   总被引:2,自引:0,他引:2  
The Capability Maturity Model for software has become a major force in software development process improvement. We looked at the role of process improvement in the context of a small organization. Although the Capability Maturity Model integration is replacing the CMM, we focused on the older CMM. We had to look at more than which CMM key process areas apply to small businesses. Our overall goal was to institute good software development practices, we used the language of the CMM to gain the management's cooperation. Applying these practices is essential to managing growth, yet undertaking this effort without prior experience could impede a small company's innovative nature. This case study's purpose was to investigate the success factors of a software process improvement effort for a small software development organization.  相似文献   
2.
A model for evaluating software designs based on extending the functional model of program verification with concepts from economic decision theory has been proposed. The authors describe the method, and discuss a prototype implementation of a tool, called Selector, which implements this technique. It is suggested that a system like Selector can be used in two ways: as a decision support system for management to be used in the process of making choices among various alternatives; and as a prototyping investigative system for proposing and answering a series of `what if' scenarios. The proposed model depends on a risk analysis, of each potential solution and aspects of decision theory to modify the evaluation strategy. The model depends on equilibrium probabilities for generating answers  相似文献   
3.
The empirical investigation of Perspective-Based Reading   总被引:6,自引:1,他引:5  
We consider reading techniques a fundamental means of achieving high quality software. Due to the lack of research in this area, we are experimenting with the application and comparison of various reading techniques. This paper deals with our experiences with a family of reading techniques known as Perspective-Based Reading (PBR), and its application to requirements documents. The goal of PBR is to provide operational scenarios where members of a review team read a document from a particular perspective, e.g., tester, developer, user. Our assumption is that the combination of different perspectives provides better coverage of the document, i.e., uncovers a wider range of defects, than the same number of readers using their usual technique.To test the effectiveness of PBR, we conducted a controlled experiment with professional software developers from the National Aeronautics and Space Administration/Goddard Space Flight Center (NASA/GSFC) Software Engineering Laboratory (SEL). The subjects read two types of documents, one generic in nature and the other from the NASA domain, using two reading techniques, a PBR technique and their usual technique. The results from these experiments, as well as the experimental design, are presented and analyzed. Teams applying PBR are shown to achieve significantly better coverage of documents than teams that do not apply PBR.We thoroughly discuss the threats to validity so that external replications can benefit from the lessons learned and improve the experimental design if the constraints are different from those posed by subjects borrowed from a development organization.  相似文献   
4.
An implementation technique called PIT, for pseudo instructional technique, is described which utilizes the macro capabilities of most macro assemblers. A low level machine architecture is described via a set of macros that include some ‘high level’ features. Since the macros manipulate computer words, and refer to actual registers, their implementation in a system is relatively efficient, but since they do not reflect any one particular hardware design, they can be implemented by almost any macro assembler. Tests are built into the macros so that a PIT program will run without change on any machine that has defined these macros This technique should provide an alternative to using higher level languages as implementation languages if the object code produced by those compilers is deemed too slow (or too large) for the application that is being programmed.  相似文献   
5.
The correlation between echocardiographically and angiographically calculated ejection fraction and systolic excursion of the mitral annulus was studied in 81 patients. Knowing that the mitral annulus changes its size, shape, and position during the cardiac cycle, the authors measured systolic excursion of the annulus by 2D echocardiography. Displacement of the mitral annulus was measured from four different points (medial, lateral, anterior, posterior) by apical four-chamber and apical two-chamber approaches. Patients with and without regional wall motion abnormalities were included. Left ventricular volumes and ejection fraction (EF) were calculated in the standard manner introduced by Teichholz et al and also with biplane left ventriculography. As a result, EF calculated by cineangiography, was moderately correlated with the Teichholz method (r = 0.66) while it was highly correlated with measurements of mitral annular motion (MAM) (r = 0.87). The correlation can be expressed by the regression equation, EF (angiography) = 5.7 MAM (in mm) -6.5. They conclude that measurements of annular motion is an easy and reliable index of left ventricular function as an alternative to traditional methods.  相似文献   
6.
7.
A PL/I system has been implemented which automatically collects and saves information on every program compiled and executed. This note describes some of the analysis that has been performed on approximately 9,000 of these collected programs.  相似文献   
8.
Zelkowitz  M.V. 《Computer》1990,23(11):30-39
A model whose verification conditions depend only on elementary symbolic execution of a trace table is presented. The method is applied to rather simple programs. However, even in large complex implementations, the techniques can be applied informally to determine the functionality of complex interactions. The technique is easy to learn (it is used in a freshman computer science course) and lends itself to automation  相似文献   
9.
We select candidates for process change on the basis of quantified Software Engineering Laboratory (SEL) experiences and clearly defined goals for the software. After we select the changes, we provide training and formulate experiment plans. We then apply the new process to one or more production projects and take detailed measurements. We assess process success by comparing these measures with the continually evolving baseline. Based upon the results of the analysis, we adopt, discard, or revise the process  相似文献   
10.
The authors examined mental health and marital quality in an index group of spouses of women with postpartum psychiatric disorders and a control group of men whose wives had recently given birth but had no such disorders. At 6 to 9 weeks postpartum, couples underwent a psychiatric interview and completed self-report measures of psychological symptoms, marital satisfaction, and changes in couple and family functioning since the birth. Index spouses reported more symptoms and had lower Global Assessment of Functioning (R. L. Spitzer, J. B. W. Williams, M. Gibbon, & M. B. First, 1990) scores than controls. Index men reported greater marital dissatisfaction and more change in household routines, recreation, and intimacy with their partners than controls. (PsycINFO Database Record (c) 2010 APA, all rights reserved)  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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