| 1994 | A TAHG model based software generator system. Mikifumi Shikida, Yasuhide Yamamoto, Yoshimasa Kimura, Takehiro Tokuda |
| 1994 | A hybrid program knowledge base for static program analyzers. Stan Jarzabek, Han Shen, Hock Chuan Chan |
| 1994 | A knowledge-based approach to regression testing. Taewoong Jeon, Anneliese von Mayrhauser |
| 1994 | A mapping system from Object-Z to C++. Masakazu Fukagawa, Teruo Hikita, Hiroshi Yamazaki |
| 1994 | A model-based MICOM application software development method. Kyo Chul Kang, Sey-Chan Jang |
| 1994 | A sentential function mapping method for object-oriented analysis and design. Hyeon Kon Kim, Michael Björn, Hui Yao, Ryosuke Hotaka |
| 1994 | A software maintenance survey. Stephen W. L. Yip, Tom Lam |
| 1994 | An adaptive user navigation mechanism and its evaluation. Jeongwon Baeg, Atsushi Hirahara, Yoshiaki Fukazawa |
| 1994 | An analysis of the effects and evaluation of upper CASE tools for embedded microprocessors in Japan and the US. Naomi Fujimura |
| 1994 | An approach to predict software maintenance cost based on ripple complexity. Toyohiko Hirota, M. Tohki, C. Michael Overstreet, Masaaki Hashimoto, Robert Cherinka |
| 1994 | Analysis and enactment of a distributed software process model: the AttNet model. Woo Jin Lee, In Sang Chung, Yong Rae Kwon |
| 1994 | Analysis in software engineering. Koji Torii |
| 1994 | Applying object-oriented construction to fault tolerant systems. James Miller, Murray Wood, Andrew Brooks, Marc Roper |
| 1994 | Automated class testing: methods and experience. Daniel Hoffman, Jonathan Smillie, Paul A. Strooper |
| 1994 | BOOTSTRAP: a software process assessment and improvement methodology. Jouni Similä, Pasi Kuvaja, Lech Krzanik |
| 1994 | Constraint-centered descriptions for automated tool invocation. Kazuto Tominaga, Takehiro Tokuda |
| 1994 | Developing distributed applications by semantics-based automatic replication. Sumin Huang |
| 1994 | Dynamic evolution of distributed systems specifications using reflective language. Issam A. Hamid, Mohammed Erradi |
| 1994 | Fall-in C: a software tool for pitfall detection in C programs. Tetsuro Kakeshita, Mariko Oda, Yoshihiro Imamura |
| 1994 | First Asia-Pacific Software Engineering Conference, APSEC 1994, Tokyo, Japan, December 7-9, 1994 |
| 1994 | Formal definitions of behavioural compatibility for active and passive objects. Graeme Smith |
| 1994 | From the software process to software quality: BOOTSTRAP and ISO 9000. Hans-Jürgen Kugler, Richard Messnarz |
| 1994 | Generating data access programs from PCTE schemas with constraints. Atsushi Sawada, Naruki Mitsuda, Tsuneo Ajisaka, Yoshihiro Matsumoto |
| 1994 | Guiding the requirements engineering process. Colette Rolland, Naveen Prakash |
| 1994 | Integrating data flow and domain testing. Bingchiang Jeng |
| 1994 | Object and domain policies specification. Danny C. C. Poo, Shwu-Yi Lee |
| 1994 | Object-oriented analysis and design support system using algebraic specification techniques. Junichi Yamamoto, Akihiko Ohsuga, Shinichi Honiden |
| 1994 | Optimal release policies for hyper-geometric distribution software reliability growth model with scheduled delivery time. Rong-Huei Hou, Ing-Yi Chen, Yi-Ping Chang, Sy-Yen Kuo |
| 1994 | Ordered sequence testing criteria for concurrent programs and the support tool. Eisuke Itoh, Yutaka Kawaguchi, Zengo Furukawa, Kazuo Ushijima |
| 1994 | PARTS-a temporal logic-based real-time software specification method supporting multiple-viewpoints. Kyo Chul Kang, Kwang-Il Ko |
| 1994 | Prescriptive metrics for software quality assurance. Chin-Feng Fan, Swu Yih |
| 1994 | Process-sensitive software engineering environments: an object-oriented view. Min Kang, Douglas D. Grant |
| 1994 | Producing and managing software objects in the process programming environment OPM. Yasuhiro Sugiyama |
| 1994 | Proprietary vs. "open systems" options in the construction of knowledge-based software reengineering environments. Paul A. Bailes, Steven Atkinson, Murray Chapman, Dan B. Johnston, Ian Peake |
| 1994 | Reachability testing: an approach to testing concurrent software. Gwan-Hwan Hwang, Kuo-Chung Tai, Ting-Lu Huang |
| 1994 | Requirements engineering: a review and research agenda. Anthony Finkelstein |
| 1994 | Reversing concurrent systems into formal specifications. Karl R. P. H. Leung, Clement F. S. Yim |
| 1994 | Scalability for graph based CASE tools. Mark Sifer, John Potter |
| 1994 | Software Information Management System based on the entity-relationship model. Moon-hae Kim, Young-Chul Shim |
| 1994 | Software documents, their relationships and properties. Jun Han |
| 1994 | Software process representation to support multiple views. David Jacobs, Chris D. Marlin |
| 1994 | Supporting user-analyst interaction in functional requirements elicitation. Alessandro Cucchiarelli, Maurizio Panti, Salvatore Valenti |
| 1994 | The Cogito Repository Manager. Owen Traynor, Anthony C. Bloesch |
| 1994 | The Cogito methodology and system. Anthony C. Bloesch, Edmund Kazmierczak, Peter Kearney, Owen Traynor |
| 1994 | When to inherit and when not to. Yue-Sun Kuo |