%A Per Brinch Hansen
%T A keynote address on concurrent programming
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 1-6

%A E.P. Damon
%T A management approach to total computer productivity
at Goddard Space Flight Center
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 7-12

%A H.A. Bauer
%A R.H. Birchall
%T Managing large scale software development
with an automated change control system
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 13-18

%A J.B. Synnott,\ III
%T Managing software development - requirements to delivery
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 19-24

%A K. Shizuka
%A S. Sakashita
%T Short Cobol - a practical tool to reduce tedious programming procedures
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 25-29

%A L.J. Osterweil
%A J.R. Brown
%A L.G. Stucki
%T ASSET: a lifecycle verification and visibility system
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 30-35

%A R.N. Taylor
%A L.J. Osterweil
%T A facility for verification, testing and documentation
of concurrent process software
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 36-41

%A L.S. Hammond
%A D.L. Murphy
%A M.K. Smith
%T A system for analysis and verification of software design
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 42-47

%A S.S. Lamb
%A V.G. Leck
%A L.J. Peters
%A G.L. Smith
%T SAMM: a modeling tool for requirements and design specification
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 48-53

%A J.B. Munson
%T Software maintainability: a practical concern for lifecycle costs
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 54-59

%A S.S. Yau
%A J.S. Collofello
%A T. MacGregor
%T Ripple effect analysis of software maintenance
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 60-65

%A K. Okumoto
%A A.L. Goel
%T Availability and other performance measures of software systems
under imperfect maintenance
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 66-70

%A P.J. Denning
%T Working sets today
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 71-77

%A S.G. Chappell
%A N. Guttman
%A W.H. Jessop
%A T.L. Shockey
%T EPLX: a high level language for electronic switching systems
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 78-83

%A J.T. Beckett
%A S.W. Ng
%T A general purpose microcode assembler
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 84-89

%A C.L. McGowan
%T Management planning for large software projects
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 90-92

%A G.A. Korn
%T Closing the software gap for interactive mini/microcomputation:
direct execution of microprogrammed block-diagram primitives
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 93-103

%A D.A. Anderson
%T A microprocessor operating system for real-time applications
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 104-109

%A F.A. Salomon
%T Software development for microprocessors - a case study
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 110-113

%A E.F. Miller,\ Jr.
%T Program testing - an overview for managers
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 114-119

%A Y. Chu
%T Interprocedure structure
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 120-125

%A M.H. Halstead
%T Management prediction - can software science help ?
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 126-128

%A C.A. Wiecek
%A T.L. Booth
%T Realization considerations for dynamic performance analysis
in automated software design
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 129-134

%A T.G. Glagowski
%A J.R. White
%T A relational view of a software design model
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 135-140

%A C. Whitby-Stevens
%T Towards the performance evaluation of distributed computing systems
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 141-146

%A E.C. Van\ Horn
%T Software evolution using the Seer data base
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 147-152

%A T.G. Hallin
%A R.C. Hansen
%T Toward a better method fo software testing
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 153-157

%A J.A. Gaines,\ Jr.
%T An external debugging system for weapon system programs
written in a higher level language
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 158-162

%A S.S. Yau
%A F.C. Chen
%A K.H. Yau
%T An approach to real-time control flow checking
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 163-168

%A T.S. Chow
%T Analysis of software design modeled by multiple finite state machines
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 169-174

%A G.P. O'Leary
%T The design of a high-speed arithmetic processor
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 175-176

%A T. Pettibone
%T Fortran subroutine initialization and communication
in a two processor environment
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 177-182

%A R.S. Norin
%T Sparse matrix calculations using an array processor
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 183-187

%A B.N. Moore
%A R. Penumalli
%T Simulation of relativistic electron beams on an AP-120B
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 188-193

%A G.I. Davida
%A D.L. Wells
%A J.B. Karn
%T Security and privacy
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 194-203

%A J.K. Millen
%T Example of a formal flow violation
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 204-208

%A R.A. DeMillo
%A D. Dobkin
%T Recent progress in secure computation
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 209-214

%A D.E. Denning
%T A method for maintaining routing data in automated record keeping systems
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 215-219

%A D.K. Hsiao
%A D.S. Kerr
%A S.E. Madnick
%T Operating system security - a tutorial of current research
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 220-228

%A R. Turn
%T Technical aspects of privacy protection
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 229-234

%A Y. Nakamura
%A R. Miyahara
%A H. Takeuchi
%T Complementary approach to the effective software development environment
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 235-240

%A J.L. Uhrig
%T System requirements specification for real-time systems
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 241-246

%A A. Schlukbier
%T Small business applications for microcomputers
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 247-252

%A K.S. Shankar
%T Data structures, types and abstractions (abstract only)
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 253

%A W.E. Boebert
%A W.R. Franta
%A E.D. Jensen
%A R.Y. Kain
%T Decentralized executive control in distributed computer systems
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 254-258

%A H.F. Li
%A C.C. Lau
%T A distributed multiprocessor traffic control system
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 259-264

%A J.G. Krishnayya
%A N. Viswanathan
%T Information system for steel distribution in India:
DDP as an appropriate technology
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 265-269

%A S.R. Kimbleton
%T Data sharing protocols: structure, requirements and interrelationships
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 270-276

%A Y.E. Lien
%A J.H. Ying
%T Design of a distributed entity-relationship database system
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 277-282

%A S.S. Isloor
%A T.A. Marsland
%T Am effective "on-line" deadlock detection technique
for distributed data base management systems
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 283-288

%A P.S. Para
%T CLIO - a relational data base management system
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 289-294

%A J.R. McSkimin
%T REDAS - a relational data access system for real-time applications
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 295-300

%A T. Martin
%T Realtime programming language PEARL - concept and characteristics
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 301-306

%A I.L. Shaw
%A W.A. Adblad
%A A.M. Pavlovic
%T Process control languages -
designer's perspective of adequacy and future requirements
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 307-309

%A L.A. Clarke
%T Testing: achievements and frustrations
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 310-314

%A R. Hamlet
%T Test reliability and software maintenance
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 315-320

