22 research outputs found
Linear multivariable control : numerical considerations
Bibliography: p. 31-32.Grant ERDA-E(49-18)-2087.by Alan J. Laub
Notes on Automating Stem and Leaf Displays
The stem-and-leaf display is a natural semi-graphic technique to include in statistical computing systems. This paper discusses the choices involved in implementing both automated and flexible versions of the display, develops an algorithm for the automated version, examines various implementation considerations, and presents a set of semi-portable FORTRAN subroutines for producing stem-and-leaf displays.
Conference on the Programming Environment for Development of Numerical Software
Systematic approaches to numerical software development and testing are presented
A Historical Perspective on Runtime Assertion Checking in Software Development
This report presents initial results in the area of software testing and analysis produced as part of the Software Engineering Impact Project. The report describes the historical development of runtime assertion checking, including a description of the origins of and significant features associated with assertion checking mechanisms, and initial findings about current industrial use. A future report will provide a more comprehensive assessment of development practice, for which we invite readers of this report to contribute information
A methodology for producing reliable software, volume 1
An investigation into the areas having an impact on producing reliable software including automated verification tools, software modeling, testing techniques, structured programming, and management techniques is presented. This final report contains the results of this investigation, analysis of each technique, and the definition of a methodology for producing reliable software
A methodology for producing reliable software, volume 2
For abstract, see Vol. 1
A Network Compatible Display Protocol
At present IIASA offers to its scientific community a set of basic, but limited computer graphics capabilities. Recent computer-program development in the graphics area has created greater demand and more awareness of the possibilities of computer graphics as a visualization tool in modeling. Some other application fields, like the use of graphics as a tool for program development, were still not touched at IIASA.
In response to this demand, IIASA decided to order additional graphics hardware (display terminals and graphics compatible printers) and to invest a certain amount of resources into the generation of appropriate software. It is not the aim of this paper to discuss the benefits of graphics, but rather to identify the general graphics software requirements for IIASA and to propose a possible way of meeting them