1980 Index IEEE Transactions Software Engineering Vol. SE-6 · 1980Index IEEE TransactionsonSoftware Engineering Vol. SE-6 This index covers all items-papers, correspondence, reviews,

1980 IndexIEEE Transactions on Software Engineering

Vol. SE-6

This index covers all items-papers, correspondence, reviews,etc.-that appeared in this periodical during 1980, and items from prioryears that were commented upon or corrected in 1980. The index isdivided into an Author Index and a Subject Index, both arrangedalphabetically.

The Author Index contains the primary entry for each item; thisentry is listed under the name of the first author and includes coauthornames, title, location of the item, and notice of corrections and commentsif any. Cross-references are given from each coauthor name to the nameof the corresponding first author. The location of the item is specified bythe journal name (abbreviated), year, month, and inclusive pages.

The Subject Index contains several entries for each item, eachconsisting of a subject heading, modifying phrase(s), first authors name,and enough information to locate the item. For coauthors, title,comments and corrections if any, etc., it is necessary to refer to theprimary entry in the Author Index. Some generic subject headings areused in this index in addition to the usual technical headings, e.g., Bookreviews (books reviewed in this periodical), Bibliographies (both papersthat are bibliographies and any other papers which contain more than 50references), Conferences (technical meetings a substantial number ofwhose abstracts or papers have appeared in this periodical), and SpecialIssues (issues of this periodical devoted pnrmarily to a specific subject).The Subject Index includes subject cross-references as required by thesubject matter.

AUTHOR INDEX

A

Aldch, James E.; Modula and a question of time (Short n.); T-SE Jul 80390-391

Amnchier von Mayrhauser, Annellese, see Voges, Udo; T-SE May 80286-290

B

Bahad, Yair M., and Jeffrey A. Hoffer; Data element security and itseffects on file segmentation; T-SE Sep 80 40241x0

Baker, Albert L., and Stuart H. Zweben; A comparison of measures ofcontrol flow complexity; T-SE Nov 80 506-512

Banerjee, Jayanta, David K. Hsiao, and Fred K. Ng; Databasetransformation, query translation, and performance analysis of anew database computer in supporting hierarchical databasemanagement; T-SE fan 80 91-109

Basil, Victor R., and Robert E. Noonan; A comparison of the axiomaticand functional models of structured programming; T-SE Sep 80454-464

Basu, Sanat K.; A note on synthesis of inductive assertions; T-SE Jan 8032-39

Basu, Sanat K.; On development of iterative programs from functionspecifications; T-SE Mar 80 170-182

Beck, Leland L.; A generalized implementation method for relationaldata sublanguages; T-SE Mar 80 152-162

Belady, L A.; Editor's notice; T-SE Jan 80 1Belady, Laszlo A.; Editor's notice; T-SE Sep 80 401Bentley, Jon Loui, and Mary Shaw; An Alphard specification of a

correct and efficient transformation on data structures; T-SE Nov 80572-584

Binell, A. D., and R. M. Needham; A universal file server; T-SE Sep 80450-453

Blac, James P., see Taylor, Davis J.; T-SE Nov 80 585-594Booth, Taylor L, and Cheryl A. Wiecek; Performance abstract data types

as a tool in software performance analysis and design; T-SE Mar 80138-151

Bonret, P., and P. Cros; Presentation and correction of errors inoperating system measurements (Corresp.); T-SE Jul 80 395-398

Brender, Ronald F.; Generation of BLISSes; T-SE Nov 80 553-563

C

Celentano, Augusto, Pierluigi Della Vigna, Carlo Ghezzi, and DinoMandrioli; Separate compilation and partial specification in Pascal;T-SE Jul 80 320-328

Chandrasekaran, B., Guest ed; Special collection on program testing-Guest editorial; T-SE May 80 233-235

Chang, Ning-San, and King-Sun Fu; Query-by-Pictorial Example; T-SENov 80 519-524

Chang, Shi-Kuo, and Wu-Haung Cheng; A methodology for structureddatabase decomposition; T-SE Mar 80 205-218

Chen, Fu-Chung, see Yau, Stephen S.; T-SE Mar 80 126-137Cheng, Wu-Haung, see Chang, Shi-Kuo; T-SE Mar 80 205-218Cheung, Roger C.; A user-oriented software reliability model; T-SE Mar