%A W.E. Howden
%T Functional program testing
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 321-325

%A C.G. David
%A C.R. Vick
%T The software development system: status and evolution
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 326-331

%A M.W. Alford
%T Software requirements methodology (SREM) at the age of two
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 332-339

%A P.C. Belford
%T Experience utilizing components of the software development system
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 340-345

%A W.C. McDonald
%A J.M. Williams
%T The advanced data processing testbed
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 346-351

%A D.F. Palmer
%A W.M. Denny
%T Distributed data processing requirements engineering: high level DDP design
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 352-357

%A J.T. Lawson
%A M.P. Mariani
%T Distributed data processing system design -
a look at the partitioning problem
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 358-363

%A H. Fitzgibbon
%A B. Buckles
%A J. Scalf
%T Distributed data processing design evaluation through emulation
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 364-369

%A R.T. Yeh
%A P. Chang
%A C. Mohan
%T A multi-level approach to data base design
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 370-375

%A D.O. Knudson
%T Obtaining data base management system independence
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 376-381

%A T.L. Kunii
%A J.C. Browne
%A H.S. Kunii
%T An approach for evolutionary database system design
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 382-386

%A H. Weber
%T A software engineering approach to data base systems
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 387-395

%A Y. Matsumoto
%A S. Nakajima
%A S. Yamamoto
%A T. Sakai
%T SPS: a software production system for mini-computers and micro-computers
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 396-401

%A D. Johnson
%A C. Kolberg
%A J. Sinnamonm
%T A programmable system for software configuration management
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 402-407

%A C.L. Braun
%A B.L. Wolman
%T Tools and techniques for implementing a large compiler on a small computer
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 408-414

%A J.D. Grimes
%T How changing technology should affect
computer science and engineering education
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 415-418

%A R.G. Kayel
%T Data independent hierarchies
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 419-423

%A D.R. Fitzwater
%T A decomposition of the complexity of system development processes
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 424-429

%A R.A. Thompson
%T The structural design of a data compression system
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 430-434

%A H.J. Kopp
%T Experience with the Datatran system
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 435-439

%A J.W. Tippie
%T Modular design of minicomputer applications
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 440-443

%A J.F. Gloudeman
%T The modularity of MSC/NASTRAN
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 444-446

%A H.C. Honeck
%A M.M. Anderson
%T The Joshua modular data-based system
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 447-451

%A L.L. Beck
%T A generalized implementation method for relational data sublanguages
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 452-457

%A C. Yang
%A G. Salton
%T Best-match querying in general database systems - a language approach
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 458-463

%A J.D. Gabbe
%A T.B. London
%A R.E. Miller
%A J.D. Beyer
%T Applications of superimposed coding to partial-match retrieval
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 464-469

%A C.W. Shen
%A R.C.T. Lee
%T A nearest neighbor search technique with short zero-in time
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 470-475

%A R.R. Bate
%A G.T. Ligler
%T An approach to software testing: methodology and tools
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 476-480

%A S. Cushing
%T Security aspects of higher order software
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 481-486

%A F. Liguori
%A F.A. Schreiber
%T The software configurator: an aid to the industrial production of software
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 487-492

%A J.D. Musa
%T The use of software reliability measures in project management
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 493-498

%A W.R. Bogdon
%T Life cycle support of Navy airborne antisubmarine warfare tactical software
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 499-503

%A G.S. Garmon
%T Restructuring the Navy Tactical Data System
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 504-507
%K NTDS

%A N.F. Schneidewind
%T Software engineering of the micro/mini computer subnet in computer networks
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 508-513

%A F. Stepczyk
%T A case study in real-time distributed processing design
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 514-519

%A A.C.M. Chen
%T Computerized control and protection of electric power distribution system
(abstract only)
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 520

%A P.B. Moranda
%T Limits to program testing with random number inputs
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 521-526

%A M.R. Paige
%T An analytical approach to software testing
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 527-532

%A W.T. Chen
%A J.P. Ho
%A C.H. Wen
%T Dynamic validation of programs using assertion checking facilities
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 533-538

%A C. Gannon
%T JAVS: a Jovial automated verification system
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 539-544

%A J.R. Fragola
%T The IEEE standards generation process
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 545-550

%A M. Landes
%T RADC software development specification
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 551-554

%A F. Buckley
%T Developing a standard for software quality assurance plans
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 555-558

%A R. Konakovsky
%T Safety evaluation of computer hardware and structural equivalence
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 559-564

%A R.C. Cheung
%T A user-oriented software reliability model
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 555-570

%A D.E. Wright
%A B.D. Carroll
%T An automated data collection system for the study of software reliability
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 571-576

%A A.N. Sukert
%T A four-project empirical study of software error prediction models
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 577-582

%A T. Agerwala
%A B. Lint
%T Communication issues in parallel algorithms and systems
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 583-588

%A K.J. Thurber
%T Computer communication techniques
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 589-594

%A W.E. Boebert
%A W.R. Franta
%A E.D. Jensen
%A R.Y. Kain
%T Kernel primitives of the HDXP executive
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 595-600

%A K.J. Thurber
%A D.R. Anderson
%T Hardware/software trade-offs: hardware design viewpoint
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 601-606

%A F.M. Goertz
%A D.C. Plisch
%T Hardware vs. software design tradeoffs for maintenance functions
in high-reliability real time systems
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 607-613

%A D.C. Rine
%A G. Davida
%T Programs in software engineering education
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 614-619

%A N.S. Styer,\ Jr.
%A J.G. Bredeson
%T Computer-assisted data communications engineering instruction
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 620-625

%A R.A. Becker
%A J.M. Chambers
%T Design and implementation of the "S" system for interactive data analysis
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 626-629

%A W. Pferd
%A K. Ramachandran
%T Computer-aided automatic digitizing of engineering drawings
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 630-635

%A L.R. Marker
%T Process construction - an overview
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 636-644

%A C.B. Weinstock
%A M.W. Green
%T Reconfiguration strategies for the Sift fault-tolerant computer
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 645-650

