| 1994 | Belief: updating vs. combining. | ShengLi Shi, M. Elizabeth C. Hull, David A. Bell |
| 1994 | A deductive program transformation system. | Phillip C.-Y. Sheu, Song Bong Yoo |
| 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 pipeline CASE tool for database design. | Naphtali Rishe, Wei Sun |
| 1994 | Learning to understand software from examples using cultural algorithms. | Robert G. Reynolds, Elena Zannoni |
| 1994 | Visualization and transformation of SGML knowledge representation structures. | Juris Reinfelds, Karlis Kaugars |
| 1994 | Knowledge based support for reuse. | M. Ramachandran |
| 1994 | Tools for validation and simulation of Estelle/Ag specifications. | Henrikas Pranevitchius, Vytautas Pilkauskas |
| 1994 | Saturated deductive systems for temporal specifications. | Regimantas Pliuskevicius |
| 1994 | Specialization of derivations in Hoare-like logic with recursive procedures. | Aida Pliuskeviciene |
| 1994 | Automated support to system modeling from informal software requirements. | Sooyong Park, James D. Palmer |
| 1994 | Rule firing with metarules. | Franois Pachet, Jean-Franois Perrot |
| 1994 | Temporal logic extended with object creation and destruction. | Shin Miyakawa, Naoki Yonezaki |
| 1994 | A knowledge-based system for software quality analysis. | Nadine Meskens |
| 1994 | Suggestions for progress in software analysis, synthesis and certification. | Luqi, Joseph A. Goguen |
| 1994 | Program parallelization in WSDW. | Andrea De Lucia, C. Di Cristo, Genny Tortora, Maurizio Tucci |
| 1994 | DesignKARL - A language for the design of knowledge-based systems. | Dieter Landes |
| 1994 | Extending a temporal rule language with deontic operators. | John Krogstie, Guttorm Sindre |
| 1994 | Rule-enhanced Petri nets for software process modeling. | Bernd J. Krmer |
| 1994 | Program text as hypertext: using program dependences for transient linking. | Jussi Koskinen, Jukka Paakki, Airi Salminen |
| 1994 | Software requirements acquisition through enterprise modelling. | Marite Kirikova, Janis A. Bubenko Jr. |
| 1994 | Extensions of GRAPES/4GL for Windows style input/output. | Audris Kalnins |
| 1994 | Modeling in strategic reengineering. | Stan Jarzabek, Wie Ming Lim |
| 1994 | Towards automatic building of performance models: Formal specification of performance constraints. | Ken Jackson, Albert Llamosi, Ramn Puigjaner |