80 118-125Cohen, Edward I., see White, Lee J.; T-SE May 80 247-257Collofello, James S., see Yau, Stephen S.; T-SE Nov 80 545-552Cook, Robert P.; MOD-A language for distributed programming; T-SE

Nov 80 563-571Cros, P., see Bourret, P.; T-SE Jul 80 395-398

D

Davies, Anthony C.; The analogy between electrical networks andflowcharts (Short n.); T-SE Jul 80 391-394

Della Vigna, Pierluigi, see Celentano, Augusto; T-SE Jul 80 320-328Denning, Peter J.; Working sets past and present; T-SE Jan 80 64-84

F

Fainan, R. Neil, Jr., and Alan A. Kortesoja; An optimizing Pascalcompiler; T-SE Nov 80 512-519

Fischer, Charles N., and Richard J. LeBlanc; The implementation ofrun-time diagnostics in Pascal; T-SE Jul 80 313-319

Foster, Kenneth A.; Error sensitive test cases analysis (ESTCA); T-SEMay 80 258-264

Fu, King-Sun, see Chang, Ning-San; T-SE Nov 80 519-524

G

Ghezzi, Carlo, see Celentano, Augusto; T-SE Jul80 320-328Gligor, Virgil D., and Susan H. Shattuck; On deadlock detection in

distributed systems; T-SE Sep 80 435-440Gmeiner, Lothar, see Voges, Udo; T-SE May 80 286-290Goel, Amrit L.; A summary of the discussion on 'An analysis of

competing software reliability models' (Short n.); T-SE Sep 80501-502

Gudes, Ehud; The design of a cryptography based secure file system;T-SE Sep 80411-420

Guttag, John; Notes on type abstraction (Version 2); T-SE Jan 80 13-23

H

Hardgrave, W. Terry; Ambiguity in processing Boolean queries onTDMS tree structures: A study of four different philosophies; T-SEJul 80 357-372

Hedley, David, see Woodward, Martin R.; T-SE May 80 278-286Heninger, Kathryn L.; Specifying software requirements for complex

systems: New techniques and their apjplication; T-SE Jan 80 2-13Hennell, Michael A., see Woodward, Martin R.; T-SE May 80 278-286Hennell, Mkhael A., and J. Alan Prudom; A static analysis of the NAG

library; T-SE Jul 80 329-333Ho, Gary S, see Ramamoorthy, C. V.; T-SE Sep 80 440-449Hoffer, Jeffrey A, see Babad, Yair M.; T-SE Sep 80 402-410Howden, WiDliam E.; Functional program testing; T-SE Mar 80 162-169

IEEE T-SE 1980 INDEX -2

Hsia, Pei, and Frederick E. Petry; A framework for discipline inprogramming; T-SE Mar 80 226-232

Hslao, David K., see Banerjee, Jayanta; T-SE Jan 80 91-109Huang, J. C.; A new verification rule and its applications; T-SE Sep 80

480-485

IEEE Computer Society; Special collection from COMPSAC '78; T-SEMar 80 117-169

IEEE Computer Society; Special collection from Workshop on SoftwareTesting and Test Documentation, 1978; T-SE May 80 233-290

K

King, James C.; Program correctness: On inductive assertion methods;T-SE Sep 80 465479

Kortesoa Alan A., see Faiman, R. Neil, Jr.; T-SE Nov 80 512-519Klrtzlnger, Pieter S., Anthony E. Krzesinski, and Peter Teunissen; A

queuing model of a time-sliced priority-driven task dispatchingalgorithm; T-SE Mar 80 219-225

Krltingr, Pieter S., Anthony E. Krzesinski, and Peter Teunissen;Incorporating system overhead in queuing network models; T-SEJul 80 381-390

K insk, Antbony E, see Kritzinger, Pieter S.; T-SE Mar 80 219-225

L

Labetoulle, Jacques, and Guy Pujolle; Isolation method in a network ofqueues; T-SE Jul 80373-381

LeBlanc, Richard J., see Fischer, Charles N.; T-SE Jul 80 313-319Ledgard, Henry F., John A. Whiteside, William Seymour, and Andrew

