Abstract is missing.
- On real-time system research and educationJ. C. Huang. [doi]
- The influence of manufacturing paradigms on system development methodologiesD. S. Coleman. [doi]
- Crisis in real-time softwareAndré M. Van Tilborg. [doi]
- PCF programming model and FORTRAN bindingsBruce Leasure. [doi]
- Software test and analysis: Department of Defense policy directionsAnthony Shumskas. [doi]
- Where AI/KB techniques fit into software development/engineeringWilliam M. Lively. [doi]
- Directions in object-oriented databasesStanley B. Zdonik. [doi]
- Software testing for critical applications: a position paperRichard A. DeMillo. [doi]
- Minimization of task turnaround time for distributed systemsChiun-Chieh Hsu, Sheng-De Wang, Te-Son Kuo. 2-7 [doi]
- Software routing support for task migration in hypercube multiprocessor systemsMichael A. McSherry, Thomas L. Casavant. 8-15 [doi]
- On processor allocation in hypercube multiprocessorsChih-Hao Huang, Ting-Lu Huang, Jie-Yong Juang. 16-23 [doi]
- Derivation of Petri net models of Ada tasking constructs involving timeF. W. Fong, Sol M. Shatz. 24-31 [doi]
- Concurrent system design with box structuresShirley Ann Becker, Alan R. Hevner. 32-40 [doi]
- Structure design of distributed systems using interpreted Petri netsJoachim Tankoano, Jean-Claude Derniame. 41-51 [doi]
- Autonomous decentralized system test techniqueKatsumi Kawano, Masayuki Orimo, Kinji Mori. 52-57 [doi]
- Testing of concurrent softwareKuo-Chung Tai. 62-64 [doi]
- Parallel program debuggingThomas J. LeBlanc. 65-66 [doi]
- A model to estimate average response time of parallel programsBin Qin, Reda A. Ammar. 67-74 [doi]
- Cross-profiling as an efficient technique in simulating parallel computer systemsRichard Covington, J. Robert Jump, James B. Sinclair. 75-80 [doi]
- A model for monitoring and debugging parallel and distributed softwareDan C. Marinescu, James E. Lumpp Jr., Thomas L. Casavant, Howard Jay Siegel. 81-88 [doi]
- A graphics tool to aid in the generation of parallel FORTRAN programsOrlie Brewer, Jack J. Dongarra, Danny C. Sorensen. 89-93 [doi]
- An introduction to the portable parallel programming language SeymourRuss Miller, Quentin F. Stout. 94-101 [doi]
- Deterministic execution debugging of concurrent Ada programsKuo-Chung Tai, Richard H. Carver, Evelyn E. Obaid. 102-109 [doi]
- Processor scheduling in parallel program executionJesse Fang. 112-113 [doi]
- Parallel languages, vectorization, and compilersMichael Weiss. 114-115 [doi]
- Problem solving environmentsDavid A. Padua. 116-117 [doi]
- An environment for the conversion of sequential programs into parallel formsWilliam Eventoff. 118-119 [doi]
- CODE: the Computation Oriented Display EnvironmentJames C. Browne. 120-121 [doi]
- Effective dynamic scheduling and memory management on parallel processing systemsMichael Weiss, Zhixi Fang, C. Robert Morgan, Peter Belmont. 122-129 [doi]
- A parallel linked list for shared-memory multiprocessorsPeiyi Tang, Pen-Chung Yew, Chuan-Qi Zhu. 130-135 [doi]
- Parallelizing nested loops on multicomputers-the grouping approachChung-Ta King, Ing-Ren Kau. 136-142 [doi]
- Scheduling algorithms for coalesced jobs in real-time systemsMin-Ih Chen, Jen-Yao Chung, Kwei-Jay Lin. 143-150 [doi]
- ROSE-a reliable operating system environmentTony P. Ng. 151-157 [doi]
- Expectations for associative-commutative unification speedups in a multicomputer environmentRalph W. Wilkerson, Bruce M. McMillin. 158-165 [doi]
- Transaction synchronization in distributed shared virtual memory systemsMeichun Hsu, Va-On Tam. 166-175 [doi]
- Programming with distributed shared memoryUmakishore Ramachandran, M. Yousef Amin Khalidi. 176-183 [doi]
- Parallel protocol verification using the two-phase algorithmMaria C. Yuang, Aaron Kershenbaum. 184-192 [doi]
- Object-oriented database systemsFereidoon Sadri. 195-196 [doi]
- Extensions to the object-oriented paradigmStanley Y. W. Su. 197-199 [doi]
- On the definition and maintenance of database views with time-varying domainsMostafa A. Bassiouni, Mark J. Llewellyn. 201-208 [doi]
- Integrating the concepts and techniques of semantic modeling and the object-oriented paradigmHerman Lam, Stanley Y. W. Su, A. M. Alashqur. 209-217 [doi]
- On schema integration in a heterogeneous distributed database management systemBipin C. Desai, Richard Pollock. 218-224 [doi]
- Design data modeling with versioned conceptual configurationHiroyuki Kitagawa, Nobuo Ohbo. 225-233 [doi]
- Monotonically improving approximate answers to relational algebra queriesKenneth P. Smith, J. W.-S. Liu. 234-241 [doi]
- A framework for expressing and controlling imprecision in databasesJaideep Srivastava, Doron Rotem. 242-249 [doi]
- Adaptive selection of access path and join methodYann-Hang Lee, Philip S. Yu. 250-256 [doi]
- Dynamic signature hashingYunmo Chung, M. V. Ramakrishna. 257-262 [doi]
- Greedy file-a new data organization concept for partial match retrievalYun-Huan Chou, Wei-Peng Yang, C. C. Chang. 263-270 [doi]
- A partitioning method for grid file directoriesSei H. Chun, George E. Hedrick, Huizhu Lu, D. D. Fisher. 271-277 [doi]
- Document retrieval expert system shell with worksheet-based knowledge acquisition facilityChizuko Yasunobu, Rei Itsuki, Hiroshi Tsuji, Fumihiko Mori. 278-285 [doi]
- An iterative method for secure inter-procedural information flow controlMasaaki Mizuno. 286-291 [doi]
- ALICE: an assertion language for integrity constraint expressionSusan Darling Urban. 292-299 [doi]
- Designing consistency-preserving database transactionsChristina Liebelt. 300-307 [doi]
- Efficient coding for integrated information systems and multimedia databasesMostafa A. Bassiouni, C. A. Waters. 308-315 [doi]
- An efficient algorithm of compressing decimal notations for tree structuresJun-Ichi Aoe. 316-323 [doi]
- Enhancements to Ziv-Lempel data compressionClyde Rogers, Clark D. Thomborson. 324-330 [doi]
- Planning for software manufacturingBrad J. Cox. 331-332 [doi]
- Object-oriented programming in a conventional programming environmentDavid E. Breen, Phillip H. Getto, Anthony A. Apodaca. 334-343 [doi]
- The real advantages of pure object-oriented systems or why object-oriented extensions to C are doomed to failWilf R. LaLonde, Jim McGugan, Dave Thomas. 344-350 [doi]
- A structured bipartite inheritance network representation for object-oriented software designStephen S. Yau, Chung-Shyan Liu. 351-357 [doi]
- Construction of file management systems from software componentsDon S. Batory, J. R. Barnett, J. Roy, Brian C. Twichell, Jorge F. Garza. 358-364 [doi]
- An object-oriented methodology for end-user logical database design: the structured entity model approachKunihiko Higa, Olivia R. Liu Sheng. 365-373 [doi]
- Direct manipulation user interfaces based on constraintsRaimund K. Ege. 374-380 [doi]
- Dynamic window configuration in an object oriented programming environmentLie-Hong Lin, Ching-Roun Chou, Feng-Jian Wang. 381-388 [doi]
- The object-oriented design of a visual syntax-directed editor generatorFarahangiz Arefi, Charles E. Hughes, David A. Workman. 389-396 [doi]
- Modeling parts and discrete assembly operations, using an object-oriented data modelConstantinos Papaconstantinou, Keith L. Doty, Shamkant B. Navathe. 397-402 [doi]
- Structuring large versioned software productsJacky Estublier, Jean-Marie Favre. 404-411 [doi]
- An incremental delivery approach to system development: an empirical studyAlan T. Yaung, Pei Hsia. 412-419 [doi]
- Representing programs in multiparadigm software development environmentsScott Meyers, Steven P. Reiss. 420-427 [doi]
- SEWB: distributed software development environment on workstationsHirokazu Mimura, Hiroyuki Maezawa. 428-432 [doi]
- Critical issues in real-time software systemsMikio Aoyama. 434-435 [doi]
- Towards predictable and reliable distributed real-time systemsHldeyukl Tokuda. 437-438 [doi]
- Rapid prototyping of programming language semantics using PrologBarrett R. Bryant, Aiqin Pan. 439-446 [doi]
- Interactive control of prototyping processLuqi, Yuh-Jeng Lee. 447-454 [doi]
- Exploratory prototyping through the use of frames and production rulesJeffrey J. P. Tsai, Thomas Weigert. 455-462 [doi]
- An integrated framework for software prototypingJijun Chen, Junyen Wang, Jeremy Kuo. 463-470 [doi]
- Software development: a paradigm for the futureVictor R. Basili. 471-485 [doi]
- Models to estimate the number of faults still resident in the software after test/debug processYoshihiro Tohma. 491-492 [doi]
- Quality feedback in software development management-methodology and practical applicationMamoru Sugahara, Akira Ohmori, Masahiro Tohyama, Hajime Ikegame, Tetsuya Takase. 493-500 [doi]
- Evaluating software development environment qualityTakeshige Miyoshi, Yasuko Togashi, Motoei Azuma. 501-508 [doi]
- Meta-SQAP: meta-methodology for software quality assuranceKatsumi Honda, Keisuke Minomura, Toshihiro Komiyama. 509-515 [doi]
- Building reliable systems: software testing and analysisJohn Salasin. 517-520 [doi]
- On predicting software reliabilityJohn E. Gaffney Jr.. 522-523 [doi]
- The SDI approachCharles W. Lillie, Bill R. Brykczynski. 524-525 [doi]
- An approach to software fault localization and revalidation based on incremental data flow analysisAbu-Bakr Taha, Stephen M. Thebaut, Sying-Syang Liu. 527-534 [doi]
- Method of determining effective software testing regions: detection of software defects related to external specification changesTakeshi Kaneko, Takeshi Nakajo. 535-542 [doi]
- A tool to generate DEBUG program of arbitrary type of microprocessorsJiemin Gong, Minzhu Lu, Ning Li. 543-547 [doi]
- The developing software industry of TaiwanJyh-Sheng Ke. 548-549 [doi]
- Software technology and industry of Korea: widening horizon and emerging presenceYong Rae Kwon. 550-551 [doi]
- Infuse: fusing integration test management with change managementGail E. Kaiser, Dewayne E. Perry, William M. Schell. 552-558 [doi]
- An amalgamated model of software usabilityRichard Holcomb, Alan L. Tharp. 559-566 [doi]
- Methodologies for meeting hard deadlines in industrial distributed real-time systemsWolfgang A. Halang, Bernd Krämer. 567-573 [doi]
- Statistically-based program size estimationMuneo Takahashi, Takeshi Miyake, Shuetsu Hanata. 574-579 [doi]
- Automated protocol modeling and verification combining an entity-based specification language and Petri netsS. M. Shatz, T. Suzuki, T. Murata. 580-587 [doi]
- A dialogue manager for efficient adaptive man-machine dialoguesJacob Ukelson, Michael Rodeh. 588-595 [doi]
- Generating displays for specifications using attribute grammarsValdis Berzins, Yuh-Jeng Lee. 596-602 [doi]
- A visual solid modeling system using a plane cursorHirotaka Sekine, Hirokatsu Terajima. 603-609 [doi]
- Hyper-geometric distribution model to estimate the number of residual software faultsYoshihiro Tohma, Raymond Jacoby, Yukihisa Murata, Moriki Yamamoto. 610-617 [doi]
- Zero-one integer programming model in path selection problem of structural testingJin-Cherng Lin, Chyan-Goei Chung. 618-627 [doi]
- Software quality and productivity analysis at Hewlett-PackardBarbara Zimmer. 628-632 [doi]
- A knowledge base for code reuse by similarityBonnie K. MacKellar, Fred J. Maryanski. 634-641 [doi]
- A knowledge-based debugger for real-time software systems based on a noninterference testing architectureJeffrey J. P. Tsai, Kwang-Ya Fang, Horng-Yuan Chen. 642-649 [doi]
- Reasoning on requirement specifications: a deductive approachKacem Zeroual. 650-657 [doi]
- `Entropy production rate' and `entropy' for neural networksHung-Jen Chang, Kung-Shiuh Huang, Kuan-Tsao Huang. 658-663 [doi]
- Stochastic backpropagation: a learning algorithm for generalization problemsC. V. Ramamoorthy, Shashi Shekhar. 664-671 [doi]
- Implementing a self-development neural network using doubly linked listsTsu-Chang Lee, Allen M. Peterson. 672-679 [doi]
- Connected component labeling using self-organizing feature mapsGregory A. Baraghimian. 680-684 [doi]
- Application of mathematical constraint resolution to decision support systemFeng-Tyan Lin, Jie-Yong Juang, Der-Tsai Lee. 685-692 [doi]
- A volume sorting hidden-surface algorithmXiaofeng Zhou, Kristianto Iskandar, John Staudhammer. 693-699 [doi]
- Concurrent LISP based on lexical scopeS. Sugimoto, T. Sakaguchi, K. Tabata. 700-707 [doi]
- What are the `carry over effects' in changing from a procedural to a declarative approach?Jawed I. A. Siddiqi, Babak Khazaei. 708-710 [doi]
- A high-order logic programming framework for complex objects reasoningQiming Chen. 711-718 [doi]
- Entailment as a logical basis for incremental generation of causal relationsJingde Cheng, Kazuo Ushijima. 719-726 [doi]
- A semantic processor for natural languageJohn C. Weber, P. C. Berry, Wilbur D. Hagamen, Kenneth E. Iverson. 727-733 [doi]
- PUC: a knowledge based environment for planned user communicationPaula Y. Guaranys, Carlos J. P. Lucena. 734-740 [doi]
- The implementation of nonlocal dependency relationship in interactive environmentYong Zheng, Jiahua Qian. 741-745 [doi]
- A representation for discrete assembly sequences in task planningRana G. Ayoub, Keith L. Doty. 746-753 [doi]
- KLMR: a knowledge language for model realizationShi-Yu Liang, Chen Yong, Zhi-Chong Li. 754-759 [doi]
- Scatter-Brain: an experiment in distributed problem solving applied to load balancingVibhu O. Mittal, Mukesh Singhal. 760-766 [doi]
- Expert system based automatic network fault management systemShow-Way Yeh, Chuan-lin Wu, Hong-Da Sheng, Chaw-Kwei Hung, Rei-Chi Lee. 767-774 [doi]
- A knowledge-based supervision model for machine toolsTaehwan Yoon, José C. Principe. 779-780 [doi]
- Next Steps: Navistar's compensation reserve expert system advisorJudith A. Markowitz. 781-782 [doi]
- An integrated engineering workstation for automated guided vehicle systems designOmer Bakkalbasi, Dah-Chuan Gong, Brett A. Peters, Marc Goetschalckz, Leon F. McGinnis. 783-785 [doi]
- A2QDT: a syntax-directed Prolog dialect translatorM. W. Du, S.-C. Chang, Anita Chow. 786-787 [doi]
- A set-oriented inference mechanism for large data-intensive logic-basesGhassan Z. Qadah. 788-790 [doi]