%A K.H. Kim
%A H. Hecht
%A J. Huang
%A M. Naghibzadeh
%T Strategies for structured and fault-tolerant design of recovery programs
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 651-656

%A M. Hamilton
%A S. Zeldin
%T Reliability in terms of predictability
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 657-662

%A J.G. Yee
%A S.Y.H. Su
%T A scheme for tolerating faulty data in real-time systems
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 663-667

%A D.P. Agrawal
%A T. Feng
%A C. Wu
%T A survey of communication processor systems
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 668-673

%A A.K. Agrawala
%A J.R. Agre
%A K.D. Gordon
%T The slotted ring vs. the token-controlled ring: a comparative evaluation
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 674-679

%A P. Zafiropulo
%T Design rules for producing logically complete two-process interactions
and communications protocols
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 680-685

%A S. Schindler
%A J. Didier
%A M. Steinacker
%T Design and formal specification
of an X.25 packet level protocol implementation
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 686-691

%A J. Livesey
%A E. Manning
%T What Mininet has taught us about programming style
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 682-697

%A P.B. Berra
%T Recent developments in data base and information retrieval
hardware architecture
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 698-703

%A A.J. Smith
%T Directions for memory hierarchies and their components:
research and development
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 704-709

%A V. Mayper,\ Jr.
%A L.S. Michels
%A A.L. Nagy
%T A practical text search system for unindexed data
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 710-715

%A R. A. Liuzzi
%A P.B. Berra
%T A data base machine design and evaluation facility
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 716-721

%A A.Y. Teng
%A M.T. Liu
%T A formal approach to the design and implementation
of network communication protocol
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 722-727

%A B.T. An
%A E. Gelenbe
%T Near optimal behavior of the packet switching broadcat channel
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 728-734

%A J.T. Tou
%T Computer-based intelligent information system
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 735-740

%A Y. Wilamowsky
%A M. Shurin
%A A. Tenenbaum
%A G. Weinberger
%T A system for labor negotiations
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 741-743

%A T.H. Bruggers
%T Business graphics: making computers work for management
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 744-748

%A K.W. Krause
%A L.W. Diamant
%T A management methodology for testing software requirements
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 749-754

%A E.J. Strong,\ III
%T Software reliability and maintainability in large-scale systems
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 755-760

%A S. Austin
%A D. MacCrone
%A J.P. Ryan
%T Computer program development design
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 761-763

%A C.E. Martin
%A R.F. O'Bleness,\ Jr.
%T Life cycle management concepts for Air Force computer resources
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 764-768

%A J.L. Baer
%T Software control and program design issues for alterable architectures
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 769-774

%A S.P. Kartashev
%A S.I. Kartashev
%T Software problems for dynamic architectures:
adaptive assignment of hardware resources
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 775-780

%A G.J. Lipovski
%T On some parallel programming techniques
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 781-789

%A F. Saheban
%A A.D. Friedman
%T A survey and methodology of reconfigurable multi-module systems
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 790-796

%A A.V. Pohm
%T Impact of changing memory technology on computer education
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 797-802

%A R. Vemuri
%A J.V. Cornacchio
%T Continuing education in microprocessors: use of software simulators
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 803-806

%A R.H. Austing
%A G.L. Engel
%T Computers and society: report of a workshop
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 807-813

%A M.A. Holthouse
%A S.G. Greenberg
%T Software technology for scientific and engineering applications
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 814-818

%A B.A. Wyld
%T ASTMS and the computing industry
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 819-821

%A K.M. Chandy
%A J. Misra
%T A nontrivial example of concurrent processing: distributed simulation
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 822-826

%A L.H. Putnam
%T Example of an early sizing, cost and schedule estimate
for an application software system
%J Proceedings of the Second IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1978
%K compsac compsac2 compsac78
%P 827-832

%A C.L. McClure
%T Software development: a failure and a success
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 1-6

%A L.D. Lattanzi
%T An analysis of the performance of a software development methodology
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 7-11

%A H.P. Richter
%T Effective computer program development and use
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 12-17

%A M.S. Laventhal
%T A methodology for the development of reliable synchronization software
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 18-23

%A W.E. Wright
%T An AVL algorithm for secondary memory
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 24-30

%A B.A. Dutton
%A C. Chen
%A J.R. Driscoll
%T A relational DBMS conforming to an architecture
which incorporates a physical navigation language
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 31-38

%A J.M. Chang
%A K.S. Fu
%T Extended k-d tree database organization:
a dynamic multi-attribute clustering method
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 39-43

%A J.D. Lawrence
%A H.R. Johnson
%A J.A. Larson
%T Language files and data bases - two I/O systems or one ?
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 44-49

%A S.L. Tanimoto
%A P. Harrison
%T Task driven image understanding: Lisp programming for vision research
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 50-54

%A G.T. Toussaint
%A R.S. Poulsen
%T Some new algorithms and software implementation methods
for pattern research recognition
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 55-63

%A C.H. Chen
%T Statistical image processing and recognition
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 64-68

%A T.L.C. Chen
%T Reflection on the implementation of a software design
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 69-73

%A R.C. Cheung
%T Functional multiprocessing in an experimental digital switching office
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 74-79

%A J.B. Pace
%A O.G. Johnson
%T A microprocessor line concentration system
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 80-85

%A A.M. Gerrish
%A D.C. Opferman
%T Development of electronic tandem service (ETS) features for the dimension PBX
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 86-93

%A E.S. Kuh
%T Single-row routing and extensions (abstract only)
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 94

%A W.R. Heller
%T Wireability of logic circuit packages in LSI and VLSI
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 95-100

%A T. Ohtsuki
%A H. Mori
%A E.S. Kuh
%A T. Kashiwabara
%A T. Fujisawa
%T One-dimensional logic gate assignment and interval graphs
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 101-106

%A M.L. Wilson
%T A semantics-based method for requirements analysis and system design
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 107-112

%A A.P. Conn
%T Representation of decisions in a requirements specification language
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 113-116

%A P. Zave
%T A comprehensive approach to requirements problems
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 117-122

%A D. Chester
%T An approach to abstract specification based on traces
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 123-127

