| 1990 | A Petri net-based distributed debugger. An-Chi Liu, André Engberts |
| 1990 | A bi-level object-oriented data model for GIS applications. Amelia Choi, W. S. Luk |
| 1990 | A connectionist approach to multiple-view based 3-D object recognition. Wei-Chung Lin, Fong-Yuan Liao, Chen-Kuo Tsao, Theresa Lingutla |
| 1990 | A graphical interface for an object-oriented query language. Herman Lam, H. More Chen, Frederick S. Ty, Jiwen Qiu, Stanley Y. W. Su |
| 1990 | A graphical knowledge level approach for user-database interaction. K. P. Tan, Hock Chuan Chan, Keng L. Siau |
| 1990 | A gridless multilayer channel router. R. Yazdani, Mehdi R. Zargham |
| 1990 | A hybrid approach to mutual exclusion for distributed systems. Ye-In Chang, Mukesh Singhal, Ming T. Liu |
| 1990 | A methodology for formal specification and implementation of Ada packages. Neel Madhav, Walter Mann |
| 1990 | A model-object based expert system for real-time intelligent control of chemical processes. M. R. Basila Jr., G. Stefanek, Ali Cinar |
| 1990 | A new 3D-border algorithm by neighbor finding. Shi-Nine Yang, Tsong-Wuu Lin |
| 1990 | A new plane-sweep algorithm based on spatial data structure for overlapped rectangles in 2-D plane. Pei-Yung Hsiao, Chia-Chun Tsai |
| 1990 | A process modeling language for large process control systems. Ming-Jie Chen, Chyan-Goei Chung |
| 1990 | A program transformation approach to automating software re-engineering. Scott Burson, Gordon Kotik, Lawrence Z. Markosian |
| 1990 | A proposed parallel software testing paradigm. James L. Walker |
| 1990 | A semi-adaptive DCT compression method that uses minimal space. Rosalee Nerheim |
| 1990 | A set and mapping-based detection and solution method for structure clash between program input and output data. Masaaki Hashimoto, Katsumi Okamoto |
| 1990 | A software approach to multiprocessor address trace generation. Mani Azimi, Carl Erickson |
| 1990 | A symmetrical approach to granting and revoking access rights in database management systems. David A. Goldberg, Ali Orooji |
| 1990 | A testing methodology framework. James S. Collofello, Terry Fisher, Mary Rees |
| 1990 | A tool specification language for software maintenance. Sying-Syang Liu, Kurt R. Johmann |
| 1990 | A unified hardware/software fault detection experiment in a 5ESS system. K. W. Hwang, A. A. Kapauan, Wing N. Toy |
| 1990 | An Ada interface for massively parallel systems. E. K. Park, Paul B. Anderson, Henry D. Dardy |
| 1990 | An application of object-oriented design for communication control systems. Kiyohiko Kajihara, Seiichi Yamazaki, Takeshi Yamashita, Mitsutaka Ito |
| 1990 | An approach to introduce the reflection to C++. Ping Chen, Xiyao Cai, Yimin Jin |
| 1990 | An efficient model of dynamic task scheduling for distributed systems. Arif Ghafoor, Ishfaq Ahmad |
| 1990 | An expert system to convert knowledge-based geological engineering systems into Fortran. Jill J. Cress, Ralph W. Wilkerson |
| 1990 | An implementation of software tools for replay and partial replay of Concurrent-C programs. Jason Lee, Kuo-Hua Wang, Ching-Roung Chou |
| 1990 | An integrated expert system framework for software quality assurance. Stephen S. Yau, Yeou-Wei Wang, Jules G. Huang, Jinshuan E. Lee |
| 1990 | An inversion capability for the PRESTIGE workbench: some basic issues. Bryan Ratcliff |
| 1990 | An object oriented approach to automating patient medical records. Donald C. Dimitroff, Ifay F. Chang |
| 1990 | Application-level software self-balancing. Chung-Ta King, Tzong-Huei Shiau, Chin-Piao Chan |
| 1990 | 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 |
| 1990 | Architecture and functionality of a specification environment for distributed software. Bernd Krämer, Heinz-Wilhelm Schmidt |
| 1990 | AuditPro-integrating knowledge-based technology with diagramming tools for auditors. Tan Sian Lip, Chan Huang Seng |
| 1990 | Benchmarking two types of restricted transitive closure algorithms. Anestis A. Toptsis, Clement T. Yu, Peter C. Nelson |
| 1990 | Case studies in software reuse. Angelo J. Incorvaia, Alan M. Davis, Richard E. Fairley |
| 1990 | Cognitive building blocks of a database expert system. Dale Lee Harris |
| 1990 | Commercial applications of knowledge based systems: initiatives in the electric power industry. John F. Spina |
| 1990 | Compiling linear recursive Prolog programs with list structure into procedural language. Young K. Nam, Lawrence J. Henschen |
| 1990 | Concurrent transaction execution in multidatabase systems. Ken Barker, M. Tamer Özsu |
| 1990 | Condition-based software testing strategies. Kuo-Chung Tai |
| 1990 | DEMOM-A description based media object data model. Bernhard Holtkamp, Vincent Y. Lum, Neil C. Rowe |
| 1990 | Design and implementation of programming environments in the Visual Programmers Workbench. Robert V. Rubin, James Walker II, Eric J. Golin |
| 1990 | Designing a dynamic integrity constraint checker with nonmonotonic logic. Sheela Ramanna, James F. Peters, Elizabeth A. Unger, K. W. Glander |
| 1990 | Diagnosis system for automatic detection of deadlock in asynchronous concurrent distributed computing systems: using timed Petri net with stacks. Jenn-Nan Chen, Peter Chen |
| 1990 | Distributed communication software specification based on the action superposition mechanism. Kiyoshi Hayashi, Toshihiro Nishizono, Toyofumi Takenaka |
| 1990 | Distributed concurrent development of software systems: an object-oriented process model. Mikio Aoyama |
| 1990 | Distributed management of replicated and partitioned files under DRAGON SLAYER. Horst F. Wedde, Bogdan Korel, Willie G. Brown, Shengdong Chen |
| 1990 | Distributed software testing with specification. Carl K. Chang, Cheng-Chung Song, Rong-Fa Wang |
| 1990 | Dynamic query range for multikey searching. Xian-He Sun, Nabil N. Kamel |
| 1990 | EASE: an embedded algebraic specification environment. Jiahua Qian, Yong Zheng, Liqun Jin, Jinhua Zhang |
| 1990 | Executing jobs with deadline constraints in a privately owned workstation environment. Matt W. Mutka |
| 1990 | Expert workstation for information systems development. Walter Cabot, George J. Knafl |
| 1990 | Extending software complexity metrics to concurrent programs. Flavio De Paoli, Sandro Morasca |
| 1990 | FOREST: a systematic testing environment based on standardized formal description techniques. Kotaro Katsuyama, Tetsuo Nakakawaji, Fumiaki Sato, Tadanori Mizuno |
| 1990 | FormPlus: a form authoring toolkit. Ting-Jun Fan, Rona S. Machlin, Christopher P. Wang, Ifay F. Chang |
| 1990 | Forms interfaces and their view supportability properties. C. Robert Carlson, Hyonwoo Seung, Wenguang Ji |
| 1990 | Heuristic algorithms for path determination in a semantic network. Stanley Y. W. Su, Shirish Puranik, Herman Lam |
| 1990 | High performance massively parallel abstract data type components. I-Ling Yen, Farokh B. Bastani, T. Al-Marzooq, Ernst L. Leiss |
| 1990 | Hybrid relations for database schema evolution. Junichi Takahashi |
| 1990 | ICICLE: Intelligent code inspection in a C language environment. V. Sembugamoorthy, Laurence Brothers |
| 1990 | Implementing real-time systems using performance polymorphism. Kevin B. Kenny, Kwei-Jay Lin |
| 1990 | Improving exception handling with object-oriented programming. Christophe Dony |
| 1990 | Industrial experience in automating software re-engineering. Lawrence Z. Markosian, Thomas Driscoll, Ron Hunter-Duvar, John Hartman, Wojtek Kozaczynski, Jim Q. Ning, Mark Seipler |
| 1990 | Integration-a multi-faceted challenge [hospital systems]. Wei-Tih Cheng |
| 1990 | Intelligent database retrieval by visual reasoning. Shi-Kuo Chang, Yi Deng |
| 1990 | Intelligent query mechanism for expert systems. W. Z. Shao, H. S. Soon |
| 1990 | Introducing formality into the software development process: experience with a software project course. Robin A. Nicholl |
| 1990 | Knowledge-driven distributed information systems. Mike P. Papazoglou |
| 1990 | MCFS: a multiple criteria reasoning fuzzy expert systems building tool. Ahmed Kamel, Ahmed Nazif, Ossama El-Dessouki, Nabil Kamel |
| 1990 | Major technical issues in medical informatics computer technology systems and applications. Ifay F. Chang |
| 1990 | Management of heterogeneous parallelism on shared memory multiprocessors. Athar B. Tayyab, Jon G. Kuhl |
| 1990 | Mathematical transformation of Petri-nets for development of parallel/distributed programs. Yiannis E. Papelis, Thomas L. Casavant |
| 1990 | Measuring software size by distinct lines. David J. Lubinsky |
| 1990 | Methods for distributed join processing using a voice-data protocol. Kirk Scott, William Perrizo |
| 1990 | Methods of comparing test data adequacy criteria. Stewart N. Weiss |
| 1990 | Modeling and enacting software processes: an analysis. Jacques Lonchamp, Khalid Benali, Claude Godart, Jean-Claude Derniame |
| 1990 | Modeling execution time of multi-stage N-version fault-tolerant software. Mladen A. Vouk, Amit M. Paradkar, David F. McAllister |
| 1990 | Modeling of software reusable component approach and its case study. Kazuo Matsumura, Akihiro Yamashiro, Toshiyuki Tanaka, Ikumune Takahashi |
| 1990 | Neural network application to container number recognition. Ho C. Lui, Chung M. Lee, Fang Gao |
| 1990 | Nonlinear versus linear recursion: a perspective from computing transitive closures of a binary relation by the join domain nested loops approach. Pintsang Chang |
| 1990 | On real-time software testing and debugging. Jeffrey J. P. Tsai, Kwang-Ya Fang, Yao-Dong Bi |
| 1990 | On transforming Petri net model to Moore machine. Carl K. Chang, Hsuanwei Huang |
| 1990 | PPK: a method for recording and analyzing software design processes. Tsuyoshi Nakajima, Naoki Tamura, Kenji Uehara |
| 1990 | Panel: the model and metrics for software quality evaluation report of the Japanese National Working Group. Motoei Azuma |
| 1990 | Panel: transferring object-oriented technology into a corporation. Suzana Hutz, Rebecca Joos, Jean B. Rogers, K. C. Burgess Yakemovic |
| 1990 | Parallel processing in the 1990's: the promise and the pitfalls (Panel Session). Joseph P. Cavano, Ralph Duncan |
| 1990 | Path expression in data flow program testing. Janusz W. Laski |
| 1990 | Performance analysis of the make and load building algorithms. Anna Hac |
| 1990 | Performance of multiversion concurrency control algorithms in maintaining temporal consistency. Xiaohui Song, Jane W.-S. Liu |
| 1990 | Predictability measures for software reliability models. Yashwant K. Malaiya, Nachimuthu Karunanithi, Pradeep Verma |
| 1990 | Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, COMPSAC 1990, Chicago, IL, USA, October 31 1990 - November 2, 1990 |
| 1990 | Processing the transitive-closure logic rules on shared-nothing multiprocessor systems. Ghassan Z. Qadah |
| 1990 | Productivity improvement with evolutionary development. Anneliese von Mayrhauser, Barbara Hirsh |
| 1990 | Real-time scheduling of multiple segment tasks. Kamhing Ho, James H. Rice, Jaideep Srivastava |
| 1990 | Redundancy detection in logic programs is undecidable. Zheng Zhou, Benjamin W. Wah |
| 1990 | Rollback recovery in real-time systems with dynamic constraints. Shambhu J. Upadhyaya |
| 1990 | Rule base inspection using algorithmic approach for data-access oriented knowledge-based systems. Fang-Yie Leu, Chien-Chiao Yang |
| 1990 | Semantic and structural query reformulation for efficient manipulation of very large knowledge bases. Sang-goo Lee, Donghoon Shin |
| 1990 | Software productivity metrics-new initiatives in making it work (panel). Nicholas L. Marselos, Robert E. Park, John E. Gaffney Jr. |
| 1990 | Specification of a rapid prototyping capability for the automated patent system. Kathleen A. Jordan, Anthony J. Zawilski |
| 1990 | Supporting queries in the O-Raid object-oriented database system. James G. Mullen, Jagannathan Srinivasan, Prasun Dewan, Bharat K. Bhargava |
| 1990 | Temporal predicate transition nets and their applications. Xudong He |
| 1990 | The analysis of infeasible concurrent paths of concurrent Ada programs. Ren-Dar Yang, Chyan-Goei Chung |
| 1990 | The conceptual design of OSEA: an object-oriented semantic data model. P. L. Tan, Tharam S. Dillon |
| 1990 | The hyper-geometric distribution software reliability growth model (HGDM): precise formulation and applicability. Raymond Jacoby, Yoshihiro Tohma |
| 1990 | The lines of code metric as a predictor of program faults: a critical analysis. Taghi M. Khoshgoftaar, John C. Munson |
| 1990 | The software engineering of extensible database systems. Don S. Batory |
| 1990 | The status and future of interface technology. Sharon M. Walter, Jeannette G. Neal, Christine A. Montgomery, Sherman W. Tyler |
| 1990 | Transformation technique of algebraic specification. Liqun Jin, Jiahua Qian |
| 1990 | Twin-page storage management for rapid transaction-undo recovery. Kun-Lung Wu, W. Kent Fuchs |
| 1990 | Using the software process model to analyze a software project. I. Sue Ranft, David A. Gustafson |
| 1990 | VIPEG: a generator of environments for software maintenance. Wafa Khorshid, Václav Rajlich |
| 1990 | VIPS: a visual debugger for list structures. Takao Shimomura, Sadahiro Isoda |