Preface III Russell K. Brown Introduction V Howard Lee Morgan Firmware quality assurance 3 Helmut K. Berg, Prakash Rao, Bruce D. Shriver The 5.25-inch fixed/removable disk drive 11 Don Minami Practical CMOS microprocessor systems 19 Bill Huston The MC68000 family and distributed processing 29 John F. Stockton Using operational standards to enhance system performance 37 David R. Vincent Distributed processing with the Z8000 family 53 Richard Mateosian and Janak Pathak Distributed processing with iAPX 186 microprocessor systems 59 Tony Zingale High-performance, high-capacity single-chip microcomputers 67 Ed Peatrowsky Expanded single-chip principles in practical applications 73 Randy M. Dumse Making the most of VLSI in microcomputers 81 Jerry L. Corbin Single-chip microcomputers can be easy to program 85 Bill Huston Speak software and carry a strip chip 95 Michael Shapiro A distributed operating system for a powerful system with dynamic architecture 103 Steven I. Kartashev, Svetlana P. Kartashev Software testing techniques for universal building blocks of multimicrosystems 117 M. Annaratone and M. G. Sami A methodology for the development of special-purpose function architectures 125 Raymond A. Liuzzi, P. Bruce Berra Applications of SIMD computers in signal processing 135 Laxmi N. Bhuyan, Dharma P. Agrawal A list-processing-oriented data flow machine architecture 143 Makoto Amamiya, Ryuzo Hasegawa, Osamu Nakamura, and Hirohide Mikami Lookahead networds 153 G. Jack Lipovski, Ambuj Goyal, Miroslaw Malek Reconfigurable multicomputer networks for very fast real-time applications 167 Carl Davis, Svetlana P. Kartashev, Steven I. Kartashev MPP: a supersystem for satellite image processing 185 Kenneth E. Batcher Optimal design of a distributed supersystem 193 David F. Palmer, James P. Ignizio, Catherine M. Murphy Distributed processing with the NS16000 family 199 Leslie Kohn Exploiting parallelism for the performance enhancement of non-numeric applications 207 David J. Dewitt, Dina Friedland Performance engineering of software systems: a case study 217 C. U. Smith and J. C. Browne A systolic processor for signal processing 225 G. A. Frank, E. M. Greenawalt, A. V. Kulkarni Parallel-process in a large scientific problem 233 Robert Hiromoto Design of software for distributed/multiprocessor systems 239 Terrence R. McKelvey, Dharma P. Agrawal The use of performance models in systematic design 251 K. M. Chandy, J. Misra, R. Berry, D. Neuse Performance modeling in the design process 257 William Alexander, Richard Brice MEDOC: A methodology for designing and evaluating large-scale real-time systems 263 Eric Le Mer The research queueing package: Past, present, andfuture 273 Charles H. Sauer, Edward A. MacNair, and James F. Kurose Audience identification for end user documentation 281 Janis G. Raymond Computer-aided documentation 287 Saul Rosenberg The development of software engineers: a view from a user 293 Walter P. Warner and Richard E. Nance An industrial software engineering methodology supported by an automated environment 301 Michael S. Deutsch An approach to the definition and implementation of a software development environment 309 James F. Elwell A JOVIAL programming support environment 319 Edith M. McMahon The impact of Ada on software engineering 327 Kenneth L. Bowles The importance of Ada programming support environments 333 Thomas A. Standish Challenges and requirements for new application generators 341 Alfonso F. Cardenas, William P. Grafton Program generators and their effect on programmer productivity 351 Richard L. Roth Application generators at IBM 359 Aaron M. Goodman Application generators: a case study 363 James H. Waldrop Requirements definition and its interface to the SARA design methodology for computer-based systems 369 James W. Winchester, Gerald Estrin The role of requirements analysis in the system life cycle 381 Yuzo Yamamoto, Richard V. Morris, Christopher Hartsough, E. David Callender Application generators: an introduction 389 Jerrold M. Grochow Software product quality assurance 393 John R. Ryan A quality assurance program for software maintenance 399 John W. Center The independent role: verification and validation, and compliance testing 409 Barbara J. Taute Quality assurance in a large commercial data processing installation 415 C. W. Lybrook Data server design issues 429 Fred Maryanski Acceptance criteria for computer security 441 William Neugent Private sector needs for trusted/secure computer systems 449 Rein Turn Impacts of information system vulnerabilities on society 461 Lance J. Hoffman Uniform help facilities for a cooperative user interface 469 Philip J. Hayes Natural-language help in the Consul system 475 William Mark Programs as data for their help systems 481 Elaine A. Rich The implementation of a cryptography-based secure office system 487 Christian Mueller-Schloer, Neal R. Wagner Criteria for a standard command language based on data abstraction 493 David Beech Integration of bottom-up and top-down contextual knowledge in text error correction 501 Sargur N. Srihari, Jonathan J. Hull, Ramesh Choudhari Dialogue: Providingtotalterminalindependence 509 David Vaskevitch The Star user interface: an overview 515 David Canfield Smith, Charles Irby, Ralph Kimball, Eric Harslem MFS: a modular text formatting system 529 James D. Mooney Complex business systems: a strategy for success 539 Naomi Lee Bloom The role of the user at Standard Oil Company (Indiana) in the development of large-scale business systems 549 James E. Jackson The role of data center personnel in the development of a large-scale business system 555 David A. Cox What life? What cycle? 561 Nicholas Zvegintzov Data model processing 571 Matthew B. Koll, W. Terry Hardgrave, Sandra B. Salazar Automatic database system conversion: schema revision, data translation, and source-to-source program transformation 579 Ben Shneiderman, Glenn Thomas Fair timestamp allocation in distributed systems 589 Said K. Rahimi, William R. Franta Data abstraction for Pascal programmers 595 Viswanathan Santhanam, John R. Potochnik SPIRIT-III: an advanced relational database machine introducing a novel data-staging architecture with Tuple Stream Filters to preprocess relational algebra 605 Noriyuki Kamibayashi, Kazuo Seo Data language requirements of database machines 617 Dawei Luo, Daozhong Xia, S. Bing Yao Performance analysis of database join processors 627 Fu Tong, S. Bing Yao Evaluating data base management systems 639 Edward Davidson Performance study of a dual CDC Cyber170/750 system 649 M. Seetha Lakshmi, Tom W. Keller Computational lexicology: A research program 657 Robert A. Amsler Use of Webster's Seventh Collegiate Dictionary to construct a master hyphenation list 665 James L. Peterson Models, languages, and heuristics for distributed computing 671 Robert E. Filman, Daniel P. Friedman Weakest environment of communicating processes 679 Zhou Chaochen Adaptive structuring of distributed databases 691 K. Dan Levin Distributed scheduling of resources on interconnection networks 697 Benjamin W. Wah, Anthony Hicks A microcomputer system for color video picture processing 713 Yoshikuni Okawa The importance and futility of device independence in computer graphics 719 Anders Vinberg Optimal three-dimensional flight control of a supersonic fighter 727 Ching-Fang Lin, Khai Li Hsu Structured D-chart: A diagrammatic methodology in structured programming 735 C. Jinshong Hwang Planning for software tool implementation: experience with Schemacode 749 Pierre N. Robillard, Rejean Plamondon Distributed processing of problem-solving applications for farmers 759 Robert Gammill, Lynn Thorp RIPSnet: The impact of an optical communication network 767 Koji Yada, Masanori Honda, and Seiji Fujino A coherent scheme to support location-independent references in internetwork environment 775 Ray Cheng, J. W. S. Liu Issues and methods for practical distributed data processing applications-I 785 Maurice Blackman, Hugh Ryan Issues and methods for practical distributed data processing applications-II 793 Maurice Blackman, Hugh Ryan A technological review of the FORTRAN I compiler 805 F. E. Allen Computing prior to FORTRAN 811 R. W. Bemer History of FORTRAN standardization 817 Martin N. Greenfield DYSTAL: Nonnumeric applications of FORTRAN 825 James M. Sakoda