%A P. Teplitzky
%T An approach for choosing a program specification methodology
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 128-135

%A W.L. Gewirtz
%T The universal relation assumption
and decomposition strategies for schema design
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 136-140

%A M. Managaki
%A K. Kawagoe
%T A design design system with conceptual model description language
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 141-146

%A P. Bonczek
%A M. Gagle
%T OPLAN - a data base oriented programming language
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 147-152

%A M. Ward
%A Y.T. Chien
%T A pictorial database management system
which uses histogram classification as a similarity measure
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 153-156

%A J.S. Todhunter
%A C.C. Li
%T Reconstruction and display of three dimensional images
from serial cross-sections: geometric theory for data structures and software
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 157-160

%A A. Miyake
%T Mathematical aspects of optimal linear discriminant function
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 161-166

%A S. Shinm,ura
%A A. Miyake
%T Optimal linear discriminant functions and their application
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 167-172

%A J.A. Payne
%A T. Kurokawa
%A S.C. Lee
%T Error analysis of recursive digital filters
implemented with logarithmic number system
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 173-178

%A W.H. Huen
%T What is different about operating system for telephone switching
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 179-186

%A C.F. Hunnicutt
%A S.H. Tsiang
%T Software engineering in a real-time control application
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 187-192

%A D.G. Foxall
%A M.L. Joliat
%A R.F. Kamel
%A J.J. Miceli
%T PROTEL: a high level language for telephony
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 193-197

%A K.V. Sastry
%T Process management in a paging machine
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 198-204

%A W.L. Gewirtz
%A R.A. Medhekar
%A F.K. Ng
%A A.L. Robertson
%A S.M. Salchenberger
%T A relational data management system for electronic switching systems
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 205-210

%A A.W. Wymore
%T Resolution of system design problem
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 211-214

%A R.E. Larson
%A L.E. Berman
%A T.L. Steding
%A G. Hilbornm
%T Development of a unified approach for systems requirements engineering
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 215-221

%A D.L. Huebner
%T System validation through automated requirements verification
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 222-227

%A M. Schkolnick
%A P. Tiberio
%T Considerations in developing a design tool for a relational DBMS
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 228-235

%A V. Waddle
%A S.B. Yao
%A B.C. Housel
%T View modeling and integration using the functional dependency model
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 236-244

%A H.M. Hull
%A V.B. Jumani
%A L.J. Peters
%T Systems, methodologies and manufacturing: selecting solution approaches
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 245-250

%A J.F. Jarvis
%T Visual inspection automation
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 251-255

%A J.L. Mundy
%T Data models for automatic inspection
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 256-259

%A L. Krakauer
%A T. Pavlidis
%T Visual printed wiring board fault detection by a geometric method
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 260-265

%A B.F. Heidtman
%A W. Sewchand
%T Applications of computers in radiation treatment planning utilizing CT images
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 266-269

%A A. Chung-Bin
%A T. Wachtor
%T Application of computers in dynamic control of linear accelerators
for radiation therapy
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 270-275

%A M. Shaunnessey
%A A.O. Martin
%A M. Rzeszotarski
%A C.W. Thomas
%A B. Isenstein
%T Status of computer-aided system
for cytogenic specimen preservation and analysis
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 276-281

%A D.K. Jefferson
%A D.W. Taylor
%T Analysis of requirements for large-scale information system
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 282

%A E.W. Winters
%T An analysis of the capabilities of problem statement language:
a language for system requirements and specifications
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 283-288
%K PSL/PSA

%A A.M. Davis
%A T.J. Miller
%A E. Rhode
%A B.J. Taylor
%T RLP: an automated tool for the processing of requirements
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 289-299

%A R.T. Mittermeier
%T Enhanced SA for requirements analysis
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 300-305

%A C.T. Yu
%A M.Z. Ozsoyoglu
%T An algorithm for tree-query membership of a distributed query
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 306-312

%A P.J. Conley
%A E. Gudes
%T Design and implementation of query command language using transition networks
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 313-318

%A R.L. Kashyap
%A R.B. Abhyankar
%T Semantics for data retrieval database systems
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 319-324

%A N.S. Chang
%A K.S. Fu
%T Query-by-pictorial-example
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 325-330

%A R.J. Mayer
%T Unified SDM: the ICAM approach to systems & software development
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 331-336

%A R.S. Jones
%T Management of large scale systems integration during the requirements phase
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 337-339

%A R. Eskenazi
%A J.M. Wilf
%T Low-level processing for real-time image analysis
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 340-343

%A W.A. Perkins
%T Computer vision classification of automotive control ABM bushings
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 344-349

%A W.H. Anderson
%A C.H.J. Chang
%A M.A. Tarlton
%A L. Steven
%A S.L. Fritz
%A S.J. Dwyer,\ III
%T An interactive computer graphics system
for the computed tomographic breast scanner (CT/M)
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 350-354

%A H.K. Huang
%A P. Weiss
%A H.H. Kraft
%A B. Heidtman
%T CTIP - an on-line CT image processing software package
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 355-361

%A C.H. Lee
%T Orthogonal cut view generation for CT scanned data
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 362-366

%A M. Harada
%A T.L. Kunii
%T A design process formalization
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 367-373

%A M.A. Vosbury
%T The process design system (PDS)
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 374-379

%A J.P. Romanos
%T The software design processor
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 380-383

%A H. Barina
%A W. Cobey
%A J. Rosenbaum
%A S. White
%T Automated software design
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 384-391

%A W.T. Mao
%A R.T. Yeh
%T An illustration of systematic design of parallel programs
for real-time applications
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 392-397

%A K. Tanaka
%A Y. Kambayashi
%A S. Yajima
%T Semantic aspects of data dependencies
and their application to relational database design
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 398-403

%A R.Y. Fadous
%T Decomposition of a relation into fourth normal forms
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 404-408

%A C. Le\ Viet
%A S. Yajima
%A Y. Kambayashi
%A K. Tanaka
%T Use of abstracted characteristics of data in relational databases
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 409-414

%A C.R. Carlson
%A A.K. Arora
%T The updatability of relational views based on functional dependencies
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 415-420

