Table of Contents

• Alternative software development paradigmsW. Lively. 2 [doi]
• Express - rapid prototyping and product development via integrated knowledge-based executable specificationsP. Topping, J. McInroy, W. Livley, S. Sheppard. 3-9 [doi]
• Software evolution: forging a paradigmR. T. Yeh, T. A. Welch. 10-12 [doi]
• Object-oriented approaches to the software life cycle using the Smalltalk-80 system as a CASE toolkitS. T. Pope, A. Goldberg, L. P. Deutsch. 13-20 [doi]
• Software bases and software archives: alternatives to support software reuseR. T. Mittermeir, W. Rossak. 21-28 [doi]
• Deriving contingencies among diagnostic tests with Prolog by code examinationRichard Denney. 29-33 [doi]
• Ensuring software safety in robot controlP. Wetterlind, W. M. Lively. 34-37 [doi]
• Investigation of non-interference real-time debugging through bus cycle simulation and interpretationT. R. Cahall Jr., K. Y. Fang. 38-45 [doi]
• Normalized specifications for identifying reusable softwareLuqi. 46-49 [doi]
• An approach to integrating expert system components into production softwareWilliam B. Frakes, Christopher J. Fox. 50-56 [doi]
• A variation of conceptual graphs: an object-oriented approachT. R. Hines, E. A. Unger. 57-68 [doi]
• Software reusability: a survey and a reusability experimentW. Yin, Murat M. Tanik, D. Y. Y. Yun, T. J. Lee, A. G. Dale. 65-72 [doi]
• Algorithm specification in a very high level languageM. B. Gokhale. 73-79 [doi]
• FAA's advanced automation system: strategies for achieving safe, highly available and extensible air traffic control systemsA. Zellweger. 80-84 [doi]
• LAN requirements for air traffic controlKenneth J. Thurber, Noel E. Schmidt, E. S. Nolley. 85-88 [doi]
• The dependability problem: Introduction and verification of fault tolerance for a very complex systemA. Avizienis. 89-93 [doi]
• Software design synthesis for strategic computingC. G. Davis. 96 [doi]
• The potential for AI in strategic defenseB. P. McCune. 97 [doi]
• Some software issues of strategic defense systemsR. T. Yeh. 98-100 [doi]
• Industrial-strength software engineering for large organizationsJ. H. Manley. 102-104 [doi]
• Software challenges - large organizationsE. R. Bond. 105-106 [doi]
• Problems, needs, and practices of software engineering in larger organizationsG. M. Schumacher. 107-110 [doi]
• Software quality and reliability basicsJ. D. Musa. 114-115 [doi]
• Reliability theory applied to software testingD. Drake. 116-118 [doi]
• On the successful application of software reliability modelingR. P. Ejzak. 119 [doi]
• Software reliability applied to computer-based network operation systemsW. W. Everett. 120 [doi]
• Yes, software reliability can be measured and predictedM. L. Shooman. 121-122 [doi]
• Monitoring software reliability in the shuttle mission simulatorG. E. Stark. 123 [doi]
• Activities for advanced workstations in JapanF. Kamijo, L. A. Belady. 128 [doi]
• Visual programming - toward realization of user-friendly programming environmentsT. Ichikawa, M. Hirakawa. 129-137 [doi]
• DBMS with graph data model for knowledge handlingH. S. Kunii. 138-142 [doi]
• Expected changes in software development using engineering work stationsY. Ohfude. 143-146 [doi]
• SoftDA - a computer-aided software engineering systemS. Isoda. 147-151 [doi]
• Considerations on software workstationT. Koizumi. 152 [doi]
• The software structure of extended nucleus based on BTRON specificationM. Kobayashi, S. Takenouchi, Yoshiaki Kushiki, Ken Sakamura. 153-158 [doi]
• Design principles and configuration of CTRONTetsuo Wasano, M. Ohminami, Y. Kobayashi, Toshikazu Ohkubo, S. Sakamura. 159-166 [doi]
• A concurrent multiple-paradigm list processor TAO/ELISIkuo Takeuchi, Hiroshi G. Okuno, Nobuyasu Osato, M. Kamio, Kenichi Yamazaki. 167-174 [doi]
• Architecture of high performance integrated Prolog processor IPPS. Yamaguchi, Tadaaki Bandoh, K. Kurosawa, M. Morioka. 175-182 [doi]
• Reference model for the integration of tools in the EUREKA software factoryB. Gasch, Udo Kelter, H. Kopfer, H. Weber. 183-189 [doi]
• ESPRIT software engineering environments - a joint European activityP. Y. Cunin, J. van Zijl. 191-204 [doi]
• Formal methods and formal description techniques: their understanding, development, support and use in the context of ESPRITR. Jacquart. 205-213 [doi]
• Report on German Joint Venture Tool Integration ProjectsG. Merbeth. 214-218 [doi]
• The next 15 years of computer technology in KoreaS. Y. Bang. 219-223 [doi]
• An overall structure of intelligent computer program in ChinaQ. Gao, H. Chen, K. Zhang, C. Wang. 224-227 [doi]
• National computerization and road map to information technology research and developmentL. S. Say, I. F. Chang. 228-234 [doi]
• Software plant: the Brazilian software consortiumF. G. Sobrinho, M. D. Ferraretto. 235-243 [doi]
• Solving the software crisis: toward management of large-scale software developmentA. K. Onoma. 244-245 [doi]
• The influence of cultural and social aspects on the Japanese software development environmentD. Tajima, T. Matsubara. 246 [doi]
• Software reuse based on a process programming systemY. Matsumoto, Y. Ohfude. 254-261 [doi]
• Software factory engineering; today and the futureK. Fujino. 262-270 [doi]
• Fujitsu automatic drawing input systems for the process industryE. Takahashi. 271-276 [doi]
• Information technology: the trillion-dollar opportunityH. L. Poppel. 278-281 [doi]
• Computer improvements will continueE. Juliussen. 282-285 [doi]
• Building a visual designer's environmentM. Graf. 287-297 [doi]
• Out of Flatland: towards 3-D visual programmingE. P. Glinert. 292-299 [doi]
• A visual language compilerS. K. Chang, M. J. Tauber, B. Yu, J. S. Yu. 300-307 [doi]
• User-friendliness in a professional programming environmentT. Ichikawa. 308 [doi]
• Supercomputers/parallel algorithmsA. K. Mok. 310 [doi]
• Parallel geometric algorithms on mesh-connected computersC. S. Jeong, T. D. Lee. 311-318 [doi]
• DC parallelism of connection graphR. Loganantharaj. 319-326 [doi]
• Implementation of a parallel extended Kalman filter using a bit-serial silicon compilerP. L. Shaffer. 327-334 [doi]
• A robust algorithm for mutual exclusion in a computer networkS. Mishra, P. K. Srimani. 335-342 [doi]
• Instrumentation for distributed computing systemsDavid W. Krumme, George Cybenko, Alva L. Couch. 344 [doi]
• Toward a switching theory of CMOS circuitsDavid E. Muller, Franco P. Preparata. 347-348 [doi]
• A parallel algorithm for execution of production systems on HMESH architectureSing-Ban Tien, Cauligi S. Raghavendra. 349-356 [doi]
• Matching algorithms to array processorsSun-Yuan Kung, Shiann-Ning Jean, Sheng-Chun Lo. 357-365 [doi]
• Orderings and partition of PDE computations for a fixed-size VLSI architectureElena P. Papadopoulou, Yiannis G. Saridakis, Theodore S. Papatheodorou. 366-375 [doi]
• Practical in-place mergingB.-C. Huang, M. A. Langston. 376-380 [doi]
• New algorithms for comparing symbol sequencesW.-J. Hsu. 381-389 [doi]
• Residue number conversionChang N. Zhang, Behrooz A. Shirazi, D. Y. Y. Yun. 390-396 [doi]
• Distributed algorithms for load balancing in very large homogeneous systemsSeyed H. Hosseini, Bruce E. Litow, M. I. Malkawi, K. Vairavan. 397-404 [doi]
• On some cryptographic solutions for access control in a tree hierarchyR. S. Sandhu. 405-410 [doi]
• Privileges and their use by trusted applicationsJeffrey Picciotto, J. Wynn. 411-420 [doi]
• Secure office management system: the first commodity application on a trusted systemL. J. Fraim. 421-426 [doi]
• An extension to the relational model for indefinite databasesK. C. Liu, R. Sunderraman. 428-435 [doi]
• Incomplete information and the join operation in database machinesAli R. Hurson, Leslie L. Miller, Simin H. Pakzad. 436-443 [doi]
• A DAG clustering algorithm for design configurationsJ. Banerjee. 444-451 [doi]
• Overview of DBMS: a high performance database management systemN. Roussopoulos. 452-460 [doi]
• A knowledge-based approach to multiple query processing in distributed database systemJ. T. Park, Toby J. Teorey. 461-468 [doi]
• Towards fully-computerized database maintenance for non-traditional appliancesC.-T. Wu. 469-474 [doi]
• A computer-aided benchmarking system for parallel and expandable database computersSteven A. Demurjian, G. P. Fenton, David K. Hsiao, J. R. Vincent. 475-482 [doi]
• Designing presentation service by LotosA. Lombardo. 483-489 [doi]
• A knowledge-based approach to computer-aided design of structuresH. Adeli, K. V. Balasubramanyam. 490-497 [doi]
• Semantic data modeling support for CADJohn R. Bedell, Fred J. Maryanski. 498-504 [doi]
• Two piece jig-saw puzzle robot assembly with vision, position and force feedbackG. C. Burdea. 505-511 [doi]
• Proteus-1: a general accelerator for CADS. P. Smith, B. Wood, J. Little, P. Hunter. 512-519 [doi]
• Fault tolerant distributed process-control systemsFarokh B. Bastani, C. V. Ramamoorthy. 522-526 [doi]
• On the overall reliability of hardware/software systemsFarokh B. Bastani, Ernst L. Leiss. 528-533 [doi]
• A survey of methods for system-level fault diagnosisJ. Xu, L. Lilien. 534-540 [doi]
• A bus network designed to support parallel processingE. C. Foudriat. 542-549 [doi]
• Implementation of gateways for high performance fiber optic networkingS. J. Talabac, D. H. Walters. 550-558 [doi]
• Experimental analysis of layered Ethernet softwareB. Bhargava, T. Mueller, J. Riedl. 559-568 [doi]
• Modeling of parallel software for efficient computation communication overlapJ. S. Leu, Dharma P. Agrawal, Jon Mauney. 569-575 [doi]
• The SIGMA-1 dataflow computerToshitsugu Yuba, Kei Hiraki, Toshio Shimada, Satoshi Sekiguchi, Kenji Nishida. 578-585 [doi]
• Parallel execution of logic programs in the framework of OR-ForestY. Tzu, C. Sun. 586-593 [doi]
• VLSI design of a one-chip data-driven processor: Q-v1Hiroaki Terada, Hiroaki Nishikawa, Katsuhiko Asada, Satoshi Matsumoto, Souichi Miyata. 594-601 [doi]
• DFM: the data flow machine highly parallel symbol manipulationMakoto Amamiya, Masaru Takesue, Ryuzo Hasegawa, Hirohide Mikami. 602-611 [doi]
• New methods for real-time signal and image recognitionO. K. Ersoy, D. Y. Kim. 612-619 [doi]
• Dynamic elastic interpolation for 3-D object reconstruction from serial cross-sectional imagesW. C. Lin, C. C. Liang, C. T. Chen. 620-627 [doi]
• Representation and recognition of objects from depth mapsJ. K. Aggarwal, Baba C. Vemuri. 628-635 [doi]
• Frame systems and inheritance systemsM. Kim, A. S. Maida. 636-643 [doi]
• A knowledge-based message generation system for the nonverbal, profoundly motor disabledBon K. Sy, John R. Deller Jr.. 644-651 [doi]
• A uniform architecture for rule-based meta-reasoning and representation: a case studyA. S. Maida. 652-657 [doi]
• A dietary recommendation expert system using OPS5C. Koa, C. J. Hwang. 658-663 [doi]
• A conceptual model for case grammar analysisK. Efe, P. A. Ng. 664 [doi]
• An analysis of knowledge used for a structured selection problemP. K. Fink, F. A. Iddings, M. A. Overby. 672-677 [doi]
• An architecture for adaptive learning in rule-based diagnostic expert systemsDaniel C. St. Clair, William E. Bond, Barry B. Flachsbart, A. R. Vigland. 678 [doi]
• In search of silver bulletMurat M. Tanik. 686 [doi]
• The development of computer oriented small businesses in a university sponsored incubator: an overview and case studyR. R. Goforth, R. M. Crisp Jr., G. B. Seiff. 690-695 [doi]
• Technology transfer: commercializing university researchStephen A. Szygenda, M. Wilson. 696-699 [doi]
• Technology commercial from a state agency perspective: technology business development, a division of the Texas engineering experiment stationH. B. Dorsey, M. Aucoin. 700-705 [doi]
• TIINS, the missing link for innovation and economic developmentJ. L. McKenzie, J. A. Rodman. 708-711 [doi]
• The Illinois resource network - linking business and government with university and federal laboratory expertiseR. A. Zollinger. 712-714 [doi]
• Establishing meaningful legal rights for intellectual property - The birth and care of the intellectual property babyD. A. Roth. 716-717 [doi]
• Financing for high technology venturesR. G. Garrick, C. M. Mayhall. 720-721 [doi]
• Tax issues in computer technology companiesR. L. Black. 722-728 [doi]
• Exploring the knowledge-based society: industry/education partnership to promote technological learning at the secondary levelI. L. Bruning, J. B. Reedy. 732-734 [doi]
• Retraining teachers to teach high school computer scienceH. G. Taylor. 738 [doi]
• When will we have true heterogeneous databases?A. K. Elmagarmid. 746 [doi]
• When will we have true heterogeneous database systemsA. P. Sheth. 747-748 [doi]
• Heterogeneous databases: some outstanding problemsS. Heiler. 748-749 [doi]
• The future of heterogeneous databasesW. Litwin. 751-752 [doi]
• Heterogeneous databases - towards a federation of autonomous systemsM. Rusinkiewicz. 753 [doi]
• New classifications and future trends for computer specialistsN. M. Conlon. 756-757 [doi]
• An evolutionary approach to verification and validation of expert systemsC. J. R. Green. 760 [doi]