| 1994 | A TAHG model based software generator system. | Mikifumi Shikida, Yasuhide Yamamoto, Yoshimasa Kimura, Takehiro Tokuda |
| 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 | Object and domain policies specification. | Danny C. C. Poo, Shwu-Yi Lee |
| 1994 | Applying object-oriented construction to fault tolerant systems. | James Miller, Murray Wood, Andrew Brooks, Marc Roper |
| 1994 | Reversing concurrent systems into formal specifications. | Karl R. P. H. Leung, Clement F. S. Yim |
| 1994 | Analysis and enactment of a distributed software process model: the AttNet model. | Woo Jin Lee, In Sang Chung, Yong Rae Kwon |
| 1994 | When to inherit and when not to. | Yue-Sun Kuo |
| 1994 | From the software process to software quality: BOOTSTRAP and ISO 9000. | Hans-Jrgen Kugler, Richard Messnarz |
| 1994 | Software Information Management System based on the entity-relationship model. | Moon-hae Kim, Young-Chul Shim |
| 1994 | A sentential function mapping method for object-oriented analysis and design. | Hyeon Kon Kim, Michael Bjrn, Hui Yao, Ryosuke Hotaka |
| 1994 | PARTS-a temporal logic-based real-time software specification method supporting multiple-viewpoints. | Kyo Chul Kang, Kwang-Il Ko |
| 1994 | A model-based MICOM application software development method. | Kyo Chul Kang, Sey-Chan Jang |
| 1994 | Process-sensitive software engineering environments: an object-oriented view. | Min Kang, Douglas D. Grant |
| 1994 | Fall-in C: a software tool for pitfall detection in C programs. | Tetsuro Kakeshita, Mariko Oda, Yoshihiro Imamura |
| 1994 | A knowledge-based approach to regression testing. | Taewoong Jeon, Anneliese von Mayrhauser |
| 1994 | Integrating data flow and domain testing. | Bingchiang Jeng |
| 1994 | A hybrid program knowledge base for static program analyzers. | Stan Jarzabek, Han Shen, Hock Chuan Chan |
| 1994 | Software process representation to support multiple views. | David Jacobs, Chris D. Marlin |
| 1994 | Ordered sequence testing criteria for concurrent programs and the support tool. | Eisuke Itoh, Yutaka Kawaguchi, Zengo Furukawa, Kazuo Ushijima |
| 1994 | Reachability testing: an approach to testing concurrent software. | Gwan-Hwan Hwang, Kuo-Chung Tai, Ting-Lu Huang |
| 1994 | Developing distributed applications by semantics-based automatic replication. | Sumin Huang |
| 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 | Automated class testing: methods and experience. | Daniel Hoffman, Jonathan Smillie, Paul A. Strooper |
| 1994 | An approach to predict software maintenance cost based on ripple complexity. | Toyohiko Hirota, M. Tohki, C. Michael Overstreet, Masaaki Hashimoto, Robert Cherinka |