Singer; An experiment on human engineering of interactivesoftware; T-SE Nov 80 602-604

Leinbaugh, Dennis W.; Guaranteed response times in a hard-real-timeenvironment; T-SE Jan 80 85-91

Leung, F., and C. V. Ramamoorthy; An approach to formal specificationof control modules; T-SE Sep 80 485-489

Littlewood, Bev; Theories of software reliability: How good are they andhow can they be improved?; T-SE Sep 80 489-500

Lin, Philip S, see Young, Tzay Y.; T-SE Jul 80 340-347Lomet, David B.; Subsystems of processes with deadlock avoidance;

T-SE May 80 297-304

M

Mandrioli, Dino, see Celentano, Augusto; T-SE Jul 80 320-328Mao, T. William, and Raymond T. Yeh; Communication port: A

language concept for concurrent programming; T-SE Mar 80194-204

Mekly, Leon J., and Stephen S. Yau; Software design representationusing abstract process networks; T-SE Sep 80 420-434

Merwin, Richard E., Guest ed.; Guest editorial; T-SE Nov 80 505Morgan, David E, see Taylor, Davis J.; T-SE Nov 80 585-594Murata, Tadao; Synthesis of decision-free concurrent systems for

prescribed resources and performance; T-SE Nov 80 525-530Musser, David R.; Abstract data type specification in the AFFIRM

system; T-SE Jan 80 24-32

N

Needham, R. M, see Birrell, A. D.; T-SE Sep 80 450-453Ng, Fred K, see Baneree, Jayanta; T-SE Jan 80 91-109Noonan, Robert E*, see Basili, Victor R.; T-SE Sep 80 454-464Notredu, Paul H., see Tavernier, Karel R.; T-SE Jul 80 334-340

0

Osterweil, Leon J1, see Taylor, Richard N.; T-SE May 80 265-278Ostrand, Thomas J., see Weyuker, Elaine J.; T-SE May 80 236-246

P

Parr, F. N.; An alternative to the Rayleigh curve model for softwaredevelopment effort; T-SE May 80 291-296

Petry, Frederick E, see Hsia, Pei; T-SE Mar 80 226-232Prudom, J. lan, see Hennell, Michael A.; T-SE Jul 80 329-333Pujofle, Guy, see Labetoulle, Jacques; T-SE Jul80 373-381

R

Ramamoorthy, C. V., and Gary S. Ho; Performance evaluation ofasynchronous concurrent systems using Petri nets; T-SE Sep 80440-449

Ramamoorthy, C. V., see Leung, F.; T-SE Sep 80 485-489Ramamoorthy, C. V., Guest ed.; Guest editorial; T-SE Mar 80 117Ravn, A. P.; Device monitors; T-SE Jan 80 49-53Reuter, Andreas; A fast transaction-oriented logging scheme for UNDO

recovery; T-SE Jul 80 348-356Rosenbohm, W., see Walke, B.; T-SE May 80 304-312Russell David L.; State restoration in systems of communicating

processes; T-SE Mar 80 183-194

S

Schick, G. J., and R. W. Wolverton; An analysis of computing softwarereliability models; T-SE Mar 78 104-120

Summary ofublished comments and rebuttals by Armit L. GoelSeymour, William, see Led&ard, Henry F.; T-SE Nov 80 602-604Shattuck, Susan H., see Gligor, Virgil D.; T-SE Sep 80 435-440Shaw, Mary, see Bentley, Jon Louis; T-SE Nov 80 572-584Singer, Andrew, see Ledgard, Henry F.; T-SE Nov 80 602-604

T

Tai, Kuo-Chung; Program testing complexity and test criteria; T-SE Nov80 531-537

Takahashi, Hideyuki; An automatic-controller description language;T-SE Jan 80 53-64

Tamir, Moshe; ADI: Automatic derivation of invariants; T-SE Jan 8040-48

Tavernier, Karel R., and Paul H. Notredame; Macro-based crossassemblers; T-SE Jul 80 334-340

Taylor, Davis J., David E. Morgan, and James P. Black; Redundancy indata structures: Improving software fault tolerance; T-SE Nov 80585-594

