A bibliography containing approximately 100 citations on software development environments is given. The bibliography comes from a relatively random sampling of the literature and is not complete

Riddle, W. E.

English

NASA Technical Reports Server

  
 
 
N O T I C E 
 
THIS DOCUMENT HAS BEEN REPRODUCED FROM 
MICROFICHE. ALTHOUGH IT IS RECOGNIZED THAT 
CERTAIN PORTIONS ARE ILLEGIBLE, IT IS BEING RELEASED 
IN THE INTEREST OF MAKING AVAILABLE AS MUCH 
INFORMATION AS POSSIBLE 
https://ntrs.nasa.gov/search.jsp?R=19800021567 2020-03-21T17:30:54+00:00Z
UNIVERSITY OF COLORADO 
DEPARTMENT OF COMPUTER SCIENCE 
Technical Report 
SOFTWARE DEVELOPMENT ENVIRONMENTS: 
A BIBLIOGRAPHY 
W i l l i a m  E. R idd le  
Department o f  Computer Science 
U n i v e r s i t y  o f  Colorado a t  Bculder 
Boulder, Colorado 80309 
CU-CS- i84-80 June, 1980 
This  work was supported, i n  pa r t ,  by g r a n t  NSG 1638 
from NASA Langley Research Center. 
SOFTWARE DEVELOPMENT ENVIRONMENTS : 
A BIBLIOGRAPHY 
Wi l l ia rn  E. R idd le  
Department o f  Computer Science 
U n i v e r s i t y  o f  Colorado a t  Boulder 
Boulder, Colorado 80309 
June 1980 
Abs t rac t :  We g i v e  a b i b l i og raphy  on sof tware development 
environments. The b i b l i og raphy  comes from a r e l a t i v e l y  
random sampling o f  t he  1 i t e r a t u r e  and i s  no t  complete. 
--- 
Th is  work was supported, i n  p a r t ,  by g ran t  NSG 1638 from 
NASA Langl ey Research Center. 
The c i t e d  a r t i c l e s  i n  t he  fo l l ow ing  l i s t  concern software 
development environments, t h a t  i s ,  co l l ec t i ons  o f  t o o l s  which pro- 
vi ir some f a c i l i t a t i n g  context i n  which development p r a c t i t i o n e r s  
m y  ca r ry  ou t  t h e i r  work. The emphasis here i s  upon coZZectiors 
ra the r  than i nd i v idua l  t o o l s  - the l a t t e r  i s  t he  subject  o f  a com- 
panion bibl iography, RSSM/103. 
This b ib l iography i s  no t  complete. I t  c i t e s  l i t e r a t u r e  which 
the  author has uncovered i n  a r e l a t i v e l y  cursory sampl ing. It was 
augmented somewhat by using the b ib l iographies prepared as p a r t  of 
term pro jec ts  by students i n  the  author 's  graduate-level software 
engineering course. 
C.N. Alberga, A.L. Brown, G.B. Leeman, M.M. Keisons, and M.N. Wegman. 
A program development t oo l .  RC 7859, IBM T. J. Watson Research Center, 
Yorktown Heights, New York, (September 1979). 
J. Archer and R. Conway. A program development systeni f o r  a subset of 
Ada. Dept. o f  Computer Sci . , Cornel 1 Univ. , Ithaca, New York. 
M. P. A t k i  nson and M. J . Jordan. An e f fec t '  ve program development envi ron- 
ment f o r  BCPL on a small computer. Sofhare:  Practice and Experience, 
8, (May-June 1978), 265-275. 
F.T. Baker. Chief programer team management o f  product ion programming. 
IBM Systems J . ,  11, 1 (1972), 56-73. 
F.T. Baker and H.D. M i l  1s. Chief programers teams. Datamation, 
(December 1973), 58-61. 
J.W. Baker, D. Chester and R.T. Yeh. Software development by step-wise 
evaluat ion and refinement . SDBEG-2, Software and Data Base Engineering 
Group, Dept. o f  Computer Sci., Univ. o f  Texas. Austin, Texas, 
(January 1978). 
T.E. Be l l ,  D.C. B i x l e r  and M.E. Dyer. An extendable approach t o  computer- 
aided software requirements engineering. IEEE Trans. on ,Softudrz 
Engineering, SE-3, 1 (January 1977), 49-60. 
M. Bianchi and J. Mood. A user 's  viewpoint o f  the programer 's  workbench. 
Proc. Second In te rna t i ona l  Conf. on Software Engineering, San Francisco, 
Ca l i fo rn ia ,  (October 1976), pp. 193-199. 
T.J. B iggers ta f f .  The u n i f i e d  design spec i f i ca t i on  system (UDSZ). 
Boeing Computer Services, Seatt le,  Washington , (October 1978). 
S.R. Bourne. Unix time-sharing system: The Unix she l l .  Be22 Sgstems 
Tech. J., 57, 6 (1978). 
H. Bratman. The software fac tory .  Computer, 8, 5 (1975), 28-37. 
J.R. Brown. Improving q u a l i t y  and reducing cos t  o f  aeronaut ical  
System software through the  use o f  too ls .  Pmc. A i r  Force 
AezwnautimZ Systans S o t w e  Workshop, (Apr i  1 1974) . 
I.M. Campos and 6. Es t r in .  Spec ia l i za t ion  o f  SARA f o r  software 
synthesis. Proc. Symp. on D e s i g n  AutGHMtbn mtd Microprocessors, 
Palo A1 to, Ca l i fo rn ia ,  (February 1977). 
I.M. Campos and G. Es t r in .  SARA-aided design o f  software f o r  concurrent 
systems. Proc. AFIPS #~tio?laZ Computer Conf., Anaheim, Cal i fo rn ia  , 
(June 1978), pp. 325-336. 
T. E. Cheatham. Program development systems. Center f o r  Research i n  
Computing Technology, Harvard Univ. , Cambridge, Massachusetts, 
(January 1979). 
T.E. Cheatham, J.A. Townley and G.H. Holloway. A system f o r  program 
refinement . Proc . Fourth Internutiom2 Conf. on Sof e r w e  Engirreerizg, 
Munich, Germany, (September 1979). 
L.M. Cul pepper. A system f o r  re1 i a b l  e engi neering software. IEEE ~Pczns. 
on Softuare Engineering, SE-I, 2 (June 1975), 174-178. 
C.G. Davis and C.R. Vick. The software development system. I E E  Trans. 
on Software EngineeAng, SE-3, i (January 1977), 69-84. 
T.A. Dolot ta and J.R. Mashey. An in t roduc t ion  t o  the programer 's  
workbench . Troc. Second InternutionuZ Conf. on Softuare Engineering, 
San Francisco, Ca l i fo rn ia ,  (October 1976), pp. 164-168. 
T.A. Dolotta, R.C. Haight and J.R. Mashey. Unix t ime-sharing system: 
The prograrmer' s workbench. Be22 Systems Tech. J . ,  57, 6 (1978). 
D.C. Engelbart and W .K. English. A research center f o r  augmenting human 
i n t e l  1 ect. Proc. AFIPS Fa22 Joint Computer Conf., 33, (1968). 
G. E s t r i n  and I .M. Campos. Concurrent software system design, supported 
by SARA a t  the age o f  one. Proc. Third International Conf. on 
Software ~ngineering,  At1 anta, Georgia, (May 1978), pp. 230-242. 
G. Es t r i n .  A methodology for  design o f  d i g i t a l  systems - Supported by 
SARA a t  the age o f  cne. Proc. 1978 National Computer Conf., 
Anaheim, Cal if. , (June 1978), pp. 313-324. 
G. Es t r in .  Appl i c a t i o n  o f  machine descr ipt ions t o  design o f  concurrent 
systems. I n  Moneta, J. (ed. ), Information TechnoZogy, JCIT3/North- 
Holland Pub. Co., (1978). 
P.H. Fei l e r  and R. Medina-Mora. An incremental programing environment. 
Dept. o f  Computer Sci . , Carnegie-Mellon Univ., Pi t tsburgh, 
Pennsylvania, (Apr i  1 1980). 
D.A. Fisher and T.A. Standish. I n i t i a l  thoughts on the Pebbleman 
process. I ns t .  f o r  Defense Analysis, A r l  ington, V i rg in ia ,  (January 1979). 
E.C. Foudriat,  E.H. Senn, R.W. W i l l  and T.A. Straeter .  A progress repo r t  
on a NASA research program f o r  embedded computer systems software. 
Proc. A I A A  Conf., Los Angeles, Cal i forn ia,  (October 1979). 
C.F. G i l l  and M.T. Holden. On the evo lu t ion  o f  an adaptive support 
software system. Proc. AIAA Conf.. , Los Angel es , Cal i f o r n i a  , (1977). 
0. I. Good. Constructing ver i f ied and r e l i a b l e  coranunications systems. 
Sof-e LZtgineering Illotes, 2, 5 (October 1977), 8-13. 
R.M. Graham, G. J. Clancy and D.B. DeVaney. A software design and 
evaluation system. Comn. AcW, 16, 2 (February 1973), 110-116. 
0. Hal 1, 0. Scherrer and J. Sventek. A portable program development 
environment. Lawrence Berkeley Lab., Berkeley, Cal i f o rn ia ,  
(September 1979). 
A.N. Habermann. A software development control  system. Tech. Report, 
Dept. o f  Computer Sci . , Carnegie-Me1 lon  Univ, , Pittsburgh, Pennsylvania, 
(1979). 
A.N. Habermann. An overview o f  the Gandalf project .  I n  Computer 
Science Research Review 1978-79, Computer Sci . Dept. , Carnegie-Me1 Ion 
Univ., Pittsburgh, Pennsylvania, (1980). 
I. Hardy, B. Leong-Hong and D.W. F i fe .  Software tools: A bui ld ing block 
approach. C13.10: 500-14, Ins t .  f o r  Computer Sc i .  and Tech., Natn. 
Bureau o f  Standards, Washington, D.C., (August 1977). 
P.G. Hebal kar and S. N. Z i l l es .  Graphical representation and analy~!5 
of information system design. RJ2465, IBM Research Lab., San Jose, 
Cal i f o rn ia ,  (~anuary  1979). 
P.G. Hebal kar and S. N. Z i  l l e s .  TELL-A system f o r  graphical ly representing 
software designs. Pmc. Compcon Cmf . ,  San Francisco, (1979). 
P. Henderson and R.A. Snowdon. A too l  f o r  structured program development. 
Proc. IF12 Congress ' 7 4 ,  Stockholm, Sweden, (August 1974), pp. 204-207. 
P. Henderson, R.A. Snowdon, J.D. Gorrie and I .I. King. The TOP3 System. 
Tech. Report 77, Computing Laboratory, Univ. of Newcastle upon Tyne, 
England, (September 1975). 
C. Hewitt and B. Smith. Towards a programning apprentice. IEEE Trans. 
on Software Engineering, SE-1, 1 (March 1975), 26-45. 
M.T. Holden. The 0-1 support software system for development and 
maintenance o f  operational f 1  i gh t  software. P x a .  N A E m  76, 
(1976), 250-262. 
M. Hollowich and F. Borasz. The software design and ve r i f i ca t i on  system 
(SDVS): An integrated set o f  software development 3nd management 
tools.  TRW, Redondo Beach, Cal i fornia.  
G. Huet , G. Kahn and P. Maurice. Environment de programnation Pascal . 
Tech. Report, I R I A ,  Rocquencourt , France, (November 1977). 
H. Hunke. Softvare Engineering Environments. North-Hol land Pub. CO., 
Amsterdam, The Netherlands, (1980). 
C.A. I r v i ne  and J .W. Brgckett. Automated software engineering through 
structured management. IEEE Trans. o?z Software Engineering, USE-3, 
I (January 1977). 
C.A. I r v i ne  and J.W. Brackett. A system f o r  software engineering. I n  
Structurm? Analysis and Design, Infotech, Maidenhead, England, 
(October 1978). (Avai lable as: TP079, Softech, Wal tham, Massachusetts. ) 
E.L. Iv ie .  The programer's workbench: A machine f o r  software developmect. 
Cam. ACW, 20, 10 (October 1977). 746-753. 
8. Kemighan and J.R. Hashey. The UNIX programing enviroruaent. Sofmme: 
Avzctice mrd Ekparisnce, 9, (1979), 1-15. 
S.S. La&, V.G. Leck, L. J. Peters and G.L. h i  th. SAM: A model1 ing too l  
f o r  requirements and design specif icat ion. m e .  Compsrrc 78, Chicago, 
I l l i n o i s ,  (November 1978), pp. 48-53. 
M.M. Lehman. The software engineering environment. WL-245, Inper ia l  
College, London, England, (July 1979). 
M.S. Moriconi. A system f o r  incrementally desianing and ver i fy ing 
programs. ICSCA-CMP-9, Ce r t i f i ab l e  Minicomputer Project, Inst .  f o r  
Computing Sci . and Computer Appl icat ions , Uni v . o f  Texas, Austin , 
(December 1977) . 
M.S. Moriconi. A des igner lver i f ie r 's  assistant. IEEE ,Tram. on Sof9x.re 
Gngineering, SE-5, 4 (1979), 387-401. 
D.S. Notkin and A.N. Habennann. Software development environment issues 
as re lated t o  Ada. Computer Sci. Dept., Carnegie-Me1 lon Univ., 
PI ttsburgh, Pennsylvania, (1979). 
L.J. Ostemeil .  A software l i f e c y c l e  methodology and too l  support. I n  
Riddle and Fair ley (eds.), Softawe DeveZopnent TOOLS, Springer Verlag, 
Heidel berg, Germany, (1980). 
0.3. Pearson. CADES - Computer aided design and evaluation system. 
Computer Weekly, (JulyIAugust 1973). 
D.J. Pearson. A study i n  the pragmatics o f  operating system development. 
Pmc. 1978 In t e rn t iom2  Synp. on Operating System Techniques, Paris, 
France, (1978). 
G. D. Pratten and R. A. Snowdon. CADES: Computer-aided development and 
evaluation system. Tech. Report, International Computers Ltd., Stoke 
on T r e ~ t ,  England, (1978). . 
C. Rich and H.E. Shrobe. I n i t i a l  report  on a l i s p  programer's apprentice. 
AI-TP-354, A r t i f i c i a l  In te l l igence Lab., Massachusetts Ins t .  o f  Tech., 
Cambridge, Massachusetts, (December 1976). 
C. Rich and H.E. Shrobe. I n i t i a l  report  on a Lisp programer's apprentice. 
IEEE Trans. on Software Engineering, SE-4, 6 (November 1978). 
W.E. Riddle. Computer augmented design o f  complex software systems. 
Proc. Fourth Tmas Conf. on Computing Systems, Austin , Texas, 
(November 1975), pp. 3Al2.1-3A/2.12. EE. 
W.E. Riddle, J.H. Sayler, A.R. Segal, and J.C. Wileden. An introduct ion 
t o  the DREAM software design system. Softuare Engineering Iiotes, 2, 
4 (July 1977), 11-23. EE. 
W.E. Riddle, J.H. Sayler, A.R. Segal , A.M. Stavely, and J.C. Wileden. 
D R E A M - A  software design a id  system. I n  Moneta, J., (ed.), 
Information TechlwZogy, JCIT-3/North-Hol land Pub. Co. , (August 1978). 
W. E. Riddle. Software development environments: Present and future. 
Boo. IntemL'ionaZ Computer Technology Conf., San Francisco, Cal i forn ia  , 
(August 1980). 
W.E. Riddle. Software developsent environments. m e .  Cmpac 80, 
Chicago, I1 l ino is ,  (October 1980). 
W.E. Riddle. An assessment of !REAM. I n  Hunke (d.), S o f e e  L"ztgir~~~-~ry 
Wmmmts, North-Holland Pub. Co. , Amsterdam, The Netherlands, 1980. 
D.U. Ri tch ie  and K. Thompson. The UNIX time-sharing system. c m .  dm, 
17, 7 (July 1974), 377-383. 
D.H. Ritchie. Unix time-sharing system: A retrospective. BeZZ Sgstms 
Tech. J., 57, 6 (1978). 
3. Roder. Phoenix architecture. GTE Syl vania, Needham Heights, 
Massachusetts. 
A. F. Rosene. Phoenix sof Ware development system overview. GTE Syl vani a, 
Needham Heights, Massachusetts. 
E. Shapiro, G. Col l ins, L. Johnson and J. Ruttenberg. Pases: A programing 
environment f o r  Pascal. Computer Sci. Dept., Yale Univ., New Haven, 
Connecticut, (Apri 1 1980). 
B.A. Silverberg, L. Robinson and K.N. Lev i t t .  The HDM handbook: Voluae I 1  : 
The languages and too ls  o f  HDM. S R I  Internationa',  Menlo Park, Cal i fornia,  
(June 1979). 
C.R. Snow. The software too ls  project.  Software: Practi-ce and Eccperiexce, 
8, (1978), 585-599. 
R.A. Snowdon. PEARL: A system f o r  the preparation and val idat ion o f  
structured programs. I n  Hetzel (ed. ) , FYogram Test Methods, Prentice 
Hall ,  Englewood C l i f f s ,  New Jersey, (1973). 
R. Snowdon. In teract ive  use o f  a computer i n  the preparation o f  structured 
programs. Thesis, Univ. o f  Newcastle upon Tyne, England, (1974). 
R.A. Snowdon and P. Henderson. The TOPD system for computer-aided system 
development. I n  Structured Analysis and Design, Infotech Internat  i t n a l  
Ltd. Maidenhead, England, (1978). 
R.A. Snowdon. An experience-based assessment o f  development systems. 
I n  Riddle and Fa i r ley  (eds.), software Development Fools, Springer 
Verl ag , Heidel berg, Germany, (1980). 
T.A. Standish. Proc. Iruine Workshop on AZternutives for the Envirom~c~ni, 
Certification, and Control of the DoD Common H i  h Order Lunguage. Ur i v .  
o f  Cal i fo rn ia  a t  I rv ine,  Cal i fornia,  (June 1978 3 . 
A.M. Stavely. Record o f  a TOPD design session. RSSM/54, Dept. o f  Compgter 
and Comm. Sci., Univ. o f  Michigan, Ann Arbor, Michigan, (Ju!y 1977). 
T.A. Straeter, E.C. Foudriat and R.W. W i l l .  Research f l i g h t  software 
engineering and MUST, an integrated system o f  support tools.  Proc. 
Compsac 77,  Chicago, I 1  1 i n o i  s, (November 1977). 
R.N. Taylor, R.L. Mer i la t t  and L.J. Osterweil. Integrated test ing and 
ve r i f i ca t i on  systems f o r  research f l i g h t  software - Design document. 
Boeing Computer Services Co., Seattle, Washington, (Apr i l  1979). 
T. Teichroew and H. Sayani. Automation o f  system bui ld ing.  Datamation, 
(August 1971). 
0. Teichroar and €.A. Hershey. PSVPSA: A computer-aided technique f o r  
structured doamentation and analysis o f  i n f o r ra t i on  processing systems. 
IBBB Tram. on Softamre Grsgineering, SE-3, 1 (January 1977), 41-48. 
R.T. Te i te l  barn. The Cornel 1 prograa synthesizer: A n icrocmputer 
i-1-tation o f  PL/CS. Tech. Report, Dept. o f  Computer Sci . , 
Cornell Univ., Ithaca, New York, (1979). 
R.T. Teitelbausll and T. Reps. The Cornell program synthesizer: A syntax- 
d i rected programing environment. Dept. o f  Computer Sci . , Cornel 1 
Univ., Ithaca, New York. 
1. Tei telman. Toward a programing l aboratorv. Pmc. F i r s t  Inte-matiowZ 
Joint  Conf. on b t i f 7 X a Z  In+RZZigence, Washington, D.C., (Mzy 1969). 
W. Tei telman. Automated programing: The programer's assistant. Boc .  
Fa22 Joint  Cmputer  Conf., (1972). 
J.A. Townley. The Harvard program manipulation system. TR-23-76, 
Center f o r  Research i n  Computing Technology, Harvard Univ . , Cambridge, 
kssachusetts, (1976:. 
B.C. Uarboys, G.D. Pratten and R.A. Smmdon. Software development, 
methodology and support. Internat ional  Computers Ltd., Stoke-on-Trent, 
England, (1977). 
A. I. Wasserman. On1 ine  programing systems and languages: A h i s to ry  and 
appraisal. Tech. Report X6, Lab. o f  Medical Info.  Sci., Univ. o f  
Cal i f o rn ia ,  San Francisco, Cal i f o r n i a  , (1974). 
A. I. Wasserman. USE: A methodology f o r  the design and development of 
i n te rac t i ve  information systems. I n  Schneider (ed. ) , Formal Models 
and Practica l Tools for Inf2mnatwn Systems Design, North-Hol 1 and 
Publishing Co., Amsterdam, The Netherlands, (1979), pp. 31-50. 
A. I. Wasserman. Information system development methodology. J .  Am. 
Soc. for Info. Sci., (January 1980). 
A. I. Wassewan. Software tools and the user software engineering project.  
I n  Riddle and Fa i r ley  ( 4 s .  ) , Sof-e Development TooZs, Springer 
Verlag , Heidel berg, Germany, (1980). 
A. I. Wasserman. Tools f o r  the design o f  in teract ive  information systems. 
Medical Info.  Sci., Univ. o f  Cal i fo rn ia  a t  San Francisco, Cal i fornia,  
(1980). 
P. Wegner. The Ada language and environment. CS-56, Dept. o f  Computer 
Sci . , Brown Univ., Providence, Rhode Island, (1980). 
(A r t i c les  on UNIX)  Bell System Tech J . ,  57 ,  6 (July-August 1978). 
PEBBLEMAN: Department of Defense Requriements for the Programming 
Environment for the Comon High Order Language. (January 1979) . 
STONEMAAM: Requirements fop Ada programing support environments. 
Department o f  Defense, (February 1980). 
Systems design laboratory prel  iminary design report.  TN 3145, Systems 
Architecture Div., Naval Elec. Lab. Center, San Diego, Cal i fornia,  
(March 1976). 
Softool EO (fbrketing Literature) . Softool Corp., Goleta, Cal ifornia, 
(1980). 
R s q y i r e m m t s  Etqineering and Validation Systen User's &ma 2. TRY 
Defense and Space Systeas Group, Huntsville, Alabama, July 1976. 


Software development environments: A bibliography, appendix G

Abstract

Similar works

Full text

Available Versions

NASA Technical Reports Server