| 1997 | 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 2-5 December 1997, Clear Water Bay, Hong Kong |
| 1997 | A Design Framework for System Re-Engineering. Xiaodong Liu, Zhiqiang Chen, Hongji Yang, Hussein Zedan, William C. Chu |
| 1997 | A Formal Model of Concurrency for Distributed Object-Oriented Systems. Manuel Barrio-Solórzano, Pablo de la Fuente |
| 1997 | A Formal Operational Semantics for SOFL. Chris Ho-Stuart, Shaoying Liu |
| 1997 | A Reverse Engineering Method and Experiences for Industrial COBOL System. Ikuyo Nagaoka, Katsuaki Sanou, Daisuke Ikeo, Michio Tsuda, Shin'ichi Akiba |
| 1997 | A Test-case Generation Method for Concurrent Programs Including Task-types. Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima |
| 1997 | A Theory of Interactions and Scenes for User Centered Systems Specification and Verification. Alberto Faro, Daniela Giordano |
| 1997 | A Tool-Suite for Reachability Analysis of Concurrent Object-Oriented Programs. Sridhar Iyer, S. Ramesh |
| 1997 | A Z Specification of Use Cases: A Preliminary Report. Greg Butler, Peter Grogono, Ferhat Khendek |
| 1997 | A distributed constraint-based search architecture for bus timetabling and duty assignment. Hon Wai Chun |
| 1997 | A methodology for object-oriented constraint programming. Hon Wai Chun |
| 1997 | A visual programming environment for Z specifications. Stephen Wang-Cheung Lam, Keith C. C. Chan, Hareton K. N. Leung, Lawrence Chung |
| 1997 | About the Suitability of Petri Nets for Describing, Validating and Evaluating SA-RT Specifications. Adel Benzina, Mario Paludetto, Jérôme Delatour |
| 1997 | An Approach to Software Process Management Based on Formal Process Modeling and Analysis. Sang-Yoon Min, Ik-Joo Han, Wei-Jin Park, Doo-Hwan Bae |
| 1997 | An Approach to Software Testability Measurement. Jin-Cherng Lin, Szu-Wen Lin, Louis Huang |
| 1997 | An Architecture and a Framework for IP Applications. Masami Noro, Kunio Goto |
| 1997 | An Overview of Legacy System Migration. Jesus Bisbal, Deirdre Lawless, Bing Wu, Jane Grimson, Vincent Wade, Ray Richardson, Donie O'Sullivan |
| 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 | Cognitive Deficiencies in Software Library Design. Steven Atkinson |
| 1997 | Compacting regression-suites on-the-fly. Erez Buchnik, Shmuel Ur |
| 1997 | Component-Based Software Development-A New Paradigm in Software Engineering? Wolfgang Pree |
| 1997 | Conceptual Issues of an Object-Centered Process Model. Makoto Matsushita, Makoto Oshita, Hajimu Iida, Katsuro Inoue |
| 1997 | Conditional Evaluation in Simple Multi-Visit Attribute-Grammar Evaluators. Wuu Yang |
| 1997 | Criticality Models using SDL Metrics Set. Euyseok Hong, Chisu Wu |
| 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 | Denotational Semantics for JSD. Wing Lok Yeung |
| 1997 | Design Patterns-Essentials, Experience, Java Case Study. Wolfgang Pree, Hermann Sikora |
| 1997 | Design and Implementation of Coordination and Workflow Management Technology. Frank von Martial |
| 1997 | Design by Contract for Python. Reinhold Plösch |
| 1997 | Design of Protocols in Timed CSP for Highly Reliable and Available Client-Server System. Noriki Ogura, Keizo Saisho, Akira Fukuda |
| 1997 | Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis. Gwang Sik Yoon, Sung Deok Cha, Yong Rae Kwon, Chan Hyung Yoo |
| 1997 | Discovery of Cases for Case-Based Reasoning in Engineering. Haihong Dai |
| 1997 | Exploiting the advantages of object oriented programming in the implementation of a database design environment. Nigel Stanger, Richard Pascoe |
| 1997 | Finite Symbolic Reachability Graphs for High-Level Petri Nets. Nabil Hameurlain, Christophe Sibertin-Blanc |
| 1997 | Genericity in method construction. Véronique Plihon, Colette Rolland |
| 1997 | HKBCN - A Hybrid Intelligent System for Knowledge Revising. Xinyu Wu, John G. Hughes |
| 1997 | Integrating safety analysis and requirements engineering. Gerald Kotonya, Ian Sommerville |
| 1997 | Integration of Application Systems by Modelling Information Shared Among Applications. Parames Ghosh, George Feuerlicht |
| 1997 | JB-OODBT: An Object-Oriented Database Toolkit for JB/CASE. Xu Xue Biao |
| 1997 | LOODS: a new learning-based object-oriented system development environment. Deyu Qi |
| 1997 | Legacy Systems Migration : A Method and its Tool-Kit Framework. Bing Wu, Deirdre Lawless, Jesus Bisbal, Jane Grimson, Vincent Wade, Donie O'Sullivan, Ray Richardson |
| 1997 | Mapping Ada Source Code into an Abstract Program Space. Paul A. Bailes, Paul Burnim, Murray Chapman |
| 1997 | Measuring Class Coupling and Cohesion: A Formal Metamodel Approach. Simon Moser, Vojislav B. Misic |
| 1997 | MetaBuilder: a Generic CASE Tool Builder. Maokai Gong, Louise Scott, Ray Offen |
| 1997 | Modular reasoning in Object-Z. Alena Griffiths |
| 1997 | Multi-Plan Attribute Grammars. Wuu Yang |
| 1997 | Not Whether Java but How Java. Chris Wallace, Peter Martin |
| 1997 | OPEN-MeNtOR: a third generation OO methodology-advanced tasks and techniques. Paul A. Swatman |
| 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 | Petri nets based proofs of Ada 95 solution for preference control. Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre |
| 1997 | Possum: An Animator for the SUM Specification Language. Daniel Hazel, Paul A. Strooper, Owen Traynor |
| 1997 | Quality and Reuse in Industrial Software Engineering. Greg Butler |
| 1997 | Quality assurance certification: adoption by Australian software developers and its association with capability maturity. Aileen Cater-Steel, Edmond P. Fitzgerald |
| 1997 | Reducing Uncertainties in Data Mining. Yuhe Li, Haihong Dai |
| 1997 | Scenario reuse: a technique for complementing scenario-based requirements engineering approaches. Wing Lam |
| 1997 | Slicing Object-Oriented Programs. Jiun-Liang Chen, Feng-Jian Wang, Yung-Lin Chen |
| 1997 | Software Assisted Handover of Mobile Clients in Heterogeneous Wireless Computing Environments. Edmond Sung, Arkady B. Zaslavsky |
| 1997 | Software Development as a Workflow Process. Daniel Kim Chung Chan, Karl R. P. H. Leung |
| 1997 | Software Engineering Research: A Methodological Analysis. Franck Xia |
| 1997 | Software Metrics and Application Domain Complexity. Wei Li, Harry S. Delugach |
| 1997 | Software Requirements Definition for Specification Database. Atsushi Ohnishi |
| 1997 | Specifying the UQ* user-interface with Object-Z. Andrew Hussey, David A. Carrington |
| 1997 | TPAL: A Timed-Probabilistic Model for Concurrent Processes. Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero |
| 1997 | The Development of an Object-Oriented, Discrete-Event Simulation Language Using Java. Peter Martin |
| 1997 | Towards Constructing a Class Evolution Model. Takako Nakatani, Tetsuo Tamai, Atsushi Tomoeda, Harumi Matsuda |
| 1997 | Translating Object-Z Specifications to Object-Oriented Test Oracles. Jason McDonald, Leesa Murray, Paul A. Strooper |
| 1997 | Tutorial: organizing, managing and optimizing software testing. Hans Schaefer |
| 1997 | Using Extended Event Traces to Describe Communication in Software Architectures. Manfred Broy, Christoph Hofmann, Ingolf Krüger, Monika Schmidt |