Taylor, Davis J., David E. Morgan, and James P. Black; Redundancy indata structures: Some theoretical results; T-SE Nov 80 595-602

Taylor, Richard N., and Leon J. Osterweil; Anomaly detection inconcurrent software by static data flow analysis; T-SE May 80265-278

Teunissen, Peter, see Kritzinger, Pieter S.; T-SE Mar 80 219-225

V

Voges, Udo, Lothar Gmeiner, and Anneliese Amschler von Mayrhauser;SADAT-An automated testing tool; T-SE May 80 286-290

von Mayrhauser, Anneliese Amschrer, see Amschler von Mayrhauser,Anneliese

Voss, Klaus; Using predicate/transition-nets to model and analyzedistributed database systems; T-SE Nov 80 538-544

W

Walke, B., and W. Rosenbohm; Deadline-oriented servicing:Waiting-time distributions (Short n.); T-SE May 80 304-312

Weyuker, Elaine J., and Thomas J. Ostrand; Theories of program testingand the application of revealing subdomains; T-SE May 80 236-246

White, Lee J., and Edward I. Cohen; A domain strategy for computerprogram testing; T-SE May 80 247-257

Whiteside, John A., see Ledgard, Henry F.; T-SE Nov 80 602-604Wiecek, Cheryl A., see Booth, Taylor L.; T-SE Mar 80 138-151Wolverton, R. W., see Schick, G. J.; T-SE Mar 78 104-120Woodward, Martin R., David Hedley, and Michael A. Hennell;

Experience with path analysis and testing of programs; T-SE May 80

Y

Yau, Stephen S., and Fu-Chung Chen; An approach to concurrentcontrol flow checking; T-SE Mar 80 126-137

Yau, Stephen S., see Meily, Leon J.; T-SE Sep 80 420-434Yau, Stephen S., and James S. Collofello; Some stability measures for

software maintenance; T-SE Nov 80 545-552Yeh, Raymond T., see Mao, T. William; T-SE Mar 80 194-204Young, Tzay Y., and Philip S. Liu; Overhead storage considerations and a

multilinear method for data file compression; T-SE Jul 80 340-347

z

Zweben, Stuart HI, see Baker, Albert L.; T-SE Nov 80 506-512


SUBJECT INDEX

A

Aicraft computersrequirements specification for A-7 flight software; Heninger, KathrynL; T-SE Jan 80 2-13

Assemblers; cf. Computer language processorsAutomata; cd. Sequential machinesAutomatic test softwareFORTRAN module testing by SADAT system; Voges, Udo; T-SEMay 80 286-290

C

Clustering methods; cf. Pattern clustering methodsCommunication switching; cf. Packet switchingCompls; cf. Computer language processorsComputation time; cd. Specific topicComputer applcations; cf. Specific topicComputer commuicatin

queueing model of preemptive, priority-driven, time-sliced taskdispatching algonrthm; Kritzinger, Pieter S.; T-SE Mar 80 219-225

Computer communication; cd. Packet switchingComputer economics; cf. Computer software economicsComputer fault diagnosis;-cf. Computer software testingComputer fault tolernce; c. Computer software fault toleranceComputer interfaces

input/output system driver; device monitor implementation usingihardware interrupt facilities; Ravn, A. P.; T-SE Jan 80 49-53

Computer lnguage processorsBLISS compiler development for three machine architectures; Brender,

Ronald F; T-SE Nov 80 553-563optimizing Pascal compiler; Faiman, R. Neil, Jr.; T-SE Nov 80 512-519Pascal compiler; run-time diagnostic checking; Fischer, Charles N.;T-SE Jul80 313-319

Pascal extension allowing separate compilation facility andinformation hiding by partial specification; Celentano, Augusto;T-SE Jul 80 320-328

Computer language processors; cf. Microcomputer language processorsComputer languagescommunication port concept for concurrent programming; Mao, T.

William; T-SE Mar 80 194-204concurrent languages, time-related problems; Modula performance in

multiprogramming system; Alichin, James E.; T-SE Jul80 390-391control-oreinted Alpo1-like nonprocedural language for automatic

