Software Engineering Automated Tools Index

TEXT 39

Guest on 23rd April 2023 05:09:17 AM

%T Software Engineering Automated Tools Index
%I |SRA|
%F SRA
%C San Francisco, CA
%D 1982
%A R. E. Griswold
%A J. F. Poage
%A I. P. Polonsky
%T The SNOBOL4 Programming Language
%o (second edition)
%I |PrHall|
%D 1971
%A R. Colt Hoare
%T A Tour through the Island of Elba
%C London
%D 1814
%O out of print
%\def\Refformat{\bookformat}
%A Dennie Van~Tassel
%T Program Style, Design, Efficiency
%I |PrHall|
%D 1978
%K testing debugging tassel
%A C. A. R. Hoare
%T Procedures and parameters: An axiomatic approach
%B Symposium on Semantics of Algorithmic Languages
%E E. Engeler
%P 102-116
%S |LNMath|
%V 188
%D 1971
%A Martin Brooks
%T Automatic Generation of Test Data for Recursive Programs Having
Simple Errors
%R PhD Thesis
%I Stanford |UNIV|
%D 1980
%A d'Arcy Thompson
%T On Growth and Form
%o (abridged edition, J.T. Bonner, ed.)
%I Cambridge |UNIV| Press
%D 1961
%E Heinz-Otto Peitgen
%E Hans-Otto Walther
%T Functional Differential Equations and Approximation of Fixed Points
%D 1979
%S |LNMath|
%V 730
%A Donald E. Knuth
%T The \TeX book
%I |Addison|
%K tex
%D 1984
%A Tammo tom~Dieck
%T Bordism of $G$-manifolds and integrality theorems
%J |TOPOL|
%P 345-358
%V 9
%D 1970
%K dieck
%A Georges deRham
%F deR
%T Sur l'analysis situs de variet\'es a $n$ dimensions
%J |JMATP7|
%V 10
%D 1931
%P 115-200
%A Ol{\'u}wol{\'e} {\`O}d{\'u}nd{\'u}n
%T Operators for the two-dimensional harmonic oscillator in an angular
momentum space
%J |JMATP4|
%V 24
%D 1983
%P 2340-2344
%A V. I. Arnol'd
%T Singularities of smooth mappings
%J |USPMN1|
%V 23
%P 3-44
%D 1968
%K arnold
%j |RUSMS|
%v 23
%d 1968
%p 1-43
%A V. I. Arnol'd
%T Geometrical Methods in the Theory of Ordinary Differential Equations
%S Grund\-leh\-ren der mathematischen Wi\ss enshaften
%V 250
%I |Springer|
%D 1983
%K arnold
%O (Russian original, Moscow, 1977)
%A R. H. Rapp
%T The development of the January 1983\/ $1^\circ\times1^\circ$ mean free-air
anamoly data tape
%I |DEPT| of Geod. Sci. and Surv., Ohio State |UNIV|
%C Columbus, OH
%D 1983
%R internal report
%A F. J. Lerch
%A S. M. Klosko
%T Gravity model improvement using laser data
%J First Crustal Dynamics Working Group Meeting
%C Goddard Space Flight Center
%D |SEP|, 1981
%A F. J. Lerch
%A S. M. Klosko
%A G. B. Patel
%T A refined gravity model from LAGEOS\/ \egroup(GEM-L2)\bgroup
%I |NASA|
%R Tech. Memo. TM 84986
%D |FEB|, 1983
%A Ronald Reagan
%O personal communication
%D 1986
%A F. J. Lerch
%A R. E. Laubscher
%A S. M. Klosko
%A D. E. Smith
%A R. Kolenkiewicz
%A B. H. Putney
%A J. G. Marsh
%A J. E. Brownd
%T Determination of the geocentric gravitational constant from laser
ranging on near-earth satellites
%J Geophys. Res. Lett.
%V 5
%N 12
%P 1031-1034
%D 1978
%A F. R. Gantmacher
%A M. G. Krein
%I State Press for Technical Literature
%C Moscow-Leningrad
%T Oscillation Matrices and Kernels and Small Vibrations of Mechanical Systems
%o (Russian)
%D 1950
%t Oszillationmatrizen, Oszillationskerne und Kleine Schwingungen
Mechanischer Systeme
%a Alfred St{\"o}hr
%i Akademie-Verlag
%c Berlin
%d 1960
%O German translation

Raw Paste

%T Software Engineering Automated Tools Index
%I |SRA|
%F SRA
%C San Francisco, CA
%D 1982

%A R. E. Griswold
%A J. F. Poage
%A I. P. Polonsky
%T The SNOBOL4 Programming Language
%o (second edition)
%I |PrHall|
%D 1971

%A R. Colt Hoare
%T A Tour through the Island of Elba
%C London
%D 1814
%O out of print
%\def\Refformat{\bookformat}

%A Dennie Van~Tassel
%T Program Style, Design, Efficiency
%I |PrHall|
%D 1978
%K testing debugging tassel

%A C. A. R. Hoare
%T Procedures and parameters: An axiomatic approach
%B Symposium on Semantics of Algorithmic Languages
%E E. Engeler
%P 102-116
%S |LNMath|
%V 188
%D 1971

%A Martin Brooks
%T Automatic Generation of Test Data for Recursive Programs Having
Simple Errors
%R PhD Thesis
%I Stanford |UNIV|
%D 1980

%A d'Arcy Thompson
%T On Growth and Form
%o (abridged edition, J.T. Bonner, ed.)
%I Cambridge |UNIV| Press
%D 1961

%E Heinz-Otto Peitgen
%E Hans-Otto Walther
%T Functional Differential Equations and Approximation of Fixed Points
%D 1979
%S |LNMath|
%V 730

%A Donald E. Knuth
%T The \TeX book
%I |Addison|
%K tex
%D 1984

%A Tammo tom~Dieck
%T Bordism of $G$-manifolds and integrality theorems
%J |TOPOL|
%P 345-358
%V 9
%D 1970
%K dieck

%A Georges deRham
%F deR
%T Sur l'analysis situs de variet\'es a $n$ dimensions
%J |JMATP7|
%V 10
%D 1931
%P 115-200

%A Ol{\'u}wol{\'e} {\`O}d{\'u}nd{\'u}n
%T Operators for the two-dimensional harmonic oscillator in an angular
momentum space
%J |JMATP4|
%V 24
%D 1983
%P 2340-2344

%A V. I. Arnol'd
%T Singularities of smooth mappings
%J |USPMN1|
%V 23
%P 3-44
%D 1968
%K arnold
%j |RUSMS|
%v 23
%d 1968
%p 1-43

%A V. I. Arnol'd
%T Geometrical Methods in the Theory of Ordinary Differential Equations
%S Grund\-leh\-ren der mathematischen Wi\ss enshaften
%V 250
%I |Springer|
%D 1983
%K arnold
%O (Russian original, Moscow, 1977)

%A R. H. Rapp
%T The development of the January 1983\/ $1^\circ\times1^\circ$ mean free-air
anamoly data tape
%I |DEPT| of Geod. Sci. and Surv., Ohio State |UNIV|
%C Columbus, OH
%D 1983
%R internal report

%A F. J. Lerch
%A S. M. Klosko
%T Gravity model improvement using laser data
%J First Crustal Dynamics Working Group Meeting
%C Goddard Space Flight Center
%D |SEP|, 1981

%A F. J. Lerch
%A S. M. Klosko
%A G. B. Patel
%T A refined gravity model from LAGEOS\/ \egroup(GEM-L2)\bgroup
%I |NASA|
%R Tech. Memo. TM 84986
%D |FEB|, 1983

%A Ronald Reagan
%O personal communication
%D 1986

%A F. J. Lerch
%A R. E. Laubscher
%A S. M. Klosko
%A D. E. Smith
%A R. Kolenkiewicz
%A B. H. Putney
%A J. G. Marsh
%A J. E. Brownd
%T Determination of the geocentric gravitational constant from laser
ranging on near-earth satellites
%J Geophys. Res. Lett.
%V 5
%N 12
%P 1031-1034
%D 1978

%A F. R. Gantmacher
%A M. G. Krein
%I State Press for Technical Literature
%C Moscow-Leningrad
%T Oscillation Matrices and Kernels and Small Vibrations of Mechanical Systems
%o (Russian)
%D 1950
%t Oszillationmatrizen, Oszillationskerne und Kleine Schwingungen
Mechanischer Systeme
%a Alfred St{\"o}hr
%i Akademie-Verlag
%c Berlin
%d 1960
%O German translation