%A S.S. Isloor
%A T.A. Marsland
%T System recovery in distributed databases
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 421-426

%A P.M. Lu
%T A system for resource sharing in a distributed environment - RIDE
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 427-433

%A T.W. Christopher
%T The operating system for Technec
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 434-435

%A M.W. Evens
%T Compilers for distributed systems
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 436-441

%A C.F. Ruoff
%T A concurrent robot control language
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 442-445

%A J.J. Craig
%A M.H. Raibert
%T A systematic method of hybrid position/force control of a manipulator
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 446-451

%A K. Takase
%A R.P. Paul
%A E.J. Berg
%T A structured approach to robot programming and teaching
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 452-457

%A J.Y.S. Luh
%A C.S. Lin
%T Multiprocessor-controllers for mechanical manipulators
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 458-463

%A J.<T. Tou
%A R.W. DePree
%A W.M. Ferng
%T Computer software for interpreting lung tissue micrographs
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 464-469

%A J.M.S. Prewitt
%T Canonical representations for tissues and textures
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 470-476

%A J.M.S. Prewitt
%T Intelligent microscopes: a scientific poem
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 477-487

%A C. Chen
%T Synthesis of diagnosable weighted computer system
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 488-493

%A K.-C. Tai
%T On program testing criteria
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 494-499

%A K. Okumoto
%A A.L. Goel
%T Optimum release time for software systems
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 500-503

%A R.J. Schalkoff
%A E.S. McVey
%T Algorithm development for real-time automatic video tracking systems
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 504-511

%A J.R. Rao
%A W.F. Winters
%A L.D. Schmidt
%T Performance evaluation of a test distributed graphics system
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 512-518

%A D. Thalmann
%A N.M. Thalmann
%T Design and implementation of abstract graphical data types
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 519-524

%A B.S. Lin
%A S.K. Chang
%T Picture algebra for interface with pictorial database systems
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 525-530

%A K.K. Singh
%A S.K. Chang
%A C.C. Yang
%T A heristic method for generalized hypercube encoding
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 531-534

%A S.W. Smoilar
%A J.E. Scalf
%T A framework for distributed data processing requirements
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 535-541

%A M. Kanai
%T Total energy management in a factory through distributed processing
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 542-546

%A M. Nio
%A H. Kataoka
%A T. Ochi
%T Distributed processing terminal system for CAD/CAM
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 547-552

%A C.A. Batterman
%T A distributed facilities management system
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 553-558

%A J.D. Haberman
%A J.E. Goin
%A T.J. Love
%A H. Berry
%A F.R. Ohnsorg
%T Computer techniques in breast cancer detection
by absolute temperature thermography
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 559-564

%A D.H. Bailard
%A U. Shani
%A R.B. Schudy
%T Anatomical models for medical images
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 565-570

%A P.G. Selfridge
%A J.M.S. Prewitt
%A C.R. Dyer
%A S. Ranade
%T Segmentation algorithms for abdominal computerized tomography scans
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 571-577

%A S. Lee
%A R.T. Yeh
%T Structural locking for concurrency control in data base systems
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 578-582

%A D.A. Menasce
%T Selective reloading of very large databases
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 583-587

%A D.Z. Badal
%T Correctness of concurrency control and implications in distributed databases
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 588-593

%A F.Y. Chin
%T Security in partitioned dynamic statistical databases
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 594-600

%A T. Kikuno
%A N. Yoshida
%A H. Kusumoto
%T A fast selective traversal algorithm for binary search trees
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 601-605

%A S.S. Yau
%A J.L. Ramey
%T Assertion techniques for dynamic monitoring of linear list data structures
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 606-611

%A T.J. Pedersen
%T Software generation tools for bank switched memory
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 612-617

%A S.G. Abbey
%A J. Geller
%A A. D'Errico
%T Development and optimization of a text compression/decompression algorithm
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 618-623

%A R.N. Faiman
%A A.A. Kortesoja
%T An optimizing Pascal compiler
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 624-628

%A L. Hay
%A R. Larson
%T Zlisp: a Lisp for a microcomputer
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 629-630

%A W.F. Burger
%T A parser generation tool for microcomputers
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 631-634

%A N.M. Alpert
%A H.W. Strauss
%A G.M. Pohost
%A J. Lazewatsky
%A E. Tarolli
%A R.H. Moore
%T The impact of computers on nuclear cardiology
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 635-640

%A W.G. Wee
%A H.M. Lee
%T Efficient algorithms applied to radioisotope density reconstruction
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 641-646

%A E.E. Gose
%A W.H. Rose
%A W.E. Barnes
%A E. Kaplan
%A J.S. Arnold
%T Nuclear image sequence decomposition
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 647-653

%A W.E. Barnes
%A J.S. Arnold
%A N. Khedkar
%A T. Milo
%A E.E. Gose
%T Computer analysis of radionuclide hepotobiliary studies
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 654-659

%A T.B. Stibolt,\ Jr.
%T Functional mapping in the evaluation of renal scintigraphic studies
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 660-665

%A G.E. DeYoung
%A G.R. Kampen
%T Program factors as predictors of program readability
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 668-673

%A S.S. Yau
%A J.S. Collofello
%T Some stability measures for software maintenance
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 674-679

%A E.H. Bersoff
%A V.D. Henderson
%A S.G. Siegel
%T Attaining software product integrity
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 680-685

%A J-L. Lassez
%A D.V.D. Knijff
%T Evaluation of length and level for simple program schemes
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 686-694

%A A.L. Baker
%A S.H. Zweben
%T A comparison of measures of control flow complexity
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 695-701

%A S.H. Zweben
%A K-C. Fung
%T Exploring software science relations in Cobol and APL
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 702-707

%A V.B. Schneider
%T New data supporting the software project costing formulas
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 708-711

%A S.R. Sternberg
%T Parallel architectures for image processing
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 712-717

%A K. Preston
%T Languages for biomedical image processing
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 718-723

%A F.I. Parke
%T Computer graphic models for the human face
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 724-727

