| 1997 | Software Metrics and Application Domain Complexity. | Wei Li, Harry S. Delugach |
| 1997 | Reducing Uncertainties in Data Mining. | Yuhe Li, Haihong Dai |
| 1997 | A visual programming environment for Z specifications. | Stephen Wang-Cheung Lam, Keith C. C. Chan, Hareton K. N. Leung, Lawrence Chung |
| 1997 | Scenario reuse: a technique for complementing scenario-based requirements engineering approaches. | Wing Lam |
| 1997 | Integrating safety analysis and requirements engineering. | Gerald Kotonya, Ian Sommerville |
| 1997 | DOOD: Distributed Object-Oriented Software Development Environment. | Tae-Hoon Kim, Woochang Shin, Geunduk Park, Tae-Heun Lee, Taegyun Kim, Yeong-Gil Shin, Chisu Wu |
| 1997 | A Test-case Generation Method for Concurrent Programs Including Task-types. | Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima |
| 1997 | Client location tracking with k-step prediction and cache policy in ubiquitous information service network. | Hung-Chin Jang, Yao-Nan Lien, Jyh-Shyan Huang |
| 1997 | A Tool-Suite for Reachability Analysis of Concurrent Object-Oriented Programs. | Sridhar Iyer, S. Ramesh |
| 1997 | Specifying the UQ* user-interface with Object-Z. | Andrew Hussey, David A. Carrington |
| 1997 | Criticality Models using SDL Metrics Set. | Euyseok Hong, Chisu Wu |
| 1997 | A Formal Operational Semantics for SOFL. | Chris Ho-Stuart, Shaoying Liu |
| 1997 | Possum: An Animator for the SUM Specification Language. | Daniel Hazel, Paul A. Strooper, Owen Traynor |
| 1997 | Finite Symbolic Reachability Graphs for High-Level Petri Nets. | Nabil Hameurlain, Christophe Sibertin-Blanc |
| 1997 | Modular reasoning in Object-Z. | Alena Griffiths |
| 1997 | MetaBuilder: a Generic CASE Tool Builder. | Maokai Gong, Louise Scott, Ray Offen |
| 1997 | Integration of Application Systems by Modelling Information Shared Among Applications. | Parames Ghosh, George Feuerlicht |
| 1997 | A Theory of Interactions and Scenes for User Centered Systems Specification and Verification. | Alberto Faro, Daniela Giordano |
| 1997 | Discovery of Cases for Case-Based Reasoning in Engineering. | Haihong Dai |
| 1997 | A methodology for object-oriented constraint programming. | Hon Wai Chun |
| 1997 | A distributed constraint-based search architecture for bus timetabling and duty assignment. | Hon Wai Chun |
| 1997 | Object-oriented Web application architectures and development strategies. | Eun Sook Cho, Soo Dong Kim, Sung Yul Rhew, Sang Duck Lee, Chang Gap Kim |
| 1997 | On the Criteria of Allocating Test Cases under Uncertainty. | Tsong Yueh Chen, Yuen-Tak Yu |
| 1997 | Slicing Object-Oriented Programs. | Jiun-Liang Chen, Feng-Jian Wang, Yung-Lin Chen |
| 1997 | Software Development as a Workflow Process. | Daniel Kim Chung Chan, Karl R. P. H. Leung |