novembert>: i utonal hhhh|fflh^ h^hb^b compsac/ · evolution of software engineering tools into...

November t>: I utonal HHHH|fflH^November 6-8,1979: Conference H^HB^B

compsac/wThe Palmer House/Chicago, Illinois

The IEEE Computer Society's Third International

Computer SoftwareS Applications Conference:

EEE Catalog No. 79CH1515-6C ^

Jbrary of Congress Catalog Card No. 79-90968

\dditional copies available from:

IEEE COMPUTER SOCIETY

r

EEE Computer Society IEEE Service Center

i855 Naples Plaza, Suite 301 445 Hoes Lone

•ong Bench, CA 90803 Piscataway, NJ 08854

UNIVERSITATSBIBL1HANNOVER

'

e>

THeiNSTIIRITE OF ELECTRICALAND ELECTRONICS ENGINEERS, INCw

TECHWiSCHE

INFORMATI0NSG18LI0THEKL..,

?h

TABLE OF CONTENTS

Foreword„ .

iii

William B. Smith

Preface v

K. S. Fu

Author Index vii

Sessions. ix

SOFTWARE DEVELOPMENT METHODOLOGY

Chairperson—R. E. Merwin, Geo. Wash. Univ.

SOFTWARE DEVELOPMENT: A FAILURE AND A

SUCCESS 1

C. L. McClure, Northwestern Univ.

AN ANALYSIS OF THE PERFORMANCE OF A SOFTVJARE

DEVELOPMENT METHODOLOGY 7

L. D. Lattanzi, GTE Automatic Elec. Labs.

EFFECTIVE COMPUTER PROGRAM DEVELOPMENT

AND USE 12

H. P. Richter, Bechtel Natl., Inc.

A METHODOLOGY FOR THE DEVELOPMENT OF

RELIABLE SYNCHRONIZATION SOFTWARE 18

M. S. Laventhal, Hewlett-Packard

STORAGE STRUCTURE AND FILE DESIGN

Chairperson—U. Gupta, Northwestern Univ.

AN AVL ALGORITHM FOR SECONDARY MEMORY . 24

W. E. Wright, Southern Illinois Univ.

A RELATIONAL DBMS CONFORMING TO AN

ARCHITECTURE WHICH INCORPORATES A

PHYSICAL NAVIGATION LANGUAGE 31

B. A. Dutton, C. Chen, J. R. Driscoll,Univ. of Central Florida

EXTENDED K-D TREE DATABASE ORGANIZATION:

A DYNAMIC MULTI-ATTRIBUTE CLUSTERING

METHOD 39

J. M. Chang, Bell Labs., K. S. Fu, Purdue

Univ.

LANGUAGE FILES AND DATA BASES — TWO I/OSYSTEMS OR ONE? 44

J. D. Lawrence, Univ. of Cal., Berkeley,

H. R. Johnson, J. A. Larson, Sperry Univac

PATTERN RECOGNITION SOFTWARE, I

Chairperson—Y. T. Chien, Univ. Connecticut

TASK DRIVEN IMAGE UNDERSTANDING: LISP

PROGRAMMING FOR VISION RESEARCH 50

S. L. Tanimoto, P. Harrison, Univ. of Wash.

