| 1994 | Procedure handling in computer aided program development. | Janusz Jablonowski, Ewa Madalinska-Bugaj |
| 1994 | Deducing structure in systems with separable user interfaces. | W. David Hurley |
| 1994 | The COMMODIOUS method - COMmunication MODelling as an aid to Illustrate the Organisational Use of Software. | Peter Holm |
| 1994 | From software craft to software engineering: the Cleanroom method. | Philip A. Hausler, Richard C. Linger |
| 1994 | Semantic query optimization by class reference reduction in object- oriented databases. | Sha Guo, Wei Sun, Naphtali Rishe, Yi Deng |
| 1994 | A similarity measure for retrieving software artifacts. | M. R. Girardi, Bertrand Ibrahim |
| 1994 | Timing analysis of real-time software systems using fuzzy time Petri nets. | Jorge C. A. de Figueiredo, Angelo Perkusich, Shi-Kuo Chang |
| 1994 | Giving KBS an OO! - object-oriented techniques and KADS. | Veronique Farrell, Dave Riches, Stewart Tansley |
| 1994 | A functional specification of reusing software components. | John van den Elst, Frank van Harmelen, Guus Schreiber, Monique Thonnat |
| 1994 | A LOTOS specification of the SERCOS field-bus protocol. | Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 1994 | CAProDel: a system for computer aided program development. | Barbara Dunin-Keplicz, Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj |
| 1994 | Bag languages, concurrency, Horn logic programs, and linear logic. | Daniel E. Cooke, Richard Duran, Ann Q. Gates, Vladik Kreinovich |
| 1994 | DocFlow: an event-driven visual programming environment for office automation through document processing. | Steve C. Y. Chiang, Jason Tsong-Li Wang, Michael P. Bieber, Peter A. Ng |
| 1994 | Design and implementation of a knowledge based BPA/BPR tool: EUOBFE. | Yigang Chen, Yutaka Usuda |
| 1994 | The object-oriented development of a distributed multimedia environmental information system. | Betty H. C. Cheng, Robert H. Bourdeau, Gerald C. Gannod |
| 1994 | Supporting multiple evolving compilers. | Thomas E. Cheatham, Amr F. Fahmy, Dan C. Stefanescu |
| 1994 | A visual logic specification of flexible manufacturing systems. | H. Lewis Chau, K. Gary Chan |
| 1994 | Visual Communications. | S. K. Chang |
| 1994 | Recovering object classes and inheritance relationships from existing code. | Gerardo Canfora, Giuseppe A. Di Lucca, Maria Tortorella |
| 1994 | A formal methodology for acquiring and representing knowledge from multiple experts. | Osvaldo Cair, Silvia Guardati, Tomhs Boom |
| 1994 | A deductive infrastructure for exploratory software evolution. | Pearl Brereton, Paul Singleton |
| 1994 | Software merge: models and properties. | Valdis Berzins |
| 1994 | A test environment for Prolog. | Fevzi Belli, Oliver Jack |
| 1994 | GRADE Windows: an integrated CASE tool for information system development. | Janis Barzdins, Audris Kalnins, Karlis Podnieks, Ilona Etmane, Andrejs J. Auzins, A. Kalis, P. Krastins, S. Rozenfelds |
| 1994 | Automation support for concurrent software engineering. | Salah Badr, Luqi |