Corpus ID: 59784298

Research on Automatic Program Generation

@inproceedings{Ramirez1974ResearchOA,
  title={Research on Automatic Program Generation},
  author={J. A. Ramirez and N. Adam Rin and Maxine D. Brown and Noah S. Prywes},
  year={1974}
}
Abstract : Automatic Program Generation Research has been conducted under the contract. The objective of the research has been to provide software generation directly from user specifications. This technical report contains a collection of three papers intended to summarize the results of past research and the direction of current research. The titles are the following: Automatic generation of data conversion programs using a data description language; An overview of a system for automatic… Expand
3 Citations
The economics of soft,vare quality assurance
TLDR
An analysis of the software life-cycle is performed to determine where in the cycle the application of quality assurance tech­ niques would be most beneficial, and a variety of approaches in increasing software quality are viewed. Expand
The economics of software quality assurance
TLDR
An analysis of the software life-cycle is performed to determine where in the cycle the application of quality assurance techniques would be most beneficial, and a variety of approaches in increasing software quality are reviewed. Expand
Automated aids fob reliable software
TLDR
Over twenty automated tools and techniques identified by this investigation are described and categorized, and an assessment of the state of the technology is made. Expand

References

SHOWING 1-6 OF 6 REFERENCES
“Automatic generation of data conversion programs using a data description language”
TLDR
The paper describes the application of automatic program generation methodology in generating file conversion programs in PL/1 capable of converting the source file and producing the target file. Expand
An approach to data description and conversion
TLDR
The aim is to understand data structures by developing a model which not only characterizes current data organizational techniques, but also provides a framework within which new data structures can be defined. Expand
Cbnquting Surveys
  • Cbnquting Surveys
  • 1973
Top r3mm Prugramnincj In Larye System Courant m u t e r Science Symposium I, July 19 70. Debugging Techniques I n Large Systems
  • Top r3mm Prugramnincj In Larye System Courant m u t e r Science Symposium I, July 19 70. Debugging Techniques I n Large Systems
  • 1971
A Methodology f o r the Design and CQtimizatim of Information Processing System
  • AFIPS Proc
A Non Procedural High Level Language For AutcaMted Design of r n l i c a t i o n Systars
  • A Non Procedural High Level Language For AutcaMted Design of r n l i c a t i o n Systars