Abstract is missing.
- A keynote address on concurrent programingPer Brinch Hansen. 1-6 [doi]
- A management approach to total computer productivity at Goddard Space Flight CenterEvmenios P. Damon. 7-12 [doi]
- Managing large scale software development with an automated change control systemH. A. Bauer, R. H. Birchall. 13-18 [doi]
- Managing software development - requirements to deliveryJ. B. Synnott. 19-24 [doi]
- Short COBOL a practical tool to reduce tedious programming proceduresKyojiro Shizuka, Satoshi Sakashita. 25-29 [doi]
- ASSET: A Lifecycle Verification and Visibility SystemLeon J. Osterweil, John R. Brown, Leon G. Stucki. 30-35 [doi]
- A facility for verification, testing and documentation of concurrent process softwareRichard N. Taylor, Leon J. Osterweil. 36-41 [doi]
- A system for analysis and verification of software designLinda S. Hammond, Daniel L. Murphy, Mark K. Smith. 42-47 [doi]
- SAMM: A modeling tool for requirements and design specificationS. S. Lamb, V. G. Leck, L. J. Peters, G. L. Smith. 48-53 [doi]
- Software maintainability: A practical concern for life-cycle costsJohn B. Munson. 54-59 [doi]
- Ripple effect analysis of software maintenanceStephen S. Yau, James S. Collofello, T. MacGregor. 60-65 [doi]
- Availability and other performance measures of software systems under imperfect maintenanceKazu Okumoto, Amrit L. Goel. 66-70 [doi]
- Working sets todayPeter J. Denning. 71-77 [doi]
- EPLX: A High Level Language for Electronic Switching SystemsStephen G. Chappell, Newman Guttman, Warren H. Jessop, Terry L. Shockey. 78-83 [doi]
- A general purpose microcode assemblerJ. T. Beckett, S. W. Ng. 84-89 [doi]
- Management planning for large software projectsClement L. McGowan. 90-92 [doi]
- Closing the software gap for interactive mini/microcomputation: Direct execution of microprogrammed block-diagram primitivesGranino A. Korn. 93-103 [doi]
- A Microprocessor Operating System for Real-Time ApplicationsD. A. Anderson. 104-109 [doi]
- Software development for microprocessors - A case studyF. A. Salomon. 110-113 [doi]
- Program testing - An overview for managersEdward F. Miller Jr.. 114-119 [doi]
- Interprocedure structureYaohan Chu. 120-125 [doi]
- Management Prediction - Can Software Science Help?Maurice H. Halstead. 126-128 [doi]
- Realization considerations for dynamic performance analysis in automated software designCheryl A. Wiecek, Taylor L. Booth. 129-134 [doi]
- A relational view of a software design modelTerry G. Glagowski, John R. White. 135-140 [doi]
- Towards the performance evaluation of distributed computing systemsColin Whitby-Strevens. 141-146 [doi]
- Software evolution using the SEER data baseEarl C. Van Horn. 147-152 [doi]
- Toward a better method of software testing i zThomas G. Hallin, Robert C. Hansen. 153-157 [doi]
- An external debugging system for weapon system programs written in a higher level languageJack A. Gaines Jr.. 158-162 [doi]
- An approach to peal-time control flow checkingStephen S. Yau, Fu-Chung Chen, K. H. Yau. 163-168 [doi]
- Analysis of software design modeled by multiple finite state machinesTsun S. Chow. 169-174 [doi]
- The design of a high-speed arithmetic processorGeorge P. O'Leary. 175-176 [doi]
- FORTRAN subroutine initialization and communication in a two processor environmentTim Pettibone. 177-182 [doi]
- Sparse matrix calculations using an array processorRobert S. Norin. 183-187 [doi]
- Simulation of relativistic electron beams on an AP-120BB. N. Moore, R. Penumalli. 188-193 [doi]
- Security and PrivacyGeorge I. Davida, David L. Wells, John B. Kam. 194-203 [doi]
- Example of a formal flow violationJonathan K. Millen. 204-208 [doi]
- Recent progress in secure computationRichard A. DeMillo, David P. Dobkin. 209-214 [doi]
- A method for maintaining routing data in automated record keeping systemsDorothy E. Denning. 215-219 [doi]
- Operating system security a tutorial of current researchDavid K. Hsiao, Douglas S. Kerr, Stuart E. Madnick. 220-228 [doi]
- Technical aspects of privacy protectionRein Turn. 229-234 [doi]
- Complementary approach to the effective software development environmentYoshiro Nakamura, Ryuzo Miyahara, Hideshi Takeuchi. 235-240 [doi]
- System requirements specification for real-time systemsJerome L. Uhrig. 241-245 [doi]
- Small business applications for microcomputersAlan Schlukbier. 247-252 [doi]
- Data structures, types and abstractionsK. S. Shankar. 253 [doi]
- Decentralized executive control in distributed computer systemsWilliam Earl Boebert, William R. Franta, E. Douglas Jensen, Richard Y. Kain. 254-258 [doi]
- A distributed multiprocessor traffic control systemH. F. Li, C. C. Lau. 259-264 [doi]
- Information system for steel distridbution in India: DDP as an appropriate technologyJ. G. Krishnayya, N. Viswanathan. 265-269 [doi]
- Data sharing protocols: structure, requirements and interrelationshipsStephen R. Kimbleton. 270-276 [doi]
- Design of a distributed Entity-Relationship database systemY. Edmund Lien, John H. Ying. 277-282 [doi]
- An effective "on-line" deadlock detection technique for distributed data base management systemsSreekaanth S. Isloor, T. Anthony Marsland. 283-288 [doi]
- CLIO - A relational data base management systemP. S. Para. 289-294 [doi]
- REDAS - A relational data access system for real-time applicationsJames R. McSkimin. 295-300 [doi]
- Realtime programming language PEARL - Concept and characteristicsTomas Mirtin. 301-306 [doi]
- Process control languages - designer's perspective of adequacy and future requirementsI. L. Shaw, W. A. Edblad, A. M. Pavlovic. 307-309 [doi]
- Testing: Achievements and FrustrationsLori A. Clarke. 310-314 [doi]
- Test reliability and software maintenanceRichard Hamlet. 315-320 [doi]
- Functional program testingWilliam E. Howden. 321-325 [doi]
- The software development system: Status and evolutionCarl G. Davis, Charles R. Vick. 326-331 [doi]
- Software Requirements Engineering Methodology (SREM) at the age of twoMack W. Alford. 332-339 [doi]
- Experience utilizing components of the software development systemPeter C. Belford. 340-345 [doi]
- The Advanced Data Processing TestbedWilliam C. McDonald, J. M. Williams. 346-351 [doi]
- Distributed data processing requirements engineering: high level DDP designDavid F. Palmer, W. Michael Denny. 352-357 [doi]
- Distributed data processing system design - A look at the partitioning problemJames T. Lawson, Michael P. Mariani. 358-363 [doi]
- Distributed data processing design evaluation through emulationH. Fitzgibbon, Bill P. Buckles, Joe E. Scalf. 364-369 [doi]
- A multi-level approach to data base designRaymond T. Yeh, Philip Chang, C. Mohan. 370-375 [doi]
- Obtaining data base management system independenceDale O. Knudson. 376-381 [doi]
- An architecture for evolutionary database system designTosiyasu L. Kunii, James C. Browne, Hideko S. Kunii. 382-386 [doi]
- A software engineering approach to data base systemsHerbert Weber. 387-395 [doi]
- SPS: A Software Production System for mini-computers and micro-computersY. Matsumoto, S. Nakajima, S. Yamamoto, T. Sakai. 396-401 [doi]
- A programmable system for software configuration managementD. Johnson, C. Kolberg, J. Sinnamon. 402-407 [doi]
- Tools and techniques for implementing a large compiler on a small computerChristine L. Braun, Barry L. Wolman. 408-414 [doi]
- How changing technology should effect computer science and engineering educationJack D. Grimes. 415-418 [doi]
- Data independent hierarchiesRobert G. Kayel. 419-423 [doi]
- A decomposition of the complexity of system development processesD. R. Fitzwater. 424-429 [doi]
- The structured design of a data compression programRichard A. Thompson. 430-434 [doi]
- Experience with the DATATRAN SystemHarold J. Kopp. 435-439 [doi]
- Modular design of minicomputer applicationsJ. W. Tippie. 440-443 [doi]
- The modularity of MSC/NASTRANJoseph F. Gloudeman. 444-446 [doi]
- The JOSHUA modular data-based systemH. C. Honeck, M. M. Anderson. 447-451 [doi]
- A generalized implementation method for relational data sublanguagesLeland L. Beck. 452-457 [doi]
- Best-match querying in general database systems-a language approachChung-Shu Yang, Gerard Salton. 458-463 [doi]
- Applications of superimposed coding to partial-match retrievalJohn D. Gabbe, T. B. London, R. E. Miller, J. D. Beyer. 464-469 [doi]
- A nearest neighbor search technique with short zero-in timeC. W. Shen, Richard C. T. Lee. 470-475 [doi]
- An approach to software testing: methodology and toolsRoger R. Bate, George T. Ligler. 476-480 [doi]
- Security aspects of higher order softwareSteven Cushing. 481-486 [doi]
- The software configurator : an aid to the industrial production of softwareFederica Liguori, Fabio A. Schreiber. 487-492 [doi]
- The use of software reliability measures in project managementJohn D. Musa. 493-498 [doi]
- Life cycle support of navy airborne antisubmarine warfare tactical softwareWilliam R. Bogdan. 499-503 [doi]
- Restructuring the Navy Tactical Data SystemG. S. Garmon. 504-507 [doi]
- Software engineering of the micro/mini computer subnet in computer networksNorman F. Schneidewind. 508-513 [doi]
- A case study in real-time distributed processing designFrank Stepczyk. 514-519 [doi]
- Computerized control and protection of electric power distribution systemArthur C. M. Chen. 520 [doi]
- Limits to program testing with random number inputsPaul B. Moranda. 521-526 [doi]
- An analytical approach to software testingMichael R. Paige. 527-532 [doi]
- Dynamic validation of programs using assertion checking facilitiesWen-Tsuen Chen, Jone-Ping Ho, Chia-Hsien Wen. 533-538 [doi]
- JAVS: A Jovial Automated Verification SystemCarolyn Gannon. 539-544 [doi]
- The IEEE standards generation processJ. R. Fragola. 545-550 [doi]
- RADC software development specificationMichael Landes. 551-554 [doi]
- Developing a Standard for Software Quality Assurance PlansFletcher J. Buckley. 555-558 [doi]
- Safety evaluation of computer hardware and softwareR. Konakovsky. 559-564 [doi]
- A user-oriented software reliability modelRoger C. Cheung. 565-570 [doi]
- An automated data collection system for the study of software reliabilityDonaLd E. Wright, B. D. Carroll. 571-576 [doi]
- A four-project empirical study of software error prediction modelsAlan N. Sukert. 577-582 [doi]
- Communication issues in parallel algorithms and systemsTilak Agerwala, Bernard Lint. 583-588 [doi]
- Computer communication techniquesKenneth J. Thurber. 589-594 [doi]
- Kernel primitives of the HXDP executiveWilliam Earl Boebert, William R. Franta, E. Douglas Jensen, Richard Y. Kain. 595-600 [doi]
- Hardware/Software trade-offs: Hardware Design ViewpointKenneth J. Thurber, Donald R. Anderson. 601-606 [doi]
- Hardware vs. software design tradeoffs for maintenance functions in high-reliability real time systemsFrank M. Goetz, D. C. Plisch. 607-613 [doi]
- Programs in software engineering educationDavid C. Rine, George Davida. 614-619 [doi]
- Computer-assisted data communications engineering instructionN. W. Styer, Jon G. Bredeson. 620-625 [doi]
- Design and Implementation of the 'S' System for Interactive Data AnalysisRichard A. Becker, John M. Chambers. 626-629 [doi]
- Computer aided automatic digitizing of engineering drawingsWilliam Pferd, K. Ramachandran. 630-635 [doi]
- Process Construction - An OverviewLawrence R. Marker. 636-644 [doi]
- Reconfiguration stategies for the SIFT fault-tolerant computerCharles B. Weinstock, Milton W. Green. 645-650 [doi]
- Strategies for structured and fault-tolerant design of recovery programsK. H. Kim, H. Hecht, J. Huang, M. Naghibzadeh. 651-656 [doi]
- Reliability in terms of predictabilityMargaret Hamilton, Saydean Zeldin. 657-662 [doi]
- A scheme for tolerating faulty data in real-time systemsJohn G. Yee, Stephen Y. H. Su. 663-667 [doi]
- A survey of communication processor systemsDharma P. Agrawal, Tse-Yun Feng, Chuan-lin Wu. 668-673 [doi]
- The slotted ring vs. the token-controlled ring: A comparative evaluationAshok K. Agrawala, Jonathan R. Agre, K. D. Gordon. 674-679 [doi]
- Design rules for producing logically complete two-process interactions and communications protocolsPitro Zafiropulo. 680-685 [doi]
- Design and Formal Specification of an X.25 Packet Level Protocol ImplementationSigram Schindler, Jochen Didier, Michael Steinacker. 686-691 [doi]
- What MININET Has Taught us about Programming StyleJon Livesey, Eric G. Manning. 692-697 [doi]
- Recent developments in data base and information retrieval hardware architecturesP. Bruce Berra. 698-703 [doi]
- Directions for memory hierarchies and their components: Research and developmentAlan Jay Smith. 704-709 [doi]
- A practical text search system for unindexed dataVictor Mayper, L. S. Michels, Alex L. Nagy. 710-715 [doi]
- A data base machine design and evaluation facilityRaymond A. Liuzzi, P. Bruce Berra. 716-721 [doi]
- A formal approach to the desin and implementation of network communication protocolAlbert Y. Teng, Ming T. Liu. 722-727 [doi]
- Near optimal behaviour of the packet switching broadcast channelBanh Tri An, Erol Gelenbe. 728-734 [doi]
- Computer-based intelligent information systemJulius T. Tou. 735-740 [doi]
- A system for labor negotiationsYonah Wilamowsky, Moshe Shurin, Aaron Tenenbaum, George Weinberger. 741-743 [doi]
- Business graphics: Making computers work for managementThomas H. Bruggere. 744-748 [doi]
- A management methodology for testing software requirementsK. W. Krause, L. W. Diamant. 749-754 [doi]
- Software reliability and maintainability in large-scale systemsEdward J. Strong. 755-760 [doi]
- Computer program development analysisS. Austin, D. MacCrone, J. Patrick Ryan. 761-763 [doi]
- Life Cycle Management Concepts for Air Force Computer ResourcesCecil E. Martin, Ralph F. O'Bleness. 764-768 [doi]
- Software control and program design issues for alterable architecturesJean-Loup Baer. 769-774 [doi]
- Software problems for dynamic architectures: Adaptive assignment of hardware resourcesSvetlana P. Kartashev, Steven I. Kartashev. 775-780 [doi]
- On some parallel programming techniquesG. Jack Lipovski. 781-789 [doi]
- A survey and methodology of reconfigurable multi-module systemsF. Saheban, Arthur D. Friedman. 790-796 [doi]
- Impact of changing memory technology on computer educationA. V. Pohm. 797-802 [doi]
- Continuing education in microprocessors: Use of software simulatorsR. Vemuri, J. V. Cornacchio. 803-806 [doi]
- Computers and society: Report of a workshopRichard H. Austing, Gerald L. Engel. 807-813 [doi]
- Software technology for scientific and engineering applicationsMark A. Holthouse, Stuart G. Greenberg. 814-818 [doi]
- "ASTMS and the computing industry"Barry A. Wyld. 819-821 [doi]
- A nontrivial example of concurrent processing: Distributed simulationK. Mani Chandy, Jayadev Misra. 822-826 [doi]
- Example of an early sizing, cost and schedule estimate for an application software systemLawrence H. Putnam. 827-832 [doi]