controller description; Takahashi, Hideyuki; TSK Jan 80 53-64numerical algorithms library; static analysis; Hennell, Michael A.;T-SE Jul80 329-333

relational data base languages implemented with the samemanagement software via query translation into tuple operations;Beck, Leland L; T-SE Mar 80 152-162

STARMOD language for distributed programming; Cook, Robert P.;T-SE Nov 80 563-571

Computer networks; cd. Computer communication; Distributedcomputing; Multiprocessing

Computer opeating systems; cf. Computer software, operating systemsComputer performance evaluation

asynchronbous concurrent systems; performance evaluation using Petrinets; Ramamoorthy, C. V.; T-SE Sep 80440-449

multiclass queueing network models that incorporate operating systemoverhead in performance prediction of multiprogramming computersystem; Kritzinger, Pieter S.; T-SE Jul 80381-390

Computer performance evaluation; cf. Computer software performanceevaluation

Computer my ; cd. Computer languages; Computer softwareComputer reliability; cd. Computer software reliabilityComputer secuity; d. Data securityComputer Society; cd. IEEE Computer SocietyCompter software design/development

abstract data type specification; convergence of rewrite rule sets;AFFIRM system; Musser, David R.; T-SE Jan 8024-32

abstract process networks used for desifn representation; Petri nettechniques; Mekly, Leon J.; T-SE Sep §0 l420l434

data structures for general searching blems; Alphard languageBentley, Jon Louis; T-SE Nov 805S84

flowchart/electric network analogy; Davies, Anthony C.; T-SE Jul 80391-394

formal specification of program modules controlling access to sharedresources; Leung F.; T-SE Sep 80485-489

hard-real-time processing; task scheduling with guaranteed responsetime; Leinbaugh, Dennis W.; T-SE Jan 80 85-91

iterative progam development from function specifications; Basu,Sanat K; T-SE Mar 80 170-182

papers from COMPSAC 78 conference; T-SE Mar 80 117-169papers from COMPSAC 78 conference; foreword; Ramamoorthy, C.

V., Guest ed; T-SE Mar 80 117Pascal extension allowing separate compilation facility and

information hiding by partial specification; Celentano, Augusto;T-SE Jul 80 320-328

redundancy in data structures; cost-effectiveness of robust datastructures; empirical results; Taylor, Davis.J.; T-SE Nov 80 585-594

redundancy in data structures; cost-effectiveness of robust datastructures; theoretical results; Taylor, Davis J.; T-SE Nov 80 595-602

requirements specification in complex real-time systems; A-7 aircraftflight software; Heninger, Kathryn L.; T-SE Jan 80 2-13

structured programming; axiomatic vs. functional modelmethodologies for proving program correctness; Basili, Victor R.;T-SE Sep 80 454-464

type abstraction specification; algebraic and Hoare-like approach;Guttag, John; T-SE Jan 80 13-23

Computer software design/development; cf. Microcomputer softwaredesign/development

Computer software development managementdiscipline in programming; framework integrating top-down design,

stepwise refinement, structured flowcharting, test case description;Hsia, Pei; T-SE Mar 80 226-232

life cycle resource consumption curve as an alternative to Rayleighcurve; Parr, F. N.; T-SE May 80 291-296

Computer software economicsmultiprogrammed memory management optimization band onworking sets; Denning, Peter J.; T-SE Jan 8064-84

user-oriented reliability model; cost-effective testing strategies;Cheung, Roger C.; T-SE Mar 80 118-125

Computer software education; cf. Computer science educationComputer software fault diagnosis; cf. Computer software testingComputer software fault toleranceredundancy in data structures; cost-effectiveness of robust data

structures; empirical results; Taylor, Davis J.; T-SE Nov 80 585-594redundancy in data structures; cost-effectiveness of robust data

structures; theoretical results; Taylor, Davis J.; T-SE Nov 80 595-602Computer software fault tolerance; cf. Computer software reliabilityComputer software, language processors; cf. Computer language

processorsComputer software maintenance

stability measures for software maintenance and their validation; Yau,Stephen S.; T-SE Nov 80 545-552

Computer software, operating systemserrors in operating system measurements; Bourret, P.; T-SE Jul 80