%A H.E. Dunsmore
%T Some practical considerations for management information systems
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 728-731

%A S. A.P. Buchmann
%A T.L. Kunii
%T Evolutionary drawing formalization in an engineering database environment
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 732-737

%A K.Y. Cheng
%T An interactive design system for engineering drawings
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 738-743

%A G. Terrevoli
%T Treatment of syntactic errors in an Atlas translator
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 744-746

%A M.E. Tartar
%T On statistical computer programs and literary criticism
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 748-750

%A N. Ohbo
%A K. Shimizu
%A T.L. Kunii
%T A graph-theoretical approach to region description
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 751-756

%A G.S. Goldman
%T A heuristic algorithm for intersection cleanup - implemented in IGL
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 757-762

%A M.J. Lee
%A R.L. Ernst
%T A methodological approach to analysis and evaluation of decision systems
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 763-769

%A R.N. Meeson,\ Jr.
%A A. Pyster
%T An experimental evaluation of data abstraction
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 770-775

%A S.D. Shapiro
%T Application of pattern recognition techniques
to fault tolerant software systems
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 776-782

%A V.Y. Shen
%T The relationship between student grades and software science parameters
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 783-787

%A E. Arthurs
%A B.W. Stuck
%T A performance analysis of single versus multiple processors
(abstract only)
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 788

%A C. Retnadhas
%T Execution time behavior of certain high level language constructs
on a feedback data flow architecture
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 789-793

%A R.E. Miller
%T Comparing models of parallel computation by homomorpisms
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 794-799

%A C.V. Ramamoorthy
%A G.S. Ho
(abstract only)
%T Performance evaluation of concurrent asynchronous systems using Petri nets
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 800

%A K. Voss
%T Using predicate/transition nets
to model and analyze distributed database systems
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 801-806

%A T. Murata
%T Synthesis of marked graph computation models
for prescribed resources and performance
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 807-812

%A Y. Kambayashi
%A S. Yajima
%A N. Nakatsu
%T Hierarchical string pattern matching using dynamic pattern matching machines
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 813-818

%A P.S. Liu
%A T.Y. Young
%T Two-stage data file compression
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 819-823

%A E.E. Wallingford
%A J.C. Culpepper
%T Two N-point fast Walsh transform sorting algorithms
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 824-827

%A A.D. Edgar
%A S.C. Lee
%T Focus software
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 828-831

%A S.T. Bow
%T Morphological analysis of simplified Chinese ideographs
and a heuristic approach for their machine recognition
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 832-836

%A A. Kran
%T A shining computer simulation project affirms:
the outlook for solar cell power is bright
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 837-842

%A N.F. Schneidewind
%T Case study of software complexity and error detection simulation
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 843-848

%A D.B. Cooper
%A L. Reiss
%T Ripple filters - a new region growing algorithm for scene analysis
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 849-853

%A R.E. Warmack
%A R.C. Gonzalez
%T Linear discriminant functions for minimum-error pattern recognition:
a direct approach
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 854-859

%A M.A. Belsky
%T The technology of system management
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 860-866

%A R. Byer
%T Air pollution monitoring by computer tomography
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 867-870

%A R.R.C. Bolles
%T Part acquisition via the SRI vision module
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 872-877

%A B. Shimano
%T VAL: a versatile robot programming and control system
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 878-883

%A G.I. Tretiak
%A J. Herman
%T A parametric model for edge detection
%J Proceedings of the Third IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D November 1979
%K compsac compsac3 compsac79
%P 884-887

%A J.H. Burrows
%T A look at federal ADP standards: a 1980 perspective
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 1-4

%A C.W. Bachman
%T Application system architecture
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 5-18

%A H.D. Mills
%T How to make exceptional performance dependable and manageable
in software engineering
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 19-23

%A W.A. Wulf
%T PQCC: a machine-relative compiler technology
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 24-36

%A L.E. Boydstun
%A D. Teichroew
%A S. Spewak
%A Y. Yamamoto
%A G. Starner
%T Computer aided modeling of information systems
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 37-41

%A A.M. Davis
%T Automating the requirements phase:
benefits to later phases of the software life cycle
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 42-48

%A C.R. Everhart
%T A unified approach to software (system) engineering
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 49-55

%A S. Lipka
%T Some issues in requirements definition
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 56-58

%A R.B.K. Dewar
%A G.A. Fisher
%A E. Schonberg
%A R. Froehlich
%A S. Bryant
%A C.F. Goss
%A M. Burke
%T The NYU Ada translator and interpreter
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 59-65

%A J.N. Buxton
%A L.E. Druffel
%T Requirements for an Ada programming support environment:
rationale for STONEMAN
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 66-72

%A E. Andre
%A G. Bogo
%T Ada, abstract data types and distributed databases transactions
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 73-79

%A G. Thomas
%A B. Schneiderman
%T Automatic database system conversion:
a transformation language approach to sub-schema implementation
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 80-88

%A Y. Vassiliou
%A F.H. Lochovsky
%T DBMS transaction translation
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 89-96

%A H. Lam
%A T. Dodd
%A D.K. Jefferson
%A S.Y.W. Su
%T Program analysis and conversion due to DBMS migration
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 97-108

%A E.M. Rounds
%A A.T.Zavodny
%A M.A. Mazzer
%T Sensor simulation of natural scenes
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 109-116

%A J. Allen
%A J. Dreussi
%T Optimization of FLIR imagery for a human observer
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 117-127

%A S.A. MacKay
%T A system for graphics assisted entry of 3D points
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 128-134

%A H.D. Finley
%T Trade secret protection of software
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 135-139

%A H.L. Novick
%T Practical aspects in patenting computer programs
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 140-145

%A E.I. Oviedo
%T Control flow, data flow, and program complexity
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 146-152

%A S.S. Yau
%A P.C. Grabow
%T A model for representing the control flow and data flow
of program modules
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 153-160

%A C.V. Ramamoorthy
%A F.B. Bastani
%T Modelling of the software reliability growth process
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 161-169

%A L.E. Druffel
%T DARPA image understanding program: an overview
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 170-176

