Table of Contents

• The software engineering of extensible database systemsDon S. Batory. [doi]
• Methods of comparing test data adequacy criteriaStewart N. Weiss. 1-6 [doi]
• Predictability measures for software reliability modelsYashwant K. Malaiya, Nachimuthu Karunanithi, Pradeep Verma. 7-12 [doi]
• The hyper-geometric distribution software reliability growth model (HGDM): precise formulation and applicabilityRaymond Jacoby, Yoshihiro Tohma. 13-19 [doi]
• Performance analysis of the make and load building algorithmsAnna Hac. 20-25 [doi]
• Applying knowledge-based technology: trends and directions (Panel Session)Mike P. Papazoglou, Bruce I. Blum, Nikolaos G. Bourbakis, Apostolos Dollas, J. G. Hughes, E. Knudsen, Timos K. Sellis. 26-32 [doi]
• Parallel processing in the 1990's: the promise and the pitfalls (Panel Session)Joseph P. Cavano, Ralph Duncan. 33-35 [doi]
• Improving exception handling with object-oriented programmingChristophe Dony. 36-42 [doi]
• An application of object-oriented design for communication control systemsKiyohiko Kajihara, Seiichi Yamazaki, Takeshi Yamashita, Mitsutaka Ito. 43-51 [doi]
• An approach to introduce the reflection to C++Ping Chen, Xiyao Cai, Yimin Jin. 52-56 [doi]
• DEMOM-A description based media object data modelBernhard Holtkamp, Vincent Y. Lum, Neil C. Rowe. 57-63 [doi]
• Panel: the model and metrics for software quality evaluation report of the Japanese National Working GroupMotoei Azuma, Toshihiro Komiyama, T. Miyake, S. Sakurai, A. Yamada, T. Yonezawa. 64-69 [doi]
• A process modeling language for large process control systemsMing-Jie Chen, Chyan-Goei Chung. 70-75 [doi]
• Specification of a rapid prototyping capability for the automated patent systemKathleen A. Jordan, Anthony J. Zawilski. 76-81 [doi]
• An object oriented approach to automating patient medical recordsDonald C. Dimitroff, Ifay F. Chang. 82-87 [doi]
• Cognitive building blocks of a database expert systemDale Lee Harris. 88-91 [doi]
• Mathematical transformation of Petri-nets for development of parallel/distributed programsYiannis E. Papelis, Thomas L. Casavant. 92-98 [doi]
• A software approach to multiprocessor address trace generationMani Azimi, Carl Erickson. 99-105 [doi]
• An implementation of software tools for replay and partial replay of Concurrent-C programsJason Lee, Kuo-Hua Wang, Ching-Roung Chou. 106-111 [doi]
• Distributed software testing with specificationCarl K. Chang, Cheng-Chung Song, Rong-Fa Wang. 112-117 [doi]
• Dynamic query range for multikey searchingXian-He Sun, Nabil N. Kamel. 118-123 [doi]
• A symmetrical approach to granting and revoking access rights in database management systemsDavid A. Goldberg 0002, Ali Orooji. 124-131 [doi]
• Performance of multiversion concurrency control algorithms in maintaining temporal consistencyXiaohui Song, Jane W.-S. Liu. 132-139 [doi]
• Designing a dynamic integrity constraint checker with nonmonotonic logicSheela Ramanna, James F. Peters, Elizabeth A. Unger, K. W. Glander. 140-145 [doi]
• ICICLE: Intelligent code inspection in a C language environmentV. Sembugamoorthy, Laurence Brothers. 146-154 [doi]
• Rule base inspection using algorithmic approach for data-access oriented knowledge-based systemsFang-Yie Leu, Chien-Chiao Yang. 155-160 [doi]
• An integrated expert system framework for software quality assuranceStephen S. Yau, Yeou-Wei Wang, Jules G. Huang, Jinshuan E. Lee. 161-166 [doi]
• A proposed parallel software testing paradigmJames L. Walker. 167-172 [doi]
• AuditPro-integrating knowledge-based technology with diagramming tools for auditorsTan Sian Lip, Chan Huang Seng. 173-183 [doi]
• An expert system to convert knowledge-based geological engineering systems into FortranJill J. Cress, Ralph W. Wilkerson. 184-189 [doi]
• Neural network application to container number recognitionHo C. Lui, Chung M. Lee, Fang Gao. 190-195 [doi]
• High performance massively parallel abstract data type componentsI.-Ling Yen, Farokh B. Bastani, T. Al-Marzooq, Ernst L. Leiss. 196-201 [doi]
• Application-level software self-balancingChung-Ta King, Tzong-Huei Shiau, Chin-Piao Chan. 202-207 [doi]
• Management of heterogeneous parallelism on shared memory multiprocessorsAthar B. Tayyab, Jon G. Kuhl. 208-213 [doi]
• Processing the transitive-closure logic rules on shared-nothing multiprocessor systemsGhassan Z. Qadah. 214-220 [doi]
• The conceptual design of OSEA: an object-oriented semantic data modelP. L. Tan, Tharam S. Dillon. 221-230 [doi]
• A graphical interface for an object-oriented query languageHerman Lam, H. More Chen, Frederick S. Ty, Jiwen Qiu, Stanley Y. W. Su. 231-237 [doi]
• A bi-level object-oriented data model for GIS applicationsAmelia Choi, W. S. Luk. 238-244 [doi]
• Supporting queries in the O-Raid object-oriented database systemJames G. Mullen, Jagannathan Srinivasan, Prasun Dewan, Bharat K. Bhargava. 245-250 [doi]
• Software productivity metrics-new initiatives in making it work (panel)Nicholas L. Marselos, Robert E. Park, John E. Gaffney Jr.. 253-254 [doi]
• FormPlus: a form authoring toolkitTing-Jun Fan, Rona S. Machlin, Christopher P. Wang, Ifay F. Chang. 255-260 [doi]
• Temporal predicate transition nets and their applicationsXudong He. 261-266 [doi]
• On transforming Petri net model to Moore machineCarl K. Chang, Hsuanwei Huang. 267-272 [doi]
• Distributed communication software specification based on the action superposition mechanismKiyoshi Hayashi, Toshihiro Nishizono, Toyofumi Takenaka. 273-281 [doi]
• Concurrent transaction execution in multidatabase systemsKen Barker, M. Tamer Özsu. 282-288 [doi]
• A hybrid approach to mutual exclusion for distributed systemsYe-In Chang, Mukesh Singhal, Ming T. Liu. 289-294 [doi]
• Twin-page storage management for rapid transaction-undo recoveryKun-Lung Wu, W. Kent Fuchs. 295-300 [doi]
• Case studies in software reuseAngelo J. Incorvaia, Alan M. Davis, Richard E. Fairley. 301-306 [doi]
• Modeling of software reusable component approach and its case studyKazuo Matsumura, Akihiro Yamashiro, Toshiyuki Tanaka, Ikumune Takahashi. 307-313 [doi]
• A program transformation approach to automating software re-engineeringScott Burson, Gordon Kotik, Lawrence Z. Markosian. 314-322 [doi]
• Productivity improvement with evolutionary developmentAmeliese von Mayrhauser, Barbara Hirsh. 323-329 [doi]
• Distributed concurrent development of software systems: an object-oriented process modelMikio Aoyama. 330-337 [doi]
• Using the software process model to analyze a software projectI. Sue Ranft, David A. Gustafson. 338-346 [doi]
• A new plane-sweep algorithm based on spatial data structure for overlapped rectangles in 2-D planePei-Yung Hsiao, Chia-Chun Tsai. 347-352 [doi]
• A new 3D-border algorithm by neighbor findingShi-Nine Yang, Tsong Wuu Lin. 353-358 [doi]
• A semi-adaptive DCT compression method that uses minimal spaceRosalee Nerheim. 359-362 [doi]
• A gridless multilayer channel routerR. Yazdani, Mehdi R. Zargham. 363-368 [doi]
• Semantic and structural query reformulation for efficient manipulation of very large knowledge basesSang-goo Lee, Donghoon Shin. 369-374 [doi]
• Benchmarking two types of restricted transitive closure algorithmsAnestis A. Toptsis, Clement T. Yu, Peter C. Nelson. 375-381 [doi]
• Nonlinear versus linear recursion: a perspective from computing transitive closures of a binary relation by the join domain nested loops approachPintsang Chang. 382-390 [doi]
• Compiling linear recursive Prolog programs with list structure into procedural languageYoung K. Nam, Lawrence J. Henschen. 391-398 [doi]
• The status and future of interface technologySharon M. Walter, Jeannette G. Neal, Christine A. Montgomery, Sherman W. Tyler. 399-402 [doi]
• Measuring software size by distinct linesDavid J. Lubinsky. 403-407 [doi]
• The lines of code metric as a predictor of program faults: a critical analysisTaghi M. Khoshgoftaar, John C. Munson. 408-413 [doi]
• Extending software complexity metrics to concurrent programsFlavio De Paoli, Sandro Morasca. 414-419 [doi]
• Commercial applications of knowledge based systems: initiatives in the electric power industryJohn F. Spina, Walter Meyer, J. Scherer, R. M. Wood. 420-423 [doi]
• The analysis of infeasible concurrent paths of concurrent Ada programsRen-Dar Yang, Chyan-Goei Chung. 424-429 [doi]
• An Ada interface for massively parallel systemsE. K. Park, Paul B. Anderson, Henry D. Dardy. 430-435 [doi]
• Distributed management of replicated and partitioned files under DRAGON SLAYERHorst F. Wedde, Bogdan Korel, Willie G. Brown, Shengdong Chen. 436-441 [doi]
• An efficient model of dynamic task scheduling for distributed systemsArif Ghafoor, Ishfaq Ahmad. 442-447 [doi]
• Forms interfaces and their view supportability propertiesC. Robert Carlson, Hyonwoo Seung, Wenguang Ji. 448-452 [doi]
• A graphical knowledge level approach for user-database interactionK. P. Tan, Hock Chuan Chan, Keng L. Siau. 453-458 [doi]
• Intelligent database retrieval by visual reasoningShi-Kuo Chang, Yi Deng. 459-464 [doi]
• Hybrid relations for database schema evolutionJunichi Takahashi. 465-470 [doi]
• VIPEG: a generator of environments for software maintenanceWafa Khorshid, Václav Rajlich. 471-476 [doi]
• A tool specification language for software maintenanceSying-Syan Liu, Kurt R. Johmann. 477-482 [doi]
• FOREST: a systematic testing environment based on standardized formal description techniquesKotaro Katsuyama, Tetsuo Nakakawaji, Fumiaki Sato, Tadanori Mizuno. 483-490 [doi]
• A methodology for formal specification and implementation of Ada packagesNeel Madhav, Walter Mann. 491-496 [doi]
• Major technical issues in medical informatics computer technology systems and applicationsIfay F. Chang. 498-499 [doi]
• Integration-a multi-faceted challenge [hospital systems]Wei-Tih Cheng. 501-502 [doi]
• Modeling execution time of multi-stage N-version fault-tolerant softwareMladen A. Vouk, Amit M. Paradkar, David F. McAllister. 505-511 [doi]
• On real-time software testing and debuggingJeffrey J. P. Tsai, Kwang-Ya Fang, Yao-Dong Bi. 512-518 [doi]
• A unified hardware/software fault detection experiment in a 5ESS systemK.-W. Hwang, A. A. Kapauan, Wing N. Toy. 519-523 [doi]
• Rollback recovery in real-time systems with dynamic constraintsShambhu J. Upadhyaya. 524-529 [doi]
• VIPS: a visual debugger for list structuresTakao Shimomura, Sadahiro Isoda. 530-537 [doi]
• Expert workstation for information systems developmentWalter Cabot, George J. Knafl. 538-546 [doi]
• Design and implementation of programming environments in the Visual Programmers WorkbenchRobert V. Rubin, James Walker II, Eric J. Golin. 547-554 [doi]
• PPK: a method for recording and analyzing software design processesTsuyoshi Nakajima, Naoki Tamura, Kenji Uehara. 555-563 [doi]
• Condition-based software testing strategiesK. C. Tai. 564-569 [doi]
• Path expression in data flow program testingJanusz Laski. 570-576 [doi]
• A testing methodology frameworkJames Collofello, Terry Fisher, Mary Rees. 577-586 [doi]
• Heuristic algorithms for path determination in a semantic networkStanley Y. W. Su, Shirish Puranik, Herman Lam. 587-592 [doi]
• Redundancy detection in logic programs is undecidableZheng Zhou, Benjamin W. Wah. 593-598 [doi]
• Intelligent query mechanism for expert systemsW. Z. Shao, H. S. Soon. 599-604 [doi]
• MCFS: a multiple criteria reasoning fuzzy expert systems building toolAhmed Kamel, Ahmed Nazif, Ossama El-Dessouki, Nabil Kamel. 605-610 [doi]
• Industrial experience in automating software re-engineeringLawrence Z. Markosian, Thomas Driscoll, R. Hunter-Duvar, John Hartman, Wojtek Kozaczynski, Jim Q. Ning. 611-616 [doi]
• Architecture and functionality of a specification environment for distributed softwareBernd Krämer, Heinz-Wilhelm Schmidt. 617-622 [doi]
• An inversion capability for the PRESTIGE workbench: some basic issuesBryan Ratcliff. 623-628 [doi]
• A set and mapping-based detection and solution method for structure clash between program input and output dataMasaaki Hashimoto, Katsumi Okamoto. 629-638 [doi]
• A Petri net-based distributed debuggerAn-Chi Liu, André Engberts. 639-646 [doi]
• Panel: transferring object-oriented technology into a corporationSuzana Hutz, Rebecca Joos, Jean B. Rogers, K. C. Burgess Yakemovic. 647-651 [doi]
• A model-object based expert system for real-time intelligent control of chemical processesM. R. Basila Jr., G. Stefanek, A. Cinar. 652-657 [doi]
• Diagnosis system for automatic detection of deadlock in asynchronous concurrent distributed computing systems: using timed Petri net with stacksJenn-Nan Chen, Peter Chen. 658-664 [doi]
• A connectionist approach to multiple-view based 3-D object recognitionWei-Chung Lin, Fong-Yuan Liao, Chen-Kuo Tsao, Theresa Lingutla. 665-670 [doi]
• Knowledge-driven distributed information systemsMike P. Papazoglou. 671-679 [doi]
• Real-time scheduling of multiple segment tasksKamhing Ho, James H. Rice, Jaideep Srivastava. 680-686 [doi]
• Executing jobs with deadline constraints in a privately owned workstation environmentMatt W. Mutka. 687-692 [doi]
• Implementing real-time systems using performance polymorphismKevin B. Kenny, Kwei-Jay Lin. 693-698 [doi]
• Methods for distributed join processing using a voice-data protocolKirk Scott, William Perrizo. 699-704 [doi]
• Transformation technique of algebraic specificationLiqun Jin, Jiahua Qian. 705-710 [doi]
• EASE: an embedded algebraic specification environmentJiahua Qian, Yong Zheng, Liqun Jin, Jinhua Zhang. 711-716 [doi]
• Introducing formality into the software development process: experience with a software project courseRobin A. Nicholl. 717-726 [doi]
• Modeling and enacting software processes: an analysisJacques Lonchamp, Khalid Benali, Claude Godart, Jean-Claude Derniame. 727-736 [doi]