395-398input/output system driver; device monitor implementation usinghardware interrupt facilities; Ravn, A. P.; T-SE Jan 80 49-53

multiclass queueing network models that incorporate operating systemoverhead in performance prediction of multiprogramming computersystem; Kritzinger, Pieter S.; T-SE Jul 80 381-390

Computer software performance evaluationabstract data types for performance information; Booth, Taylor L.;T-SE Mar 80 138-151

concurrent languages, time-related problems; Modula performance inmultiprogramming system; Allchin, James E.; T-SE Jul 80 390-391

control flow complexity as measure of software quality; Baker, AlbertL.; T-SE Nov 80 506-512

deadline-oriented servicing; Walke, B.; T-SE May 80 304-312errors in operating system measurements; Bourret, P.; T-SE Jul 80

395-398hierarchical data base management supported by data-base computer;

data base transformation, query translation and performanceanalysis; Banerjee, Jayanta; T-SE Jan 80 91-109

queueing model of preemptive, priority-driven, time-sliced taskdispatching algorithm; Kritzinger, Pieter S.; T-SE Mar 80 219-225

static analysis of numerical algorithm library; characteristics of goodsoftware; Hennell, Michael A.; T-SE Jul 80 329-333

working sets used to model program behavior and optimizemultiprogrammed memory management; Denning, Peter J.; T-SEJan 80 64-84

Computer softwae performance evaluation; cd. Computer software testingComputer software quality evaluation

stability measures for software maintenance and their validation; Yau,Stephen S.; T-SE Nov 80 545-552

Computer software reliabilitycompeting software reliability models; summary of discussion arisingfrom 1978 paper; Goel, Amrit L.; T-SE Sep 80 501-502

debugging software theories; critical analysis; Littlewood, Bev; T-SESep 80 489-500

error-sensitive test case generation rules; Foster, Kenneth A.; T-SE May80 258-264

state restoration in systems of communicating processes; recoveryblocks; Russell, David L; T-SE Mar 80 183-194


Computer software reliability; cf. Computer software fault toleranceComputer software testing

automatic testing tool for FORTRAN modules; Voges, Udo; T-SEMay 80 286-290

complexity of testing and test criteria; test data generation; Tai,Kuo-Chung; T-SE Nov 80 531-537


concurrent software testing by static data flow analysis; Taylor,Richard N.; T-SE May 80 265-278

control flow error detection, domain strategy; White, Lee J.; T-SE May80 247-257

data selection theory; revealing test criterion and revealing subdomain;Weyuker, Elaine J.; T-SE May 80 236-246

error-sensitive test case generation rules; Foster, Kenneth A.; T-SE May80 258-264

functional vs. structural approach reliability; Howden, William E.;T-SE Mar 80 162-169

papers from Workshop on Software Testing and Test Documentation,1978; T-SE May 80 233-290

papers from Workshop on Software Testing and Test Documentation,1978; foreword; Chandrasekaran, B., Guest ed.; T-SE May 80233-235

Pascal compiler; run-time diagnostic checking; Fischer, Charles N.;T-SE Jul 80 313-319

path testing effectiveness evaluation; Woodward, Martin R.; T-SE May80 278-2 6


Computer software testing; cf. Computer software performanceevaluation; Computer software verification

Computer software verificationabstract data type specification; convergence of rewrite rule sets;AFFIRM system; Musser, David R.; T-SE Jan 80 24-32

concurrent control flow checking to detect errors resulting from codingerrors, hardware malfunctions or memory mutilation duringprogram execution; Yau, Stephen S.; T-SE Mar 80 126-137

correctness proof by inductive assertion; King, James C.; T-SE Sep 80465-479

inductive assertion generation by ADI (automatic derivation ofinvariants) program; Tamir, Moshe; T-SE Jan 80 40-48

inductive assertion generation from input-output specifications;accumulating programs; Basu, Sanat K; T-SE Jan 80 32-39

loop program verification rule used with invariant-relation theorem tofacilitate verification of programs; Huang, J. C.; T-SE Sep 80480-485

structured programming; axiomatic vs. functional modelmethodologies for proving program correctness; Basili, Victor R.;T-SE Sep 80 454-464

type abstraction specification; albegraic and Hoare-like approach;Guttag, John; T-SE Jan 80 13-23

