| 1993 | A concurrent programming environment for memory-mapped persistent object systems. Mei-Mei Fu, Partha Dasgupta |
| 1993 | A formal technique to analyze real-time systems. Ji Wang, Huowang Chen |
| 1993 | A framework for modelling evolving requirements. Andrew J. C. Blyth, J. S. Chudge, John E. Dobson, Ros Strens |
| 1993 | A method of drawing tree-structured program diagrams on the Euclidian plane. Youzou Miyadera, Koushi Anzai, H. Banba |
| 1993 | A practical and space efficient scheme for keeping source location in parse trees. Jianhua Zhu |
| 1993 | A reduced incremental ECFSM-based protocol verification. Chung-Ming Huang, Hsin-Yi Lai, Duen-Tay Huang |
| 1993 | A software architecture for maintaining temporal consistency in a distributed real-time environment. Prasad Raja, Jean Hernandez, Luis Ruiz, Guevara Noubir, Jean-Dominique Decotignie |
| 1993 | A task allocation algorithm for distributed computing systems. Stephen S. Yau, Venkeepuram R. Satish |
| 1993 | A temporal model for transparent monitoring of shared-memory multiprocessors. David F. Robinson, Betty H. C. Cheng |
| 1993 | Adaptive algorithm selection method (AASM) for dynamic software tuning. Kuniyasu Suzaki, Takio Kurita, Hitoshi Tanuma, Satoshi Hirano |
| 1993 | An extended recursive algebra for nested relations and its optimization. B. Rathakrishnan, J. L. Kim |
| 1993 | An integrated data structure with multiple access paths for database and its performance. Vijay Kumar, Judy Mullins |
| 1993 | An integrated environment for software reliability modeling. Jeff Tian, Peng Lu |
| 1993 | An object-oriented prototyping approach to system development. Takashi Arano, Carl K. Chang, Pattanasak Mongkolwat, Yong Liu, Xin Shu |
| 1993 | Capturing the objected-oriented database model in relational form. Su-Yin Hsieh, Carl K. Chang, Pattanasak Mongkolwat, Walter W. Pilch Jr., Chiao-Chuan Shih |
| 1993 | Choices in database workstation-server architecture. Iris Sheauyin Chu, Marianne Winslett |
| 1993 | Computing with real world: a fuzzy duration calculs. Ming-Yuan Zhu, Cheng-Wei Wang |
| 1993 | Coordination of software-development activities among sites that are geographically separated. L. F. Truett, E. Z. Faby, Jon W. Grubb, J. P. Loftis, P. C. Shipe |
| 1993 | Criteria for selecting a family of software indicators. Debra Trantina Calliss, Frank W. Calliss |
| 1993 | DELTA-DEsign Language To Actor. Nancy K. Gautier, Doris L. Carver |
| 1993 | Degrees of consciousness for reuse of software in practice: Maintainability, balance, standardization. Stefan Biffl, Thomas Grechenig |
| 1993 | Design and implementation of a distributed database. Bhavani Thuraisingham, Harvey H. Rubinovitz, David Foti, Andres Abreu |
| 1993 | Designing parallel database programs using PARSE. Jon Gray, Ian Gorton, Innes Jelly |
| 1993 | Developmental testing of abstract data types. Allen S. Parrish, David Cordes, Richard B. Borie |
| 1993 | Efficient commitment of events in distributed simulation. Vaduvur Bharghavan, C. V. Ramamoorthy |
| 1993 | Entity behaviour descriptions-A specification model for communicating entities. Joanne L. Boyd, Gerald M. Karam |
| 1993 | Experiences with a faceted classification scheme in a large reusable software library (RSL). Jeffrey S. Poulin, Kathryn P. Yglesias |
| 1993 | Fault-tolerant distributed deadlock detection/resolution. Pei-Yu Li, Bruce M. McMillin |
| 1993 | Formal support for software maintenance. Daniel E. Cooke, Luqi |
| 1993 | Integrating abstraction flexibility with diverse program perspectives. Javed I. Khan, Isao Miyamoto |
| 1993 | Maintenance support needs for object-oriented software. Ronald T. Crocker, Anneliese von Mayrhauser |
| 1993 | Model-based formal specification directed testing of abstract data types. Xiaoping Jia |
| 1993 | Multimedia object modelling and storage allocation strategies for heterogeneous parallel access storage devices in real time multimedia computing systems. C. Y. Roger Chen, Kingsley C. Nwosu, P. Bruce Berra |
| 1993 | Object prototyping: Concept and specification language. Horng-Juing Lee, Wei-Tek Tsai |
| 1993 | Object-oriented database views for supporting multidisciplinary concurrent engineering. Kelvin Wenbo Liu, David Spooner |
| 1993 | On developing a general theory of software engineering. Karl B. Zerangue |
| 1993 | Online workload, performance and scalability of a database production system: A case study. Mei-Chen Hsueh |
| 1993 | Parallel software engineering with PARSE. Ian Gorton, Innes Jelly, Jon Gray |
| 1993 | Petri net based modelling of procedures in complex object database applications. Andreas Oberweis, Peter Sander, Wolffried Stucky |
| 1993 | Process dependence net of distributed programs and its applications in development of distributed systems. Jingde Cheng |
| 1993 | Process-centered project management system by stepwise particularizing software process. Kagetomo Genji, Michitoshi Ishiwaka, Takeshi Ogihara, Katsuro Inoue |
| 1993 | Recording software design processes for maintaining the software. Masaki Hamada, H. Adachi |
| 1993 | SD Hsiao-Ying Yang, Don-Lin Lang, An-Chi Liu |
| 1993 | Scheduling of dynamic divide-and-conquer computations on multicomputers. Vijay Karamcheti, Benjamin W. Wah |
| 1993 | Secure group communication protocol for distributed systems. Makoto Takizawa, Hiroya Mita |
| 1993 | Seventeenth Annual International Computer Software and Applications Conference, COMPSAC 1993, Proceedings, Phoenix, AZ, USA, 1-5 November, 1993 |
| 1993 | Software engineering in the commercial sector present and future: A United Kingdom perspective. J. Barrie Thompson, Simon Stobart |
| 1993 | Software process assessment and improvement using production models. Anneliese von Mayrhauser, Armin Roeseler |
| 1993 | Software reengineering for reusability. Stan Jarzabek |
| 1993 | Specification slicing in formal methods of software development. Tomohiro Oda, Keijiro Araki |
| 1993 | System dependence graph construction for recursive programs. Panos E. Livadas, Stephen Croll |
| 1993 | The Motorola software engineering benchmark program: Organization, directions, and results. Jim Fritsch |
| 1993 | The Xthreads library: Design, implementation, and applications. Janche Sang, Felipe Knop, Vernon Rego, Jenq Kuen Lee, Chung-Ta King |
| 1993 | Tool integration frameworks-Facts and fiction. Kanwalinder Singh |
| 1993 | Two-level processor scheduling for multiprogrammed NUMA multiprocessors. Akira Fukuda, Ryousuke Fujiki, Hisa-aki Kai |
| 1993 | Use of a specification construction and animation tool to teach formal methods. Ian C. Morrey, Jawed I. A. Siddiqi, Graham Buckberry, Richard Hibberd |
| 1993 | Using computational learning theory to analyze the testing complexity of program segments. Kathleen Romanik, Jeffrey Scott Vitter |
| 1993 | Visual CASE: A software development system for home appliances. Yoshihiko Imai, Kazutoshi Sumiya, Kouichi Yasutake, Shuusuke Haruna |
| 1993 | Z meets Haskell: A case study. Linda B. Sherrell, Doris L. Carver |