%A A. Rosenfeld
%T Image processing and segmentation using hierarchical structures
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 177-179

%A R.M. Haralick
%T Image noise reduction using the slope-facet model
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 180-186

%A D.M. McKeown
%T Knowledge structuring in task oriented image databases
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 187-193

%A M.V. Zelkowitz
%A J. Lyle
%T Implementation of program specifications
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 194-200

%A R. Morton
%A K. Freburger
%T Toward methodology for function specifications
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 201-206

%A K. Nakao
%A K. Haruna
%A N. Komoda
%A H. Kaji
%T A structural approach
to system requirements analysis of information systems
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 207-213

%A S.W. Smoliar
%T Operational requirements accommodation in distributed system design
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 214-219

%A W.E. Riddle
%T Panel: software development environments
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 220-224

%A J.E. Gaffney
%T Maximize design effort and minimize program control complexity
- to maximize software development productivity
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 225-228

%A J.R. Mitchell
%T Observations on the use of seven structured programming techniques
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 229-235

%A L.R. Brown
%A M.R. Paige
%T A decision point methodology for the design of data reduction systems
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 236-241

%A E.R. Dolan
%T Training programmers under simulated "live" conditions
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 242-246

%A M. Ohba
%A H. Kadota
%A Y. Tanitsu
%A N. Takimoto
%T Architecture kernel: higher-level program specification
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 247-253

%A R.L. Chafin
%T The system analyst and software requirements specifications
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 254-258

%A Y. Matsumato
%A S. Kawakita
%T A method to bridge discontinuity
between requirements specification and design
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 259-266

%A T. Hirota
%A K. Tabata
%A Y. Ohno
%T Automated design for concurrent software modules
for on-line file processing
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 267-273

%A C-L. Wu
%A T-Y. Feng
%T A software technique
for enhancing the performance of a distributed computer system
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 274-280

%A E.J. Adams
%A C.W. Lillie
%A D.H. Vines
%T A dataflow methodology for processing distributed queries
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 281-287

%A U. Bussolati
%A G. Martella
%T On designing a security management system for distributed data bases
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 188-294

%A K. Vairavan
%A V. Vairavan
%T A model for parallel representation and execution of programs
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 295-299

%A Y. Kanda
%A M. Sugimoto
%T Software diagram description: SDD and its application
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 300-305

%A T.L. Kunii
%A K. Yamaguchi
%T Formalism for design evolution
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 306-312

%A M. Maekawa
%T Extensibility and adaptability of distributed computer systems
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 313-319

%A J.C. Browne
%A T.L. Kunii
%A H.S. Kunii
%A K. Takahashi
%A O. Katayama
%A K. Oyanagi
%T An evolutionary data base management system
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 320-326

%A W.T. Huang
%T An application of flow expressions
to describe a data base management system
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 327-333

%A G-H. Chiou
%A W-T. Chen
%T A new approach to the multiple attribute tree database organization
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 334-340

%A M-W. Du
%A K-F. Jea
%A D-W. Shieh
%T The study of a new perfect hash scheme
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 341-347

%A S.Y. Bang
%A P.A. Ng
%A P.K. Blackwell
%T Protocol validation by synthesizing communications systems behaviours
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 348-354

%A C.R. Kime
%A C.S. Holt
%A J.A. McPherson
%A J.E. Smith
%T Fault diagnosis of distributed systems
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 355-364

%A R.Y. Kain
%A W.R. Franta
%T Interprocess communication schemes supporting system reconfiguration
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 365-371

%A V.P. Nelson
%T Fault tolerance in reconfigurable multiprocessor systems
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 372-380

%A E. Miller
%T Special mini-tutorial on software quality assurance
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 381-382

%A H. Hecht
%T Mini-tutorial on software reliability
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 383-385

%A T.J. Ostrand
%A E.J. Weyuker
%T Current directions in the theory of testing
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 386-389

%A R.A. DeMillo
%T Mutation analysis as a tool for software quality assurance
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 390-393

%A J. Donahoo
%A D. Swearingen
%T Software maintenance technology
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 394-400

%A A.P. Conn
%T Maintenance: a key element in computer requirements definition
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 401-406

%A H.G. Stuebing
%T A modern facility for software production and maintenance
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 407-418

%A R.H. Pennington
%T Software development and maintenance - where are we ?
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 419-422

%A D.R. Mott
%T A software development for real-time applications
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 423-429

%A J.S. Black
%T The computer program development
- major step in achieving a successful software development experience
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 430-435

%A W. Trattnig
%A H. Kerner
%T EDDA, a very-high-level programming and specification language
in the style of SADT
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 436-443

%A B. Bhargava
%A C.T. Hua
%T The causal graph model
for distributed database synchronization algorithms
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 444-452

%A M. Ozsoyoglu
%A C.T. Yu
%T On identifying a class of database queries
that can be processed efficiently
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 453-461

%A B.W. Wah
%T An efficient heuristic for file placement on distributed databases
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 462-468

%A S.P. Kartashev
%A S.I. Kartashev
%T Software problems for dynamic pipeline architectures
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 469-475

%A P.T. Mueller
%A L.J. Siegel
%A H.J. Siegel
%T A parallel language for image and speech processing
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 476-483

%A S.K. Mehra
%A J.C. Majithia
%T Some software issues in adaptable architectures
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 484-494

%A V. Schneider
%T Software development projects
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 495-498

%A M. Paige
%T A metric for software test planning
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 499-504

%A S.B. Sheppard
%A P. Milliman
%A B. Curtis
%T Experimental evaluation of on-line program construction
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 505-510

%A B. Littlewood
%T A Bayesian differential debugging model for software reliability
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 511-519

%A J. Arthur
%A J. Ramanathan
%T Development of tools for selective program analysis
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 520-526

%A E. Cristofor
%A T.A. Wendt
%A B.C. Wonsiewicz
%T Source control + tools = stable systems
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 527-532

%A H. Kondo
%A I. Yoshida
%A T. Kato
%A S. Suemitsu
%T A database design tool for hierarchical databases
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 533-538