Computer software; cd. Automatic test software; Computer languages;Microcomputer software; Multiprogramming

Computer testing; cd. Computer software testingComputers; cf. Specific topicCosts; cd. EconomicsCryptography

secure file system design; Gudes, Ehud; T-SE Sep 80 411-420

D

Data base systemsdeadlock avoidance in resource scheduling; Lomet, David B.; T-SEMay 80 297-304

fast updating and recovery with minimum additional I/O operations;Reuter, Andreas; T-SE Jul 80 348-356

file segmentation affected by data security; Babad, Yair M.; T-SE Sep80 402410

hierarchical data base management supported by data-base computer;data base transformation, query translation and performanceanalysis; Banerjee, Jayanta; T-SE Jan 8091-109

query processing on tree structures; query semantics analysis usingtheory; Hardgrave, W. Terry; T-SE Jul 80357-372

relational query translation from relational languages into tupleoperations; implementing different relational languages with thesame management software; Beck, Leland L; T-SE Mar 80 152-162

Data base systems, distributeddeadlock detection protocols; false deadlocks; Gligor, Virgil D.; T-SE

Sep 80 435-440decentralized control of user accesses; predicate/transition-net model;

Voss, Klaus; T-SE Nov 80 538-544structured database decomposition based on relational data model;

Chang, Shi-Kuo; T-SE Mar 80 205-218Data base systems; cf. File systems; Image data basesData communication; cd. Computer communicationData compression

multilinear data file compression; overhead storage reduction; Young,Tzay Y; T-SE Jul 80 340-347

Data managementfast updating and recovery with minimum additional I/O operations;

Reuter, Andreas; T-SE Jul 80 348-356Data security

file segmentation affected by data security; Babad, Yair M.; T-SE Sep80402-410

Data security; cf. Cryptography

Distributed computingcommunication port concept for concurrent programming; Mao, T.

William; T-SE Mar 80 194-204STARMOD language for distributed programming; Cook, Robert P.;T-SE Nov 80 563-571

Distributed computing; cf. Data base systems, distributed;Multiprocessing

E

Economics; cd. Computer software economics

F

Fault diagnosis; cf. Computer software testingFault tolerance; cf. Computer software fault toleranceFile systems

cryptography-based secure file system design; Gudes, Ehud; T-SE Sep80 41 1420

multilinear data file compression; overhead storage reduction; Young,Tzay Y.; T-SE Jul 80 340-347

universal file server design; Birrell, A. D.; T-SE Sep 80 450453Flow networks; cd. Nets

G

Graph theory; cf. Nets

H

Human factorsinteractive computing experiment to evaluate human engineering

factors; Ledgard, Henry F.; T-SE Nov 80 602-604

IEEE Computer SocietyEditorial Board nominations; Belady, Laszlo A.; T-SE Sep 80 401editorial policy; Belady, L A.; T-SE Jan 80 1editorial policy; Merwin, Richard E., Guest ed.; T-SE Nov 80 505

Image data basesQuery-by-Pictorial Example; relational query language for image data

bases; Chang, Ning-San; T-SE Nov 80 519-524Image processing

Query-by-Pictorial Example; relational query language for image databases; Chang, Ning-San; T-SE Nov 80 519-524

Information systems; cf. Data base systemsInteractive computinghuman engineering factors; experiment in interactive computing;

Ledgard, Henry F; T-SE Nov 80 602-604

L

Languages; cd. Computer languages

M

Maintenance; cf. Computer software maintenanceManagement; cf. Computer software development managementMemory accesscomputer networks; file server design; Birrell, A. D.; T-SE Sep 80

450-453formal specification of program modules controlling access to shared

resources; Leung, F; T-SE Sep 80 485-489Memory allocation


working sets used to measure a program's intrinsic memory demand;optimal multiprogrammed memory management; Denning, Peter J.;T-SE Jan 80 64-84

Microcomputer language processorscrossassemblers for microprocessors using macro extension technique;

Tavernier, Karel R.; T-SE Jul 80 334-340Microcomputer software design/development

cross-assemblers for microprocessors using macro extension technique;Tavernier, Karel R.; T-SE Jul 80 334-340

