| 1994 | A LOTOS specification of the SERCOS field-bus protocol. Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 1994 | A complete sequent calculus for a first order branching temporal logic. Jurate Sakalauskaite |
| 1994 | A contextual approach for the requirements engineering process. Colette Rolland |
| 1994 | A deductive infrastructure for exploratory software evolution. Pearl Brereton, Paul Singleton |
| 1994 | A deductive program transformation system. Phillip C.-Y. Sheu, Song Bong Yoo |
| 1994 | A formal methodology for acquiring and representing knowledge from multiple experts. Osvaldo Cairó, Silvia Guardati, Tomhs Boom |
| 1994 | A functional specification of reusing software components. John van den Elst, Frank van Harmelen, Guus Schreiber, Monique Thonnat |
| 1994 | A knowledge-based system for software quality analysis. Nadine Meskens |
| 1994 | A language for debugging automation. Mikhail Auguston |
| 1994 | A pipeline CASE tool for database design. Naphtali Rishe, Wei Sun |
| 1994 | A process for verification based inspections. Latifa Ben Arfa Rabai, Marc Frappier, Rym Mili, Ali Mili, Douglas R. Skuce |
| 1994 | A similarity measure for retrieving software artifacts. M. R. Girardi, Bertrand Ibrahim |
| 1994 | A test environment for Prolog. Fevzi Belli, Oliver Jack |
| 1994 | A tool for assisting the understanding and formal development of software. Salwa K. Abd-El-Hafiz, Victor R. Basili |
| 1994 | A visual logic specification of flexible manufacturing systems. H. Lewis Chau, K. Gary Chan |
| 1994 | An experiment in eliminating the separation between data, functional, and behavioral models during requirements specification. Hany M. Atchan, Gordon C. Everest |
| 1994 | Applicability of McCabe's complexity metric to knowledge engineering products. Edmundo Tovar |
| 1994 | Associative program retrieval using partially-ordered behavioral abstractions of a program. Hideaki Suzuki, Naohisa Takahashi |
| 1994 | Automated support to system modeling from informal software requirements. Sooyong Park, James D. Palmer |
| 1994 | Automation support for concurrent software engineering. Salah Badr, Luqi |
| 1994 | Bag languages, concurrency, Horn logic programs, and linear logic. Daniel E. Cooke, Richard Duran, Ann Q. Gates, Vladik Kreinovich |
| 1994 | Belief: updating vs. combining. ShengLi Shi, M. Elizabeth C. Hull, David A. Bell |
| 1994 | CAProDel: a system for computer aided program development. Barbara Dunin-Keplicz, Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj |
| 1994 | Combining transformational and derivational analogy in Larch specification generation. Perry Alexander |
| 1994 | Cooperation of KBS development environments and CASE environments. A. Inkeri Verkamo |
| 1994 | Deducing structure in systems with separable user interfaces. W. David Hurley |
| 1994 | Design and implementation of a knowledge based BPA/BPR tool: EUOBFE. Yigang Chen, Yutaka Usuda |
| 1994 | DesignKARL - A language for the design of knowledge-based systems. Dieter Landes |
| 1994 | Developing well-structured knowledge-based systems. Mette Vestli, Inge Nordbø, Arne Sølvberg |
| 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 | Extending a temporal rule language with deontic operators. John Krogstie, Guttorm Sindre |
| 1994 | Extensions of GRAPES/4GL for Windows style input/output. Audris Kalnins |
| 1994 | From software craft to software engineering: the Cleanroom method. Philip A. Hausler, Richard C. Linger |
| 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 | Giving KBS an OO! - object-oriented techniques and KADS. Veronique Farrell, Dave Riches, Stewart Tansley |
| 1994 | Investigating formal specification of graphical interface design for an interactive constraint based resource allocation system. Mary Zajicek, Ken W. Brownsley |
| 1994 | Knowledge based support for reuse. M. Ramachandran |
| 1994 | Knowledge engineering helps testing protection software. Hong Zhu, Patrick A. V. Hall, John H. R. May |
| 1994 | Learning to understand software from examples using cultural algorithms. Robert G. Reynolds, Elena Zannoni |
| 1994 | Managing decision table knowledge in a relational database environment. Jan Vanthienen, Geert Wets |
| 1994 | Measuring similarity between software artifacts. George Spanoudakis, Panos Constantopoulos |
| 1994 | Modeling in strategic reengineering. Stan Jarzabek, Wie Ming Lim |
| 1994 | Open architecture for a process-centered development environment. Fabio Abbattista, Filippo Lanubile, Giuseppe Visaggio |
| 1994 | Procedure handling in computer aided program development. Janusz Jablonowski, Ewa Madalinska-Bugaj |
| 1994 | Program parallelization in WSDW. Andrea De Lucia, C. Di Cristo, Genny Tortora, Maurizio Tucci |
| 1994 | Program text as hypertext: using program dependences for transient linking. Jussi Koskinen, Jukka Paakki, Airi Salminen |
| 1994 | Recovering object classes and inheritance relationships from existing code. Gerardo Canfora, Giuseppe A. Di Lucca, Maria Tortorella |
| 1994 | Reliability determination of Prolog programs. Alireza Azem, Fevzi Belli |
| 1994 | Rule firing with metarules. François Pachet, Jean-François Perrot |
| 1994 | Rule-enhanced Petri nets for software process modeling. Bernd J. Krämer |
| 1994 | SEKE'94, The 6th International Conference on Software Engineering and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia |
| 1994 | Saturated deductive systems for temporal specifications. Regimantas Pliuskevicius |
| 1994 | Semantic query optimization by class reference reduction in object- oriented databases. Sha Guo, Wei Sun, Naphtali Rishe, Yi Deng |
| 1994 | Software merge: models and properties. Valdis Berzins |
| 1994 | Software requirements acquisition through enterprise modelling. Marite Kirikova, Janis A. Bubenko Jr. |
| 1994 | Specialization of derivations in Hoare-like logic with recursive procedures. Aida Pliuskeviciene |
| 1994 | Specification reuse for safety-critical software. Claire P. Willis, Derek J. Paddon |
| 1994 | Structured hypertext for using and learning function point analysis. Alain Abran, Jean-Marc Desharnais, Dirk Meyerhoff, Monika Müllerburg, Denis St-Pierre |
| 1994 | Suggestions for progress in software analysis, synthesis and certification. Luqi, Joseph A. Goguen |
| 1994 | Supporting multiple evolving compilers. Thomas E. Cheatham, Amr F. Fahmy, Dan C. Stefanescu |
| 1994 | Symbolic execution of logic programs. Timothy Arndt, Angela Guercio, Giuliano Pacini, Genny Tortora |
| 1994 | Temporal logic extended with object creation and destruction. Shin Miyakawa, Naoki Yonezaki |
| 1994 | The COMMODIOUS method - COMmunication MODelling as an aid to Illustrate the Organisational Use of Software. Peter Holm |
| 1994 | The object-oriented development of a distributed multimedia environmental information system. Betty H. C. Cheng, Robert H. Bourdeau, Gerald C. Gannod |
| 1994 | Timing analysis of real-time software systems using fuzzy time Petri nets. Jorge C. A. de Figueiredo, Angelo Perkusich, Shi-Kuo Chang |
| 1994 | Tools for validation and simulation of Estelle/Ag specifications. Henrikas Pranevitchius, Vytautas Pilkauskas |
| 1994 | Towards automatic building of performance models: Formal specification of performance constraints. Ken Jackson, Albert Llamosi, Ramón Puigjaner |
| 1994 | Visual Communications. S. K. Chang |
| 1994 | Visualization and transformation of SGML knowledge representation structures. Juris Reinfelds, Karlis Kaugars |