PATTERN RECOGNITION SOFTWARE, I (cont'd)

SOME NEW ALGORITHMS AND SOFTWARE IMPLEMENTATION

METHODS FOR PATTERN RESEARCH RECOGNITION £5

G. T. Toussaint, R. S. Poulsen, McGill Univ.

STATISTICAL IMAGE PROCESSING AND RECOGNITION..E4

C. H. Chen, Southeastern Mass. Univ.

MANAGEMENT OF COMPUTER IMAGES USING A

RELATIONAL DATA BASE

E. Hall, J. J. Hwang, Univ. Tennessee

Paper Not Available

TELECOMMUNICATIONS SOFTWARE, I

Chairperson—J. B. Romanos, GTE Sylvania

REFLECTION ON THE IMPLEMENTATION OF A SOFTWARE

DESIGN 69

T. L. C. Chen, Sperry univac

FUNCTIONAL MULTIPROCESSING IN AN EXPERIMENTAL

DIGITAL SWITCHING OFFICE 74

R. C. Cheung, W. A. Montgomery, Bell Labs

A MICROPROCESSOR LINE CONCENTRATION SYSTEM 80

J. B. Pace, Schlumberger Well Services

0. G. Johnson, Univ. of Houston

DEVELOPMENT OF ELECTRONIC TANDEM SERVICE

(ETS) FEATURES FOR THE DIMENTION PBX ...86

A. M. Gerrish, D. C. Opferman, Bell Labs

COMPUTER AIDED CIRCUIT LAYOUT DESIGN

Chairperson—E. S. Kuh, Univ. Calif.-Berkeley

SINGLE-ROW ROUTING AND EXTENSIONS 9^

E. S. Kuh, Univ. Calif.-Berkeley

WIRABILITY OP LOGIC CIRCUIT PACKAGES IN

LSI AND VLSI 95

W. R. Heller, IBM

ONE-DIMENSIONAL LOGIC GATE ASSIGNMENT AND

INTERVAL GRAPHS 101

T. Ohtsuki, H. Mori, Nippon Elec. Co.,E. S. Kuh, Univ. Calif.-Berkeley,T. Kashiwabara, T. Fujisawa,- Osaka Univ.

NEW ANALYTICAL RESULTS IN WIRE ROUTING PROBLEMS

H. So, Bell Labs

PAPER NOT AVAILABLE

SOFTWARE REQUIREMENTS AND SPECIFICATIONS

Chairperson—C. R. Vick, U.S. Army BMD - ATC

A SEMANTICS-BASED METHOD FOR REQUIREMENTSANALYSIS AND SYSTEM DESIGN ,

107

M. L. Wilson, IBM

REPRESENTATION OF DECISIONS IN A REQUIREMENTS

SPECIFICATION LANGUAGE 113

A. P. Conn, Univ. of Maryland

A COMPREHENSIVE APPROACH TO REQUIREMENTS

PROBLEMS 117

P. Zave, Univ, of Maryland

SOFTWARE REQUIREMENTS AND SPECIFICATIONS(cont'd)

AN APPROACH TO ABSTRACT SPECIFICATION BASED

ON TRACES .123

D. Chester, Univ. Texas-Austin

AN APPROACH FOR CHOOSING A PROGRAMMING

SPECIFICATION METHODOLOGY 128

P. Teplitzky, Peat, Marwick Mitchell s Co.

SCHEMA AND VIEW DESIGN

Chairperson—T. L. Kunii, Univ. of Tokyo, JAPAN

THE UNIVERSAL RELATION ASSUMPTION AND

DECOMPOSITION STRATEGIES FOR SCHEMA

DESIGN 136

W. L. Gewirtz, Bell Labs.

A DATABASE DESIGN SYSTEM WITH CONCEPTUAL

MODEL DESCRIPTION LANGUAGE 141

M. Managaki, K. Kawagoe, Nippon Elec. Co.,JAPAN

OPLAN-A DATA BASE ORIENTED PROGRAMMING

LANGUAGE 147

R. Bonczek, M. Gagle, A. Whinston, Purdue

Univ.

A PICTORIAL DATABASE MANAGEMENT SYSTEM WHICH

USES HISTOGRAM CLASSIFICATION AS A

SIMILARITY MEASURE 153

M. Ward, Y. T. Chien, Univ. Connecticut

RECONSTRUCTION AND DISPLAY OF THREE

DIMENSIONAL IMAGES FROM SERIAL CROSS-

SECTIONS: GEOMETRIC THEORY FOR DATA

STRUCTURES AND SOFTWARE 157

J. S. Todhunter, C. C. Li, Univ. Pittsburgh

PATTERN RECOGNITION SOFTWARE, II

Chairperson—C. H. Chen, Southeastern Mass. Univ.

MATHEMATICAL ASPECTS OF OPTIMAL LINEAR

DISCRIMINANT FUNCTION 161

A. Miyake, Nihon Med. School, JAPAN

LINEAR DISCRIMINANT FUNCTIONS FOR

MINIMUM-ERROR PATTERN RECOGNITION:A DIRECT APPROACH 854

R. E. Warmack, Amoco Prod. Co.

R. C. Gonzalez, Univ. Tennessee

OTPIMAL LINEAR DISCRIMINANT FUNCTIONS AND

THEIR APPLICATION 167S. Shinraura, Sumisho Computer Service Corp.,JAPAN, A. Miyake, Nihon Med. School, JAPAN

ERROR ANALYSIS OF RECURSIVE DIGITAL FILTERS

IMPLEMENTED WITH LOGARITHMIC NUMBER

SYSTEM. , 173J. A. Payne, T. Kurokawa, S. C. Lee,Univ. Oklahoma

TELECOMMUNICATIONS SOFTWARE, II

Chairperson—R. J. Hass, Bell Labs.

WHAT IS DIFFERENT ABOUT OPERATING SYSTEMS FOR

TELEPHONE SWITCHING 179

W. H. Huen, Bell Labs.

SOFTWARE ENGINEERING IN A REAL-TIME CONTROL

APPLICATION 187

C. P. Hunnicutt, S. H. Tsiang, Bell Labs.

PROTEL: A HIGH LEVEL LANGUAGE FOR TELEPHONY...l'U

D. G. Foxall, M. L. Joliat, R. F. Kamel,

J. J. Miceli, Bell-Northern Research, CANADA

PROCESS MANAGEMENT IN A PAGING MACHINE Vfi

K. V. Sastry, Sperry Univac

A RELATIONAL DATA MANAGEMENT SYSTEM FOR

ELECTRONIC SWITCHING SYSTEMS 20!,

W. L. Gewirtz, R. A. Medhekar, F. K. Ng,A. L. Robertson, S. M. Salchenberger, Bell Labs.

SOFTWARE REQUIREMENTS, I

Chairperson—C. Davis, U.S. Army BMDATC

RESOLUTION OF SYSTEM DESIGN PROBLEM 2J-i

A. w. Wymore, Univ. Arizona

TOWARDS FORMAL FOUNDATIONS FOR THE MICHAEL

JACKSON DESIGN METHODOLOGY

M. A. Alford, TRW

(PAPER NOT AVAILABLE)

DEVELOPMENT OF A UNIFIED APPROACH FOR SYSTEMS

REQUIREMENTS ENGINEERING ? 15

R. E. Larson, L. E. Berman, T. L. Steding,

G. Hilborn, Systems Control, Inc.

SYSTEM VALIDATION THROUGH AUTOMATED

REQUIREMENTS VERIFICATION2?2

D. L. Huebner, GTE Automatic Elec. Labs.

DATA BASE DESIGN (SOFTWARE) TOOLS

Chairperson—D. K. Hsiao, Ohio State Univ.

CONSIDERATIONS IN DEVELOPING A DESIGN TOOL

FOR A RELATIONAL DBMS"B

M. Schkoinick, IBM, P. Tiberio,Univ. Bologna, ITALY

TOWARDS SYSTEMATIC AND AUTOMATIC DATA

BASE DESIGN

L. Aguilar, D. K. Hsiao, Ohio State

Univ.


DISTRIBUTED DATA BASE SYSTEMS - A FRAMEWORK

FOR DATA BASE DESIGN

C. Mohan, Univ. Texas-Austin

R. T. Yeh, Univ. Maryland(PAPER NOT AVAILABLE)

VIEW MODELLING AND INTEGRATION USING THE

FUNCTIONAL DEPENDENCY MODEL. i»36

V. Waddle, S. B. Yao, Purdue Univ.,B. C. Housel, IBM

EVOLUTION OF SOFTWARE ENGINEERING TOOLSINTO THE MANUFACTURING OF PRODUCTIONSYSTEMS

Chairperson—R. J. Mayer, USAF ICAM Program

SYSTEMS, METHODOLOGIES AND MANUFACTURING:SELECTING SOLUTION APPROACHES 245

H. M. Hull, V. B. Jumani, L. J. Peters,Boeing Computer Services

DETERMINING FUTURE SYSTEM REQUIREMENTSTHROUGH SIMULATION

J. Canys, R. Willis, Hughes Aircraft(PAPER NOT AVAILABLE)

AUTOIDEF - AN AUTOMATIC TOOL FOR SYSTEMSREQUIREMENTS DEFINITION

F. Barasz, USAF ICAM Program(PAPER NOT AVAILABLE)

AUTOMATIC VISUAL INSPECTION

Chairperson—J. L. Mundy, General Elec.

VISUAL INSPECTION AUTOMATION 251

J. F. Jarvis, Bell Labs.

DATA MODELS FOR AUTOMATIC INSPECTION 256

J. L. Mundy, General Electric Co.

VISUAL PRINTED WIRING BOARD FAULT DETECTION

BY A GEOMETRIC METHOD 260

L. Krakauer, T. Pavlidis, Princeton Univ.

COMPUTER-BASED DIAGNOSTIC AND

THERAPEUTIC SYSTEMS

Chairperson—C. C. Li, Univ. Pittsburgh

CONSULT I IN GENERAL PRACTICE

E. A. Patrick, Purdue Univ.


APPLICATIONS OF COMPUTERS IN RADIATION

TREATMENT PLANNING UTILIZING CT IMAGES 266B. F. Heidtman, Pfizer Med. Systems, Inc.W. Sewchand, Univ. Maryland Hospital

APPLICATION OF COMPUTER IN DYNAMIC CONTROL

OF LINEAR ACCELERATORS FOR RADIATIONTHERAPY 270A. Chung-Bin, T. "Wachtor, Rush Med. Center

STATUS OF A COMPUTER-AIDED SYSTEM FOR

CYTOGENETIC SPECIMEN PREPARATION AND

ANALYSIS 276M. Shaunnessey, A. 0. Martin, Northwestern

Univ., M. Rzeszotarski, C. W. Thomas,B. Isenstein, Case Western Reserve Univ.

SOFTWARE REQUIREMENTS, II

Chairperson—C. Giese, U.S. Army(AIRMICS)

ANALYSIS OF REQUIREMENTS FOR LARGE-SCALE

INFORMATION SYSTEM 282D. K. Jefferson, D. W. Taylor Nav. Ship R&D

AN ANALYSIS OF THE CAPABILITIES OF PROBLEM

STATEMENT LANGUAGE: A LANGUAGE FOR

SYSTEM REQUIREMENTS AND SPECIFICATIONS..... 283E. W. Winters, AT&T

SOFTWARE REQUIREMENTS, II (cont'd)

RLP: AN AUTOMATED TOOL FOR THE PROCESSING 289OF REQUIREMENTSA. M. Davis, T. J. Miller, E. Rhode,B. J. Taylor, GTE Laboratories.

ENHANCED SA FOR REQUIREMENTS ANALYSIS 300R. T. Mittermeier, Univ. of Texas

QUERY DESCRIPTION AND PROCESSING

Chairperson—T. Ichlkawa, Hiroshima Univ.

AN ALGORITHM FOR TREE-QUERY MEMBERSHIPOF A DISTRIBUTED QUERY. 306

C. T. Yu, Univ. of Illinois

M. Z. Ozsoyoglu, Univ. Alberta, CANADA

DESIGN AND IMPLEMENTATION OF A QUERY COMMAND

LANGUAGE USING TRANSITION NETWORKS 313P. J. Conley, E. Gudes, Pennsylvania StateUniv.

SEMANTICS FOR DATA RETRIEVAL DATABASE SYSTEMS 319R. L. Kashyap, R. B. Abhyankar, Purdue Univ.

QUERY-BY-PICTORIAL-EXAMPLE 325

N. S. Chang, K. S. Fu, Purdue Univ.

MANUFACTURING SYSTEMS AND SOFTWARE

DEVELOPMENT METHODOLOGY

Chairperson—F. Barasz, USAF ICAM Program

UNIFIED SDM: THE ICAM APPROACH TO SYSTEMS

& SOFTWARE DEVELOPMENT 331

R. J. Mayer, Air Force ICAM Program

INFORMATION MODELS AND THEIR USE IN

MANUFACTURING. /

T. L. Ramey, R. R. Brown, Hughes Aircraft


MANAGEMENT OF LARGE SCALE SYSTEMS INTEGRATION

DURING THE REQUIREMENTS PHASE 337

R. S. Jones, SofTech, Inc.

THEORETICAL FOUNDATIONS FOR TOOLSMITHINGM. W. Alford, TRW


ROBOT VISION SYSTEMS

Chairperson—R. Paul, Purdue Univ.

PART ACQUISITION VIA THE SRI VISION MODULE 872

R. R. C. Bolles, SRI

LOW-LEVEL PROCESSING FOR REAL-TIME IMAGEANALYSIS 340

R. Eskenazi, J. M. Wilf, Jet Propulsion Lab.

COMPUTER VISION CLASSIFICATION OF AUTOMOTIVE

CONTROL ARM BUSHINGS 344

W. A. Perkins, General Motors Res. Lab.

ACRONYM: A MODEL BASED VISION SYSTEM

T. O. Binford, Stanford Univ.


BIOMEDICAL IMAGE PROCESSING Ii

COMPUTERIZED TOMOGRAPHY

Chairperson—S. J. Dwyer, III, Univ. Kansas

Med. Center

AN INTERACTIVE COMPUTER GRAPHICS SYSTEM FOR

THE COMPUTED TOMOGRAPHIC BREAST SCANNER

(CT/M) 350

W. H. Anderson, C. H. J. Chang, M. A. Tarlton,L. Steven, S. L. Fritz, S. J. Dwyer, III,Univ. Kansas Med. Center

CTIP - AN ON-LINE CT IMAGE PROCESSING

SOFTWARE PACKAGE 35S

H. K. Huang, P. Weiss, H. H. Kraft, GeorgetownUniv. Med. School, B. Heidtman, Pfizer

Med. Systems, Inc.

ORTHOGONAL CUT VIEW GENERATION FOR CT

SCANNED DATA362

C. H. Lee, Syracuse Univ.

SOFTWARE DESIGN

Chairperson—P. B. Berra, Syracuse Univ.

A DESIGN PROCESS FORMALIZATION367

M. Harada, T. L. Kunii, Univ. Texas-Austin

THE PROCESS DESIGN SYSTEM (PDS)m

N. A. Vosbury, System Development Corp.

THE SOFTWARE DESIGN PROCESSOR 380

J. P. Romanos, GTE Sylvania Systems Group

AUTOMATED SOFTWARE DESIGN 384

H. Barina, W. Cobey, J. Rosenbaum, S. White

Grumman Aerospace Corp.

AN ILLUSTRATION OF SYSTEMATIC DESIGN OF

PARALLEL PROGRAMS FOR REAL-TIMEAPPLICATIONS 392

W. T. Mao, Univ. Texas-Austin, R. T. Yeh,Univ. Maryland

FUNCTIONAL DATA DEPENDENCIES

Chairperson—M. Schkolnick, IBM

SEMANTIC ASPECTS OF DATA DEPENDENCIES ANDTHEIR APPLICATION TO RELATIONAL DATABASE

DESIGN 398

K. Tanaka, Kobe Univ., JAPAN, Y. Kambayashi,S. Yajima, Kyoto Univ., JAPAN

DECOMPOSITION OF A RELATION INTO FOURTHNORMAL FORMS 404

R. Y. Fadous, Univ. Michigan-Flint

USE OF ABSTRACTED CHARACTERISTICS OF DATAIN RELATIONAL DATABASES 409

C. Le Viet, S. Yajima, Y. Kambayashi, Kyoto

Univ., JAPAN, K. Tanaka, Kobe Univ., JAPAN

THE UPDATABILITY OF RELATIONAL VIEWS BASED

ON FUNCTIONAL DEPENDENCIES 415

C. R. Carlson, A. K. Arora, Bell Labs.

DISTRIBUTED PROCESSING SYSTEMS, I

Chairperson--G. Kraft, Illinois Inst. Technology

SYSTEM RECOVERY IN DISTRIBUTED DATABASES 421

S. S, Isloor, T. A. Marsland, Univ. Alberta,CANADA

DISTRIBUTED PROCESSING SYSTEMS, I (cont'd)

A SYSTEM FOR RESOURCE SHARING IN A DISTRIBUTED

ENVIRONMENT - RIDE427

P. M. Lu, Bell Labs.

THE OPERATING SYSTEM FOR TECHNEC43l+

T. W. Christopher, Illinois Inst. Technology

COMPILERS FOR DISTRIBUTED SYSTEMS436

M. W. Evens, Illinois Inst. Technology

ROBOT MANIPULATOR CONTROL LANGUAGES AND

SYSTEMS

Chairperson—A. K. Bejczy, JPL

A CONCURRENT ROBOT CONTROL LANGUAGE 442

C. F. Ruoff, Jet Propulsion Lab.

A SYSTEMATIC METHOD OF HYBRID POSITION/FORCE CONTROL OF A MANIPULATOR 446

J. J. Craig, M. II. Raibert, Jet Propulsion Lab.

VAL: A VERSATILE ROBOT PROGRAMMING AND CONTROL

SYSTEM 878

B. Shimano, Unimation, Inc.

A STRUCTURED APPROACH TO ROBOT PROGRAMMING

AND TEACHING 452

K. Takase, R. P. Paul, E. J. Berg, Purdue Univ.

MULTIPROCESSOR-CONTROLLERS FOR MECHANICAL

MANIPULATORS 458

J. Y. S. Luh, C. S. Lin, Purdue Univ.

BIOMEDICAL IMAGE PROCESSING II: MICROSCOPY

Chairperson—O. Tretiak, Drexel Univ.

COMPUTER SOFTWARE FOR INTERPRETING LUNG

TISSUE MICROGRAPHS 164

J. T. Tou, R. W. DePree, W. M. Ferng, Univ. Fla.

CANONICAL REPRESENTATIONS FOR TISSUES AND

TEXTURES 1'0

J. M. S. Prewitt, Natl. Inst, Health

INTELLIGENT MICROSCOPES: A SCIENTIFIC POEM.... 477

J. M. S. Prewitt, Natl. Inst. Health

SOFTWARE TESTING

Chairperson—'C. V. Ramamoorthy, Univ. Calif.-

Berkeley

THE THEORETICAL METHODS OF SOFTWARE ERROR TESTING

AND PRACTICAL APPLICATION

L. Varga, Hungarian Academy of Sciences,HUNGARY


SYNTHESIS OF DIAGNOSABLE WEIGHTED COMPUTERSYSTEM 488

C. Chen, Peking Inst, of Post & Telecomm.,PEOPLE'S REPUBLIC OF CHINA

ON PROGRAM TESTING CRITERIA 494

K.-C. Tai, N.C. State Univ.

TEST PLAN GENERATION USING FORMAL GRAMMARSJ. A. Bauer, A. B. Finger, GTE Auto. Elec.Labs.


SOFTWARE TESTING (cont'd)

OPTIMUM RELEASE TIME FOR SOFTWARE SYSTEMS.... 500K. Okumoto, Rutgers Univ., A. L. Goel,Syracuse Univ.

COMPUTER GRAPHICS AND PICTURE DATA BASE

Chairperson—B. Mittman, Northwestern Univ.

ALGORITHM DEVELOPMENT FOR REAL-TIME AUTOMATICVIDEO TRACKING SYSTEMS 504R. J. Schalkoff, E. S. McVey, Univ. Virginia

PERFORMANCE EVALUATION OF A TEST DISTRIBUTED

GRAPHICS SYSTEM 512J. R. Rao, W. F. Winters, L. D. Schmidt,McDonnell Douglas

DESIGN AND IMPLEMENTATION OF ABSTRACT

GRAPHICAL DATA TYPES 519D. Thalmann, Universite de Montreal, CANADA

N. M. Thalmann, Ecole des Mautes Etudes

Commerciales, CANADA

PICTURE ALGEBRA FOR INTERFACE WITH

PICTORIAL DATABASE SYSTEMS 525

B. S. Lin, S. K. Chang, Univ. Illinois-Chicago Circle

A HEURISTIC METHOD FOR GENERALIZED HYPERCUBEENCODING 531K. K. Singh, S.' K. Chang, Univ. Illinois-

Chicago Circle, C. C. Yang, Nav. Res. Lab.

DISTRIBUTED PROCESSING SYSTEMS, II

Chairperson—H. Y. Chang, Bell Labs.

A FRAMEWORK FOR DISTRIBUTED DATA PROCESSINGREQUIREMENTS 535S. W. Smoliar, Gen. Res. Corp., J. E. Scalf,U. S. Army BMD-ATC

TOTAL ENERGY MANAGEMENT IN A FACTORY THROUGHDISTRIBUTED PROCESSING 542

M. Kanai, Toshiba Corp., JAPAN

DISTRIBUTED PROCESSING TERMINAL SYSTEMFOR CAD/CAM 547

M. Nio, H. Kataoka, T. Ochi, Hitachi,JAPAN

A DISTRIBUTED FACILITIES MANAGEMENT SYSTEM.. .553

C. A. Batterman, Georgia Inst. Tech.

BIOMEDICAL IMAGE PROCESSING III:

RADIOLOGY

Chairperson—E. Barrett, Natl. Science Found.

COMPUTER TECHNIQUES IN BREAST CANCERDETECTION BY ABSOLUTE TEMPERATURE

THERMOGRAPHY 559

J. D. Haberman, J. E. Goin, T. J. Love,H. Berry, Univ. Oklahoma, F. R. Ohnsorg,Honeywell Systems

BIOMEDICAL IMAGE PROCESSING III:RADIOLOGY (cont'd)

COMPARISON OF COMPUTER THERMOGRAPHIC IMAGEPARAMETERS

M. Negin, E. H. McFadden, P. S. Lafollette,Drexel Univ.


ANATOMICAL MODELS FOR MEDICAL IMAGES56s

D. H. Ballard, U. Shani, R. B. Schudy,Univ. Rochester

SEGMENTATION ALGORITHMS FOR ABDOMINAL

COMPUTERIZED TOMOGRAPHY SCANS 57!P. G. Selfridge, Univ. Rochester,J. M. S. Prewitt, Natl. Inst. HealthC. R. Dyer, Univ. IllinoisS. Ranade, Univ. Maryland

SOFTWARE MANAGEMENT: APPROACHES & EXPERIENCE

Chairperson—J. Distaso, TRW

PANEL

DATA BASE MANAGEMENT

Chairperson—S. K. Chang, Univ. Illinois-

Chicago Circle

STRUCTURAL LOCKING FOR CONCURRENCY CONTROL

IN DATA BASE SYSTEMS 578

S. Lee, Univ. of Texas, AustinR. T. Yeh, Univ. Maryland

SELECTIVE RELOADING OF VERY LARGE DATABASES 583

D. A. Menasce, Pontificia Universidade,Catolica, BRAZIL

CORRECTNESS OF CONCURRENCY CONTROL AND

IMPLICATIONS IN DISTRIBUTED DATABASES 588

D. Z. Badal, UCLA

SECURITY IN PARTITIONED DYNAMIC

STATISTICAL DATABASES 594

F. Y. Chin, G. Ozsoyoglu, Univ. Alberta,CANADA

SPECIAL SOFTWARE TECHNIQUES

Chairperson—D. B. Simmons, Texas A&M Univ.

A FAST SELECTIVE TRAVERSAL ALGORITHM FOR6n1

BINARY SEARCH TREES

T. Kikuno, N. Yoshida, H. Kusumoto,Hiroshima Univ., JAPAN

ASSERTION TECHNIQUES FOR DYNAMIC MONITORING„

OF LINEAR LIST DATA STRUCTURESbub

S. S. Yau, J. L. Ramey, Northwestern Univ.

SOFTWARE GENERATION TOOLS FOR BANK SWITCHEDR

MEMORY 01i

T. J. Pedersen, Bell Labs,

SPECIAL SOFTWARE TECHNIQUES (cont'd) SOFTWARE QUALITY

DEVELOPMENT AND OPTIMIZATION OF A TEXT

COMPRESSION/DECOMPRESSION ALGORITHM 618

S. G. Abbey, J. Geller, Rockland Res.

Inst., A. D'Errico, SUNY, Stony Brook

MICROCOMPUTER SOFTWARE

Chairperson—K. King, Digital Equip. Corp.

AN OPTIMIZING PASCAL COMPILER 624

R. N. Faiman, A. A. Kortesoja, Mfg. Data

Systems, Inc.

ZLISP: A LISP FOR A MICROCOMPUTER 629

L. Hay, R. Larson, Univ. Illinois-ChicagoCircle

A PARSER GENERATION TOOL FOR MICRO¬

COMPUTERS 631

W. F. Burger, Univ. Texas-Austin

BIOMEDICAL IMAGE PROCESSING IV:

NUCLEAR MEDICINE

Chairperson—E. Gose, Univ. Illinois-

Chicago Circle

THE IMPACT COMPUTERS OF NUCLEAR

CARDIOLOGY 635

N. M. Alpert, H. W. Strauss, G. M. Pohost,J. Lazewatsky, E. Tarolli, R. H. Moore,

Mass. General Hospital

EFFICIENT ALGORITHMS APPLIED TO RADIOISOTOPE

DENSITY RECONSTRUCTION64x

W. G. Wee, H. M. Lee, Univ. Cincinnati

NUCLEAR IMAGE SEQUENCE DECOMPOSITION647

E. E. Gose, W. H. Rose, W. E. Barnes, Univ.

Illinois, E. Kaplan, J. S. Arnold, Hines

VA Hospital

COMPUTER ANALYSIS OF RADIONUCLIDE

HEPOTOBILIARY STUDIES' 6$4

W. E. Barnes, J. S. Arnold, N. Khedkar,T. Milo, E. E. Gose, Hines VA Hospital

FUNCTIONAL MAPPING IN THE EVALUATION OF

RENAL SCINTIGRAPHIC STUDIES 660

T. B. Stibolt, Jr., Natl. Inst. Health

IMPLEMENTING A SOFTWARE MANAGEMENT

DISCIPLINE

Chairperson—D. J. Reifer, Software Mgmt.Consultants

PANEL 666

ROLES OF THE DATA DICTIONARY SYSTM

Chairperson—B. Leong-Hong, Natl. Bur. StdB.

667PANEL

Chairperson—L. A. Belady, IBM

PROGRAM FACTORS AS PREDICTORS OF PROGRAM

READABILITY 668

G. E. DeYoung, St. Louis Univ., G. R. Kampen,

Univ. Illinois

SOME STABILITY MEASURES FOR SOFTWARE

MAINTENANCE 674

S. S. Yau, Northwestern Univ.

J. S. Collofello, Arizona St. Univ.

ATTAINING SOFTWARE PRODUCT INTEGRITY 680

E. H. Bersoff, V. D. Henderson, S. G. Siegel,

CTEC, Inc.

SOFTWARE SCIENCE APPLICATION

Chairperson—V. B. Schneider, Aerospace 'Corp.

EVALUATION OF LENGTH AND LEVEL FOR SIMPLE

PROGRAM SCHEMES 688

J-L Lassez, D.V.D. Knijff, Univ. Melbourne,AUSTRALIA

A COMPARISON OF MEASURES OF CONTROL FLOW

COMPLEXITY 695

A. L. Baker, S. H. Zweben, Ohio State Univ.

EXPLORING SOFTWARE SCIENCE RELATIONS IN

COBOL AND APL 702S. H. Zweben, K-C Fung, Ohio State Univ.

NEW DATA SUPPORTING THE SOFTWARE PROJECT

COSTING FORMULAS 708

V. B. Schneider, Aerospace Corp.

BIOMEDICAL IMAGE PROCESSING V:

NEW ADVANCES

Chairperson—N. Caplan, Natl. Sci. Found.

PARALLEL ARCHITECTURES FOR IMAGE PROCESSING 712

S. R. Sternberg, Envir. Res. Inst. Michigan

LANGUAGES FOR BIOMEDICAL IMAGE PROCESSING 718

K. Preston, Carnegie-Mellon Univ.

COMPUTER GRAPHIC MODELS FOR THE HUMAN FACE 724

F. I. Parke, Case Western Res. Univ.

AIR POLLUTION MONITORING BY COMPUTER

TOMOGRAPHY 867

R. Byer, Stanford UniV.

SOME ASPECTS OF SYSTEM MANAGEMENT

Chairperson—J. Staudhammer, N.C. State Univ.

SOME PRACTICAL CONSIDERATIONS FOR MANAGEMENTINFORMATION SYSTEMS 728H. E. Dunsmore, Purdue Univ.

THE TECHNOLOGY OF SYSTEM MANAGEMENT 860M. A. Belsky, IBM

ADAPTATION OF THE BASIC HIERARCHY FOR

ENCRYPTION KEY MANAGEMENT TO SERVE

APPLICATIONS WITH CONFLICTING

REQUIREMENTSJ. Everton, Sperry Univac


SPECIAL TOPICS IN COMPUTER SOFTWARE I

Chairperson—L. Stucki, Boeing Computer Serv.

AUTOMATIC PROCESSING OF THE TOPOLOGICAL

OPERATIONS LANGUAGE: A LOGIC ORIENTEDAPPROACH

S. Parthasarathy, P. Deschizeux,Institut Natl. Polytechnique de Grenoble,FRANCE


EVOLUTIONARY DRAWING FORMALIZATION IN AN

ENGINEERING DATABASE ENVIRONMENT 732A. P. Buchmann, Univ. Texas, T, L. Kunii,Univ. Tokyo, JAPAN

AN INTERACTIVE DESIGN SYSTEM FOR ENGINEERING

DRAWINGS 738K. Y. Cheng, Inst. Info. Sci., REPUBLIC OF

CHINA

TREATMENT OF SYNTACTIC ERRORS IN AN ATLAS

TRANSLATOR 744

G. Terrevoli, Selenia S.p.A., ITALY

SCIENTIFIC AND STATISTICAL COMPUTING, 1979

Chairperson—J. M. S. Prewitt, Natl. Inst.

Health

PANEL

ON STATISTICAL COMPUTER PROGRAMS AND LITERARY

CRITICISM. 748

M. E. Tartar, Univ. Calif.- Berkeley

IMAGE PROCESSING I

Chairperson—T. Pavlidis, Princeton Univ.

A GRAPH-THEORETICAL APPROACH TO REGION

DETECTION 7E1

N. Ohbo, K. Shlmlzu, T. L. Kunii, Univ.

Tokyo, JAPAN

IMAGE PROCESSING I (cont'd)

A HEURISTIC ALGORITHM FOR INTERSECTION

CLEANUP—IMPLEMENTED IN IGL 757

G. S. Goldman, Holmes & Narzer, Inc.

A PARAMETRIC MODEL FOR EDGE DETECTION 884

G. I. Tretiak, J. Herman, Drexel Univ.

RIPPLE FILTERS - A NEW REGION GROWING

ALGORITHM FOR SCENE ANALYSIS 849

D. B. Cooper, L. Reiss, Brown Univ.


SOFTWARE DEVELOPMENT TOOLS

Chairperson—R. Fairley, Colorado State Univ.

PANEL763

HUMAN FACTORS AND SOFTWARE DESIGN

Chairperson—A. S. Kamlet, Bell Labs

PANEL—E. M. Johnson, U. S. Army Res. Inst.

R. F. Rosen, Bell Labs.

A METHODOLOGICAL APPROACH TO ANALYSIS AND

EVALUATION OF DECISION SYSTEMS 764

M. J. Lee, N. C. State Univ., R. L. Ernst,Ohio State Univ.

SPECIAL TOPICS IN COMPUTER SOFTWARE II

Chairperson—D. Fife, Natl. Bur. Stds.

AN EXPERIMENTAL EVALUATION OF DATA

ABSTRACTION ,

77°

R. N. Meeson, Jr., Gen. Res. Corp., A, Pyster,Univ. of California

APPLICATION OF PATTERN RECOGNITION TECHNIQUESTO FAULT TOLERANT SOFTWARE SYSTEMS

//b

S. D. Shapiro, Stevens Inst. Tech.

THE RELATIONSHIP BETWEEN STUDENT GRADES„„

AND SOFTWARE SCIENCE PARAMETERSB

V. Y. Shen, Purdue Univ.

A PERFORMANCE ANALYSIS OF SINGLE VERSUS„gR

MULTIPLE PROCESSORS

E. Arthurs, B. W. Stuck, Bell Labs

EXECUTION TIME BEHAVIOR OF CERTAIN HIGH LEVEL

LANGUAGE CONSTRUCTS ON A FEEDBACK DATA

FLOW ARCHITECTURE .789C. Retnadhas, West. Illinois Univ.

PETRI NETS AND OTHER COMPUTATION MODELS

Chairperson—T. Murata, Univ. Illinois-

Chicago Circle

COMPARING MODELS OF PARALLEL COMPUTATION BY

HOMOMORPHISMS 794R. E. Miller, T. Kasai, IBM

PERFORMANCE EVALUATION OF CONCURRENT

ASYNCHRONOUS SYSTEMS USING PETRI NETS 800

C. V. Ramamoorthy, Univ. Calif.-BerkeleyG. S. Ho, Bell Labs.

USING PREDICATE/TRANSITION-NETS TO MODEL AND

ANALYZE DISTRIBUTED DATABASE SYSTEMS 801

K. Voss, GMD-ISF, FEDERAL REPUBLIC GERMANY

SYNTHESIS OF MARKED GRAPH COMPUTATION MODELS

FOR PRESCRIBED RESOURCES AND PERFORMANCE... 807

T. Murata, Univ. Illinois

COMPUTER-AIDED MODELING OF INFORMATIONSYSTEMS

D. Teiohroew, S. H. Spewak, E. A. Hershey,III, Univ. Michigan(PAPER NOT AVAILABLE)

IMAGE PROCESSING II

Chairperson—A. Miyake, Nihon Med. School,JAPAN

HIERARCHICAL STRING PATTERN MATCHING USINGDYNAMIC PATTERN MATCHING MACHINES 813

Y. Kambayashi, S. Yajima, Kyoto Univ.,JAPAN, N. Nakatsu, Aichi Univ., JAPAN

TWO-STAGE DATA FILE COMPRESSION 819

P. S. Liu ,!. Y, Young, Univ. Miami

TWO N-POINT FAST WALSH TRANSFORM SORTINGALGORITHMS m

E. E. Wallingford, Royal Military Collegeof CANADA, J. C. Culpepper, U.S. Nav.

Academy

FOCUS SOFTWARE 82S

A. D. Edgar, IBM, S. C. Lee, Univ. Oklahoma

MORPHOLOGICAL ANALY'SIS OF SIMPLIFIED CHINESEIDEOGRAPHS AND A HEURISTIC APPROACH FOR

THEIR MACHINE RECOGNITION 83Z

S. T. Bow, Acadenda Siniqa, SHANGHAI, CHINA

SIMULATION CASE HISTORIES

Chairperson—N. F. Schneidewind, Naval

Postgraduate School

A SHINING COMPUTER SIMULATION PROJECT

AFFIRMS: THE OUTLOOK FOR SOLAR CELL

POWER IS BRIGHT. 837A. Kran, IBM

CASE STUDY OF SOFTWARE COMPLEXITY AND

ERROR DETECTION SIMULATION 843N. F. Schneidewind, Nav. Postgrad. School

novembert>: i utonal hhhh|fflh^ h^hb^b compsac/ · evolution of software engineering tools into...

Documents