Multiprocessingasynchronous concurrent systems; performance evaluation using Petri

nets; Ramamoorthy, C. V.; T-SE Sep 80440-449decision-free concurrent computation; marked graph models; Murata,

Tadao; T-SE Nov 80 525-530


hard-real-time processing; task scheduling with guaranteed responsetime; Leinbaugh, Dennis W.; T-SE Jan 80 85-91

static data flow analysis used for failure detection in concurrentsoftware; Taylor, Richard N.; T-SE May 80 265-278

Multiprocessing; cd. Distributed computing; Parallel processingMultiprogmming

concurrent languages, time-related problems; Modula performance inmultiprogramming system; Allchin, James E.; T-SE Jul 80 390-391

distributed processes networks; communication port language concept;Mao, T. William; T-SE Mar 80 194-204

multiclass queueimg network models that incorporate operating systemoverhead in performance prediction of multiprogramming computersystem; Kritzinger, Pieter S.; T-SE Jul 80 381-390

static data flow analysis used for failure detection in concurrentsoftware; Taylor, Richard N.; T-SE May 80 265-278

working sets used to measure a program's intrinsic memory demand;optimal multiprogrammed memory management; Denning, Peter J.;T-SE Jan 80 64-84

N

Netsdecision-free concurrent computation; marked graph models; Murata,

Tadao; T-SE Nov 80 525-530distributed data base access control; model using

predicate/transition-nets; Voss, Klaus; T-SE Nov 80 538-544Petri net model of real-time asynchronous concurrent systems for

performance evaluation; Ramamoorthy, C. V.; T-SE Sep 80 440-449software design representation using abstract process networks; Petri

net techniques; Mekly, Leon J.; T-SE Sep 80 420-434

0

Operating systems; cd. Computer software, operating systems

p

Packet switchingisolation method for analysis of packet-switching networks with finite

buffer size at each node; Labetoulle, Jacques; T-SE Jul 80 373-381Paralel processing

data base systems; deadlock avoidance in resource scheduling; Lomet,David B.; T-SE May 80 297-304

Parallel processing; cd. MultiprocessingPattern clustering methods


Progamming; cd. Computer languages; Computer softwareProject mangement; cf. Computer software development management

QQueued communication; cd. Packet switchingQueueing analysiscomputer performance; deadline-oriented servicing; Walke, B.; T-SEMay 80 304-312

isolation method for analysis of packet-switching networks with finitebuffer size at each node; Labetoulle, Jacques; T-SE Jul 80 373-381

multiclass queueing network models that incorporate operating systemoverhead in performance prediction of multiprogramming computersystem; Kritzinger, Pieter S.; T-SE Jul 80 381-390

Queuing analysistime-sharing systems; preemptive, priority-driven, time-sliced task

dispatching algorithm; Kritzinger, Pieter S.; T-SE Mar 80 219-225

R

Redundant systems; d. Fault tolerance

S

Schedulingdata base systems; deadlock avoidance in resource scheduling; Lomet,

David B.; T-SE May 80 297-304Search mediods

data structures for general searching problems; Alphard language;Bentley, Jon Louis; T-SE Nov 80 572-584

Security; cd. Computer securitySequential machi

Algol-like nonprocedural language for automatic controllerdescription; Takahashi Hideyuki; T-SE Jan 80 53-64

Set theorydata base systems, time-shared; query semantics analysis; Hardgrave,

W. Terry; T-SE Jul 80 357-372Software; d. Computer softwareSpecial issuescomputer software engineering, papers from COMPSAC 78

conference; T-SE Mar 80 117-169software testing and test documentation; papers from Workshop on

Software Testing and Test Documentation, 1978; T-SE May 80233-290

Storage; cd. MemoriesStructured programnming; cd. Computer software design/developmentSynchronization

parallel processing; concurrent software testing by static data flowanalysis; Taylor, Richard N.; T-SE May 80 265-278

System reliability; cf. Computer software reliability

T

Testing; di. Computer software testing

Documents

1980 Index IEEE Transactions Software Engineering Vol. SE-6 · 1980Index IEEE TransactionsonSoftware Engineering Vol. SE-6 This index covers all items-papers, correspondence, reviews,