%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@gamma.math.utah.edu on Thu Nov 3 12:52:27 MDT 2022 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{{1976}}{% Rine:1977:RSE% }. \NAMECITE{{1979}}{% Bail:1979:UES% }. \NAMECITE{{52779}}{% Southworth:1978:RM% }. \NAMECITE{{A.}}{% DeMillo:1978:RRD% }. \NAMECITE{abstract}{% Linden:1978:SAD,% Wurges:1978:SRU% }. \NAMECITE{Abstraction}{% Liskov:1977:AMC,% Shaw:1977:AVA,% Nourani:1978:NLO,% Staff:1979:NPA% }. \NAMECITE{Abstracts}{% Staff:1976:ASE,% Staff:1977:ASEa,% Staff:1977:ASEb,% Staff:1978:ASEa,% Staff:1978:ASEb,% Staff:1978:ASEc,% Staff:1979:ASEa,% Staff:1979:ASEb% }. \NAMECITE{acceptance}{% Martin:1978:SAT% }. \NAMECITE{{ACM}}{% Parnas:1977:AAC% }. \NAMECITE{actions}{% Lomet:1977:PSS% }. \NAMECITE{{Ages}}{% Dijkstra:1978:PPM% }. \NAMECITE{aid}{% Stavely:1978:DFU% }. \NAMECITE{algebraic}{% Guttag:1977:SEA% }. \NAMECITE{{Alphard}}{% Shaw:1977:AVA% }. \NAMECITE{alternative}{% Staff:1979:ASP,% Yoder:1978:NSC% }. \NAMECITE{Analysis}{% Lassagne:1978:AKB,% Wendel:1977:FED% }. \NAMECITE{and/or}{% Schorer:1979:PTP% }. \NAMECITE{annotated}{% Kleine:1978:SAB% }. \NAMECITE{Anthony}{% Rine:1977:RSE% }. \NAMECITE{application}{% Stickney:1978:AGT% }. \NAMECITE{applications}{% Sukert:1978:EMA% }. \NAMECITE{applicative}{% Friedman:1977:AAP% }. \NAMECITE{Applied}{% Pfau:1978:AQA% }. \NAMECITE{approach}{% Babb:1979:ADA% }. \NAMECITE{Approaches}{% Zave:1979:PSA,% Bowen:1978:CAS,% Nourani:1978:NLO% }. \NAMECITE{{April}}{% Bail:1979:UES% }. \NAMECITE{areas}{% Babb:1979:ADA% }. \NAMECITE{Aspects}{% Friedman:1977:AAP% }. \NAMECITE{Association}{% Parnas:1977:AAC% }. \NAMECITE{assurance}{% Belford:1978:QEE,% Benson:1978:SQA,% Fischer:1978:SQA,% Fujii:1978:CSA,% Kacik:1978:ESQ,% Pfau:1978:AQA,% Sukert:1978:EMA,% Tighe:1978:VPS% }. \NAMECITE{atomic}{% Lomet:1977:PSS% }. \NAMECITE{automatic}{% Bauer:1978:AGE% }. \NAMECITE{{Babb}}{% Anonymous:1980:CBT% }. \NAMECITE{based}{% Josephs:1978:MCB% }. \NAMECITE{be}{% Meyer:1978:SCP% }. \NAMECITE{before}{% Lamport:1978:SPB% }. \NAMECITE{better}{% Lassagne:1978:AKB% }. \NAMECITE{beyond}{% Martin:1978:SAT% }. \NAMECITE{bibliography}{% Gilkey:1978:CKK,% Kleine:1978:SAB% }. \NAMECITE{{BLOWHARD}}{% Parnas:1977:BRS% }. \NAMECITE{book}{% Martin:1978:SAT% }. \NAMECITE{Building}{% Parnas:1977:BRS% }. \NAMECITE{Carriage}{% Parnas:1977:AAC% }. \NAMECITE{charts}{% Yoder:1978:NSC% }. \NAMECITE{checking}{% Fischer:1977:EIO% }. \NAMECITE{{CLU}}{% Liskov:1977:AMC% }. \NAMECITE{Code}{% Glasser:1978:ESC% }. \NAMECITE{Comment}{% Gilkey:1978:CKK,% Gilb:1979:CDM% }. \NAMECITE{commentary}{% VanGhent:1978:LRS% }. \NAMECITE{communications}{% Good:1977:CVR% }. \NAMECITE{comparison}{% Fujii:1978:CSA,% Geller:1979:LPD,% Parker:1978:CDM% }. \NAMECITE{completeness}{% Linden:1978:FSC% }. \NAMECITE{components}{% Emery:1979:SSS% }. \NAMECITE{Computer}{% Turski:1978:CPM,% Josephs:1978:MCB,% Meyer:1978:SCP% }. \NAMECITE{Computing}{% Glass:1978:CFL% }. \NAMECITE{conference}{% Shore:1979:LSW,% Bail:1979:UES% }. \NAMECITE{Configuration}{% Bersoff:1978:SCM% }. \NAMECITE{Constructing}{% Good:1977:CVR% }. \NAMECITE{consultants}{% Schorer:1979:PTP% }. \NAMECITE{Control}{% Glasser:1978:ESC,% Josephs:1978:MCB% }. \NAMECITE{controversy}{% Parnas:1978:AVD% }. \NAMECITE{Correction}{% Anonymous:1980:CBT% }. \NAMECITE{correctness}{% Duran:1978:TMP,% Maurer:1978:ALC% }. \NAMECITE{current}{% Bowen:1978:CAS% }. \NAMECITE{curriculum}{% Fairley:1979:MCSa,% Fairley:1979:MCSb% }. \NAMECITE{data}{% Buckle:1977:RDT,% Gannon:1977:EED,% Linden:1978:SAD,% Nourani:1978:NLO,% Stickney:1978:AGT% }. \NAMECITE{Defining}{% Shaw:1977:AVA,% Babb:1979:ADA% }. \NAMECITE{definition}{% Gilb:1979:CDM% }. \NAMECITE{{DeMillo}}{% DeMillo:1978:RRD,% VanGhent:1978:LRS,% Kilov:1979:LPV% }. \NAMECITE{describing}{% Lamport:1978:SPB% }. \NAMECITE{Design}{% Geller:1979:LPD,% Stavely:1978:DFU,% Gilb:1978:MQG,% King:1977:PLL,% Lassagne:1978:AKB,% Lockett:1978:UPM,% Parker:1978:CDM,% Peters:1978:RSR,% Popek:1977:NDE,% Riddle:1977:IDS,% Robinson:1977:RSD,% Yoder:1978:NSC% }. \NAMECITE{designs}{% Riddle:1978:LRS,% Yin:1978:EUM% }. \NAMECITE{detection}{% Wendel:1977:FED% }. \NAMECITE{determination}{% Cousot:1977:SDD% }. \NAMECITE{development}{% Belford:1978:QEE,% Drasch:1978:ITP,% Kacik:1978:ESQ,% Raduchel:1978:MSD% }. \NAMECITE{{Dijkstra}}{% Jeffrey:1978:DPP,% Kilov:1979:LPV,% Parnas:1978:AVD,% VanGhent:1978:LRS% }. \NAMECITE{direct}{% Gilb:1978:MQG% }. \NAMECITE{discipline}{% Wirth:1977:TDR% }. \NAMECITE{{dMLP}}{% Parnas:1978:AVD% }. \NAMECITE{down}{% Wasserman:1976:TVS% }. \NAMECITE{{DREAM}}{% Riddle:1977:IDS% }. \NAMECITE{dynamic}{% Cousot:1977:SDD% }. \NAMECITE{Early}{% Geschke:1977:EEM% }. \NAMECITE{education}{% Rine:1977:RSE% }. \NAMECITE{effect}{% Love:1977:EIE% }. \NAMECITE{effective}{% Davis:1978:RLP% }. \NAMECITE{effectiveness}{% Belford:1978:QEE% }. \NAMECITE{Efficient}{% Fischer:1977:EIO% }. \NAMECITE{effort}{% Belford:1978:QEE% }. \NAMECITE{electronic}{% Bauer:1978:AGE% }. \NAMECITE{enforcement}{% Buckle:1977:RDT% }. \NAMECITE{engineering}{% Babb:1979:ADA,% Fairley:1979:MCSa,% Fairley:1979:MCSb,% Kleine:1978:SAB,% Rine:1977:RSE,% Wasserman:1976:TVS,% Zelkowitz:1978:PMS% }. \NAMECITE{Error}{% Sukert:1978:EMA,% Ottenstein:1978:FVE,% Wendel:1977:FED% }. \NAMECITE{establishment}{% Yin:1978:EUM% }. \NAMECITE{{Euclid}}{% Popek:1977:NDE% }. \NAMECITE{evaluate}{% Yin:1978:EUM% }. \NAMECITE{evaluation}{% Belford:1978:QEE,% Gannon:1977:EED% }. \NAMECITE{evolution}{% Glasser:1978:ESC% }. \NAMECITE{example}{% Kacik:1978:ESQ% }. \NAMECITE{Exception}{% MacLaren:1977:EHP,% Melliar-Smith:1977:SRR% }. \NAMECITE{exchange}{% Gerhart:1978:PPE% }. \NAMECITE{execution}{% Bauer:1978:AGE% }. \NAMECITE{experience}{% Fischer:1978:SQA,% Geschke:1977:EEM,% Glass:1978:CFL% }. \NAMECITE{experienced}{% Belford:1978:QEE% }. \NAMECITE{experiences}{% Bail:1979:UES% }. \NAMECITE{experiment}{% Benson:1978:SQA% }. \NAMECITE{experimental}{% Gannon:1977:EED,% Love:1977:EIE% }. \NAMECITE{extensions}{% Guttag:1977:SEA% }. \NAMECITE{failure}{% Glass:1978:CFL% }. \NAMECITE{{Farshid}}{% Linden:1978:FSC% }. \NAMECITE{features}{% Andrews:1977:LFP,% Brown:1977:HLL% }. \NAMECITE{feedback}{% Stavely:1978:DFU% }. \NAMECITE{field}{% Babb:1979:ADA% }. \NAMECITE{file}{% Friedman:1977:AAP% }. \NAMECITE{{Florida}}{% Hamlet:1979:RFT% }. \NAMECITE{flowcharts}{% Yoder:1978:NSC% }. \NAMECITE{formal}{% Linden:1978:FSC% }. \NAMECITE{{FORTRAN}}{% Wendel:1977:FED% }. \NAMECITE{framework}{% Cavano:1978:FMS% }. \NAMECITE{Freeman}{% Rine:1977:RSE% }. \NAMECITE{function}{% Bauer:1978:AGE% }. \NAMECITE{Further}{% Ottenstein:1978:FVE% }. \NAMECITE{future}{% Fischer:1978:SQA% }. \NAMECITE{generalized}{% Cousot:1977:SDD% }. \NAMECITE{generation}{% Bauer:1978:AGE% }. \NAMECITE{generators}{% Shaw:1977:AVA% }. \NAMECITE{goals}{% Gilb:1978:MQG% }. \NAMECITE{goes}{% Martin:1978:SAT% }. \NAMECITE{graph}{% Stickney:1978:AGT% }. \NAMECITE{{Gypsy}}{% Ambler:1977:GLS% }. \NAMECITE{handling}{% MacLaren:1977:EHP,% Melliar-Smith:1977:SRR% }. \NAMECITE{hardware}{% Brown:1977:HLL% }. \NAMECITE{High}{% Brown:1977:HLL% }. \NAMECITE{historical}{% Parnas:1977:AAC% }. \NAMECITE{hypothesis}{% Ottenstein:1978:FVE% }. \NAMECITE{{IDBUG}}{% Drasch:1978:ITP% }. \NAMECITE{ideal}{% Herriot:1977:TIP% }. \NAMECITE{ideas}{% Priebe:1978:SIR% }. \NAMECITE{{IEEE}}{% Shore:1979:LSW% }. \NAMECITE{implementation}{% Ambler:1977:GLS,% Fischer:1977:EIO% }. \NAMECITE{Improvement}{% Woodmancy:1978:SQI% }. \NAMECITE{informal}{% Zave:1979:PSA% }. \NAMECITE{interaction}{% Andrews:1977:LFP% }. \NAMECITE{introduction}{% Riddle:1977:IDS% }. \NAMECITE{invariant}{% Buckle:1977:RDT% }. \NAMECITE{investigation}{% Love:1977:EIE% }. \NAMECITE{item}{% Parnas:1977:AAC% }. \NAMECITE{iteration}{% Shaw:1977:AVA% }. \NAMECITE{J}{% DeMillo:1978:RRD% }. \NAMECITE{{Karl}}{% Gilkey:1978:CKK% }. \NAMECITE{key}{% Lassagne:1978:AKB% }. \NAMECITE{{Kleine}}{% Gilkey:1978:CKK% }. \NAMECITE{Language}{% Andrews:1977:LFP,% Ambler:1977:GLS,% Brown:1977:HLL,% Davis:1978:RLP,% Herriot:1977:TIP,% King:1977:PLL% }. \NAMECITE{Languages}{% Riddle:1978:LRS,% Ambler:1977:SPP,% Cobb:1978:MSU% }. \NAMECITE{large}{% Belford:1978:QEE,% Kacik:1978:ESQ% }. \NAMECITE{large-scale}{% Belford:1978:QEE% }. \NAMECITE{learning}{% Glass:1978:CFL% }. \NAMECITE{{Lebesgue}}{% Shaw:1978:LLL% }. \NAMECITE{Letter}{% Geller:1979:LPD,% Kilov:1979:LPV,% Shaw:1978:LLL,% VanGhent:1978:LRS,% Maurer:1978:ALC% }. \NAMECITE{level}{% Brown:1977:HLL% }. \NAMECITE{library}{% Josephs:1978:MCB% }. \NAMECITE{limitations}{% King:1977:PLL% }. \NAMECITE{Limits}{% Shore:1979:LSW% }. \NAMECITE{{Lipton}}{% DeMillo:1978:RRD,% Kilov:1979:LPV,% VanGhent:1978:LRS% }. \NAMECITE{logic}{% Nourani:1978:NLO,% Shaw:1978:LLL% }. \NAMECITE{logic-oriented}{% Nourani:1978:NLO% }. \NAMECITE{maintainability}{% Gelperin:1979:TM,% Gilb:1979:CDM% }. \NAMECITE{Management}{% Bersoff:1978:SCM,% Reifer:1976:SSS% }. \NAMECITE{Managing}{% Raduchel:1978:MSD% }. \NAMECITE{Manufacturers}{% Parnas:1977:AAC% }. \NAMECITE{Masters}{% Fairley:1979:MCSa,% Fairley:1979:MCSb% }. \NAMECITE{measurement}{% Cavano:1978:FMS,% Cobb:1978:MSU,% Zelkowitz:1978:PMS% }. \NAMECITE{measures}{% Yin:1978:EUM% }. \NAMECITE{measuring}{% Bowen:1978:CAS% }. \NAMECITE{mechanisms}{% Liskov:1977:AMC% }. \NAMECITE{members}{% Schneidewind:1979:STR% }. \NAMECITE{{Mesa}}{% Geschke:1977:EEM% }. \NAMECITE{method}{% Marca:1979:MSS% }. \NAMECITE{methodological}{% Harrell:1978:NMR% }. \NAMECITE{methodologies}{% Geller:1979:LPD,% Parker:1978:CDM% }. \NAMECITE{methodology}{% Pfau:1978:AQA,% Priebe:1978:SIR,% Tighe:1978:VPS,% Turski:1978:CPM% }. \NAMECITE{methods}{% Fujii:1978:CSA% }. \NAMECITE{metrics}{% Lockett:1978:UPM% }. \NAMECITE{{Middle}}{% Dijkstra:1978:PPM% }. \NAMECITE{{MIL}}{% Southworth:1978:RM% }. \NAMECITE{{MIL-S-52779}}{% Southworth:1978:RM% }. \NAMECITE{mini}{% Josephs:1978:MCB% }. \NAMECITE{mini-computer}{% Josephs:1978:MCB% }. \NAMECITE{modelling}{% Sukert:1978:EMA% }. \NAMECITE{models}{% Duran:1978:TMP,% Zave:1979:PSA% }. \NAMECITE{Multidimensional}{% Gilb:1978:MQG% }. \NAMECITE{{Nassi}}{% Yoder:1978:NSC% }. \NAMECITE{needs}{% Rine:1977:RSE% }. \NAMECITE{next}{% Ardis:1979:SRS% }. \NAMECITE{note}{% Harrell:1978:NMR,% Horning:1979:NPR,% Nourani:1978:NLO,% Staff:1979:NPA% }. \NAMECITE{Notes}{% Popek:1977:NDE% }. \NAMECITE{notices}{% Parnas:1977:AAC% }. \NAMECITE{{Nourani}}{% Linden:1978:FSC% }. \NAMECITE{{{objectives}}}{% Rine:1977:RSE% }. \NAMECITE{operating}{% Wurges:1978:SRU% }. \NAMECITE{optimization}{% Fischer:1977:EIO% }. \NAMECITE{oriented}{% Nourani:1978:NLO% }. \NAMECITE{Pamphlet}{% Dijkstra:1978:PPM% }. \NAMECITE{Panel}{% King:1977:PLL,% Zave:1979:PSA,% Bail:1979:UES,% Shore:1979:LSW% }. \NAMECITE{paper}{% Anonymous:1980:CBT,% Dijkstra:1977:PPSb,% Jeffrey:1978:DPP% }. \NAMECITE{{Parker}}{% Geller:1979:LPD% }. \NAMECITE{{Parnas}}{% Kilov:1979:LPV% }. \NAMECITE{part}{% Staff:1977:ASEa,% Staff:1977:ASEb,% Staff:1978:ASEa,% Staff:1978:ASEb,% Staff:1978:ASEc,% Staff:1979:ASEa,% Staff:1979:ASEb% }. \NAMECITE{{PASCAL}}{% Fischer:1977:EIO% }. \NAMECITE{performance}{% Lockett:1978:UPM% }. \NAMECITE{{Perlis}}{% DeMillo:1978:RRD,% Kilov:1979:LPV,% VanGhent:1978:LRS% }. \NAMECITE{Peter}{% Rine:1977:RSE% }. \NAMECITE{PGN}{% Staff:1979:NPA% }. \NAMECITE{{PL}}{% MacLaren:1977:EHP% }. \NAMECITE{{PL/I}}{% MacLaren:1977:EHP% }. \NAMECITE{plans}{% Bauer:1978:AGE% }. \NAMECITE{Political}{% Dijkstra:1978:PPM% }. \NAMECITE{position}{% Dijkstra:1977:PPSb,% Jeffrey:1978:DPP% }. \NAMECITE{Preliminary}{% Friedman:1977:AAP% }. \NAMECITE{probabilistic}{% Duran:1978:TMP% }. \NAMECITE{problem}{% Lamport:1978:SPB,% Schorer:1979:PTP% }. \NAMECITE{Process}{% Lomet:1977:PSS,% Andrews:1977:LFP,% Robinson:1977:RSD% }. \NAMECITE{processes}{% Gilb:1978:MQG% }. \NAMECITE{processing}{% Davis:1978:RLP,% Good:1977:CVR% }. \NAMECITE{Productivity}{% Zelkowitz:1978:PMS% }. \NAMECITE{Program}{% Woodmancy:1978:SQI,% Drasch:1978:ITP,% Duran:1978:TMP,% Gerhart:1978:PPE,% Horning:1979:NPR,% Love:1977:EIE,% Schorer:1979:PTP,% Shaw:1978:LLL% }. \NAMECITE{programmed}{% Melliar-Smith:1977:SRR% }. \NAMECITE{programming}{% Ambler:1977:SPP,% Cobb:1978:MSU,% Friedman:1977:AAP,% Gannon:1977:EED,% Herriot:1977:TIP,% Staff:1979:ASP,% Turski:1978:CPM,% Wirth:1977:TDR% }. \NAMECITE{programs}{% Ambler:1977:GLS,% Marca:1979:MSS,% Maurer:1978:ALC,% Meyer:1978:SCP% }. \NAMECITE{progress}{% Shore:1979:LSW% }. \NAMECITE{projects}{% Zelkowitz:1978:PMS% }. \NAMECITE{proofs}{% Gerhart:1978:PPE% }. \NAMECITE{proper}{% Tighe:1978:VPS% }. \NAMECITE{properties}{% Buckle:1977:RDT,% Cousot:1977:SDD% }. \NAMECITE{proposal}{% Gerhart:1978:PPE% }. \NAMECITE{protection}{% Ambler:1977:SPP% }. \NAMECITE{psychology}{% Staff:1979:NPA% }. \NAMECITE{publication}{% Gerhart:1978:PPE% }. \NAMECITE{Quality}{% Woodmancy:1978:SQI,% Belford:1978:QEE,% Benson:1978:SQA,% Bowen:1978:CAS,% Cavano:1978:FMS,% Fischer:1978:SQA,% Kacik:1978:ESQ,% Pfau:1978:AQA,% Sukert:1978:EMA,% Tighe:1978:VPS,% Yin:1978:EUM% }. \NAMECITE{quantified}{% Gilb:1978:MQG% }. \NAMECITE{quantitative}{% Belford:1978:QEE% }. \NAMECITE{{R.}}{% DeMillo:1978:RRD% }. \NAMECITE{real}{% Davis:1978:RLP,% Maurer:1978:ALC,% VanGhent:1978:LRS,% Wirth:1977:TDR% }. \NAMECITE{real-time}{% Davis:1978:RLP,% Wirth:1977:TDR% }. \NAMECITE{recovery}{% Lomet:1977:PSS% }. \NAMECITE{references}{% Schorer:1979:PTP% }. \NAMECITE{regarding}{% VanGhent:1978:LRS% }. \NAMECITE{Relating}{% Peters:1978:RSR% }. \NAMECITE{reliability}{% Dijkstra:1977:PPSb,% Gannon:1977:EED,% Horning:1979:NPR,% Jeffrey:1978:DPP,% Melliar-Smith:1977:SRR% }. \NAMECITE{Reliable}{% Bail:1979:UES,% Robinson:1977:RSD,% Ardis:1979:SRS,% Good:1977:CVR,% King:1977:PLL,% Parnas:1977:BRS,% Shore:1979:LSW% }. \NAMECITE{remarks}{% Wurges:1978:SRU% }. \NAMECITE{reply}{% Linden:1978:FSC,% VanGhent:1978:LRS% }. \NAMECITE{Report}{% Hamlet:1979:RFT,% Schneidewind:1979:STR,% Zave:1979:PSA% }. \NAMECITE{representing}{% Riddle:1978:LRS% }. \NAMECITE{request}{% Schorer:1979:PTP% }. \NAMECITE{Requirements}{% Davis:1978:RLP,% Pierce:1978:RTT,% Fischer:1978:SQA,% Peters:1978:RSR% }. \NAMECITE{Responding}{% Southworth:1978:RM% }. \NAMECITE{Response}{% DeMillo:1978:RRD% }. \NAMECITE{Restricted}{% Buckle:1977:RDT% }. \NAMECITE{restriction}{% Linden:1978:SAD% }. \NAMECITE{Review}{% Rine:1977:RSE,% Harrell:1978:NMR,% Priebe:1978:SIR% }. \NAMECITE{role}{% Melliar-Smith:1977:SRR% }. \NAMECITE{run}{% Fischer:1977:EIO% }. \NAMECITE{run-time}{% Fischer:1977:EIO% }. \NAMECITE{S}{% Southworth:1978:RM% }. \NAMECITE{scale}{% Belford:1978:QEE,% Emery:1979:SSS,% Kacik:1978:ESQ% }. \NAMECITE{{Secretary}}{% Schneidewind:1979:STR% }. \NAMECITE{{Secretary-Treasurer}}{% Schneidewind:1979:STR% }. \NAMECITE{Selected}{% Kleine:1978:SAB,% Gilkey:1978:CKK% }. \NAMECITE{selection}{% Stickney:1978:AGT% }. \NAMECITE{service}{% Miller:1979:SSS% }. \NAMECITE{session}{% Zave:1979:PSA% }. \NAMECITE{{Shneiderman}}{% Yoder:1978:NSC% }. \NAMECITE{Should}{% Meyer:1978:SCP,% Gilb:1978:MQG% }. \NAMECITE{{SIGSOFT}}{% Schneidewind:1979:STR% }. \NAMECITE{{SIGTRANS}}{% Parnas:1977:AAC% }. \NAMECITE{Small}{% Emery:1979:SSS% }. \NAMECITE{Small-scale}{% Emery:1979:SSS% }. \NAMECITE{smart}{% Reifer:1976:SSS% }. \NAMECITE{Software}{% Bail:1979:UES,% Bersoff:1978:SCM,% Fischer:1978:SQA,% Kernighan:1976:ST,% Martin:1978:SAT,% Melliar-Smith:1977:SRR,% Woodmancy:1978:SQI,% Ardis:1979:SRS,% Babb:1979:ADA,% Belford:1978:QEE,% Benson:1978:SQA,% Bowen:1978:CAS,% Cavano:1978:FMS,% Dijkstra:1977:PPSb,% Emery:1979:SSS,% Fairley:1979:MCSa,% Fairley:1979:MCSb,% Fujii:1978:CSA,% Gilb:1978:MQG,% Jeffrey:1978:DPP,% Kacik:1978:ESQ,% King:1977:PLL,% Kleine:1978:SAB,% Lassagne:1978:AKB,% Miller:1979:SSS,% Parnas:1977:BRS,% Peters:1978:RSR,% Raduchel:1978:MSD,% Reifer:1976:SSS,% Riddle:1977:IDS,% Riddle:1978:LRS,% Robinson:1977:RSD,% Shore:1979:LSW,% Staff:1976:ASE,% Staff:1977:ASEa,% Staff:1977:ASEb,% Staff:1978:ASEa,% Staff:1978:ASEb,% Staff:1978:ASEc,% Staff:1979:ASEa,% Staff:1979:ASEb,% Stavely:1978:DFU,% Stickney:1978:AGT,% Sukert:1978:EMA,% Tighe:1978:VPS,% VanGhent:1978:LRS,% Wasserman:1976:TVS,% Yin:1978:EUM,% Zelkowitz:1978:PMS,% Rine:1977:RSE% }. \NAMECITE{solution}{% Lamport:1978:SPB% }. \NAMECITE{Some}{% Guttag:1977:SEA,% Miller:1979:SSS,% Priebe:1978:SIR,% Wurges:1978:SRU% }. \NAMECITE{Source}{% Glasser:1978:ESC% }. \NAMECITE{special}{% Brown:1977:HLL% }. \NAMECITE{specification}{% Ambler:1977:GLS,% Bail:1979:UES,% Buckle:1977:RDT,% Zave:1979:PSA% }. \NAMECITE{specification-various}{% Zave:1979:PSA% }. \NAMECITE{Specifications}{% Ardis:1979:SRS,% Guttag:1977:SEA,% Linden:1978:FSC,% Riddle:1978:LRS,% Shore:1979:LSW,% Wurges:1978:SRU,% Bail:1979:UES% }. \NAMECITE{Specifying}{% Linden:1978:SAD,% Marca:1979:MSS,% Shaw:1977:AVA% }. \NAMECITE{Springer}{% Rine:1977:RSE% }. \NAMECITE{Springer-Verlag}{% Rine:1977:RSE% }. \NAMECITE{State}{% Lamport:1978:SPB% }. \NAMECITE{Static}{% Cousot:1977:SDD,% Wendel:1977:FED% }. \NAMECITE{statistics}{% Miller:1979:SSS% }. \NAMECITE{structure}{% Cobb:1978:MSU,% Love:1977:EIE% }. \NAMECITE{structured}{% Marca:1979:MSS,% Staff:1979:ASP% }. \NAMECITE{structuring}{% Lomet:1977:PSS% }. \NAMECITE{stub}{% Reifer:1976:SSS% }. \NAMECITE{study}{% Ambler:1977:SPP% }. \NAMECITE{successful}{% Kacik:1978:ESQ% }. \NAMECITE{sufficient}{% Bowen:1978:CAS% }. \NAMECITE{switching}{% Bauer:1978:AGE% }. \NAMECITE{synchronization}{% Lomet:1977:PSS% }. \NAMECITE{syndicate}{% Staff:1979:ASP% }. \NAMECITE{System}{% Glasser:1978:ESC,% Josephs:1978:MCB,% Lockett:1978:UPM,% Riddle:1977:IDS% }. \NAMECITE{systems}{% Bauer:1978:AGE,% Davis:1978:RLP,% Friedman:1977:AAP,% Good:1977:CVR,% Stavely:1978:DFU,% Wurges:1978:SRU% }. \NAMECITE{techniques}{% Kacik:1978:ESQ% }. \NAMECITE{test}{% Bauer:1978:AGE,% Stickney:1978:AGT% }. \NAMECITE{Testing}{% Gelperin:1979:TM,% Davis:1978:RLP,% Hamlet:1979:RFT,% Martin:1978:SAT,% Miller:1979:SSS,% Schorer:1979:PTP,% Shaw:1978:LLL% }. \NAMECITE{theory}{% Stickney:1978:AGT% }. \NAMECITE{time}{% Davis:1978:RLP,% Fischer:1977:EIO,% Wirth:1977:TDR% }. \NAMECITE{Tool}{% Pierce:1978:RTT,% Drasch:1978:ITP,% Reifer:1976:SSS% }. \NAMECITE{tools}{% Bail:1979:UES,% Fischer:1978:SQA,% Kernighan:1976:ST% }. \NAMECITE{top}{% Wasserman:1976:TVS% }. \NAMECITE{top-down}{% Wasserman:1976:TVS% }. \NAMECITE{Tracing}{% Pierce:1978:RTT% }. \NAMECITE{{Treasurer}}{% Schneidewind:1979:STR% }. \NAMECITE{{Tripp}}{% Anonymous:1980:CBT% }. \NAMECITE{type}{% Cousot:1977:SDD% }. \NAMECITE{types}{% Buckle:1977:RDT,% Gannon:1977:EED,% Linden:1978:SAD% }. \NAMECITE{understanding}{% Love:1977:EIE% }. \NAMECITE{unions}{% Cousot:1977:SDD% }. \NAMECITE{unstructured}{% Cobb:1978:MSU% }. \NAMECITE{use}{% Stavely:1978:DFU,% Wurges:1978:SRU,% Yin:1978:EUM% }. \NAMECITE{used}{% Kacik:1978:ESQ% }. \NAMECITE{User}{% Bail:1979:UES% }. \NAMECITE{Using}{% Lockett:1978:UPM,% Lomet:1977:PSS% }. \NAMECITE{utilization}{% Brown:1977:HLL% }. \NAMECITE{validation}{% Ottenstein:1978:FVE% }. \NAMECITE{value}{% Tighe:1978:VPS% }. \NAMECITE{variables}{% Buckle:1977:RDT% }. \NAMECITE{various}{% Zave:1979:PSA% }. \NAMECITE{verifiable}{% Ambler:1977:GLS% }. \NAMECITE{verification}{% Shaw:1977:AVA% }. \NAMECITE{verified}{% Good:1977:CVR,% Meyer:1978:SCP% }. \NAMECITE{Verlag}{% Rine:1977:RSE% }. \NAMECITE{Version}{% Friedman:1977:AAP% }. \NAMECITE{view}{% Kilov:1979:LPV,% Parnas:1978:AVD,% Wasserman:1976:TVS% }. \NAMECITE{vs}{% Kilov:1979:LPV% }. \NAMECITE{Wasserman}{% Rine:1977:RSE% }. \NAMECITE{within}{% Babb:1979:ADA% }. \NAMECITE{workshop}{% Hamlet:1979:RFT% }.