%A C. Ghezzi
%A M. Jazayeri
%T Syntax directed symbolic execution
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 539-545

%A T.B. Wilson
%T The description and usage of evolving schemas
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 546-551

%A C.C. Wang
%T A probabilistic approach
to storage compression of large natural language data bases
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 552-556

%A T. Ichikawa
%A T. Kikuno
%A N. Kamibayashi
%A M. Hirakawa
%T ARES in relational database environments
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 557-561

%A W.C. McDonald
%A H.O. Welch
%A J.D. Reynolds
%T Distributed simulation host: a distributed testbed
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 562-568

%A R.H. Hoffman
%A R.W. Smith
%A J.T. Ellis
%T Simulation software development
for the BMDATC DDP underlay experiment
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 569-577

%A P. Hsia
%A T.G. Williams
%A J.D. Reynolds
%A W.C. McDonald
%T A configurable testbed for distributed data processing experiments
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 578-583

%A H.S. Ostrowsky
%A D.F. Palmer
%T SETS: the distributed driver
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 584-590

%A H. Kopetz
%T Software design for fault tolerance
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 591-595

%A M. Seifert
%T Reconfiguration and recovery
in multiprocess systems in fault-tolerant distributed systems
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 596-602

%A H. Hecht
%T Current issues in fault tolerant software
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 603-607

%A K. Kant
%A A. Silberschatz
%T Error recovery in concurrent processes
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 608-614

%A K.H. Kim
%T An implementation for a programmer-transparent scheme
for coordinating concurrent processes in recovery
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 615-621

%A C.V. Ramamoorthy
%A Y.R. Mok
%A F.B. Bastani
%A G. Chin
%T Application of a methodology for the development and verification
of reliable process control software
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 622-633

%A C. Gannon
%T A debugging, testing and documentation tool for JOVIAL J73
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 634-639

%A N. Fujimura
%A K. Ushijima
%T Experience with a COBOL analyser
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 640-645

%A B.L. Dooley
%A H.L. Reeves
%A N.C. Thomas
%T Experience with software tools
in a nuclear process system applications
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 646-654

%A C.R. Carlson
%A A.K. Arora
%A M.M. Carlson
%T The application of data dependency theory to the study of databases
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 655-661

%A P. Scheuermann
%A A. Al-Fedaghi
%T Conceptual models for database systems:
between reality and representation
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 662-669

%A A. Jaeschke
%A F.J. Polster
%A H. Trauboth
%T A generable database system for use in process information systems
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 670-675

%A B.T. Larman
%T Flight software: new challenges and new approaches
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 676-680

%A D.J. Reifer
%A R.C. Barry
%A B.T. Larman
%A P.M. Molko
%T Lessons learned from the Galileo project - introduction
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 681-683

%A R.C. Barry
%A D.J. Reifer
%T Galileo flight software management - the science instruments
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 684-690

%A P.M. Molko
%T SAMS: addressing manager's needs
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 691-697

%A M.G. Walker
%T Managing technology transfer for software development:
the paradigmatic approach
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 698-708

%A D.J. Kuck
%A R.H. Kuhn
%A B. Leasure
%A M. Wolfe
%T The structure of an advanced vectorizer for pipelined processors
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 709-715

%A W.E. Wright
%T External sorting using general purpose magnetic bubble memory
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 716-722

%A J.L. Diaz-Herrera
%A R.C. Flude
%T PASCAL/HSD: a graphical programming system
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 723-728

%A B.H. Yin
%T Software design testability analysis
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 729-734

%A M.H. Whitworth
%A P.A. Szulewski
%T The measurement of control and data flow complexity
in software designs
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 735-743

%A V. Vemuri
%A J.V. Cornacchio
%T Figures of merit for software quality
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 744-750

%A G.P. Fitsos
%T Vocabulary effects in software science
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 751-756

%A A.M. van\ Tilborg
%A L.D. Wittie
%T A Concurrent Pascal operating system for a network computer
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 757-763

%A T.A. Cargill
%T Management of the source text of a portable operating system
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 764-768

%A D. Spooner
%A E. Gudes
%A P. Fischer
%T The logical object model for data base operating systems
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 769-775

%A N. Kamibayashi
%A T. Ichikawa
%T High level computer architecture approaches to reduce semantic gaps
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 776-783

%A F. Bonfatti
%A D. Maio
%A M. Spadoni
%A P. Tiberio
%T An indexing technique for relational data bases
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 784-791

%A V. Gharavi
%A J. Driscoll
%T An implementation of dynamic derived functions
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 792-800

%A T-M. Parng
%A B-J. Liu
%T Extended relational calculus
- a formalism for high level relational query languages
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 801-807

%A B. Lundberg
%T On consistent and complete declaration of dependencies for relations
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 808-813

%A K.G. Shin
%A S. Malin
%T A hierarchical distributed robot control system
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 814-820

%A S.A. Powers
%A B.P. Schanning
%A J. Kowalchuk
%T MEMO: an application
of secret key cryptography and public key distribution
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 821-827

%A T. Watanabe
%A Y. Ozawa
%A H. Hagiwara
%T EDIPS: an event-descriptive programming language for simulation
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 828-834

%A G. Koch
%A U. Rembold
%T The necessity of requirements engineering in process automation
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 835-841

%A L.A. Zadeh
%T Possibility theory as a basis
for information processing and knowledge representation
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 842-849

%A H. Prade
%A L. Vaina
%T Fuzzy H.O.S. and fuzzy belief maintenance:
two examples of fuzzy data types
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 850-857

%A S.K. Chang
%T The translation of fuzzy queries
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 858

%A B.S. Sembi
%A E.H. Mamdani
%T Linguistic rule-based decision making using fuzzy logic
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 859

%A M. Malek
%A J.C. Browne
%T Scheduling problems
for multistage network interconnected computer systems
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 860-865

%A M.W. Alford
%T Software requirements engineering methodology (SREM)
at the age of four
%J Proceedings of the Fourth IEEE Computer Software and Applications Conference
%C Chicago, Illinois
%D October 1980
%K compsac compsac4 compsac80
%P 866-874