| 2000 | 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore |
| 2000 | A GUI and testing tool for SOFL. Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto |
| 2000 | A case study of horizontal reuse in a project-driven organisation. Henrik Bærbak Christensen, Henrik Røn |
| 2000 | A comparative evaluation of techniques for syntactic level source code analysis. Anthony Cox, Charles Clarke |
| 2000 | A distributed component architecture for a large telecommunication application. Henrik Hermansson, Mattias Johansson, Lars Lundberg |
| 2000 | A formal approach to program modification. Lindsay Groves |
| 2000 | A framework for risk analysis in software engineering. Geoffrey G. Roy, Terence L. Woodings |
| 2000 | A framework of requirements tracing using UML. Toshihiko Tsumaki, Yoshitomi Morisawa |
| 2000 | A preliminary comparison of computer mediated training tools. John Paynter, Jenny Ong, Lorelle Frazer |
| 2000 | A process logic for distributed system synthesis . Yoshinao Isobe, Kazuhito Ohmaki |
| 2000 | A semantic model of a small typed functional language using Object-Z. WoonKiong Tan |
| 2000 | A study on static analysis in network of synchronizing FSMs. Jessica Chen |
| 2000 | Accessing software component documentation during design: an observational study. Amnart Pohthong, David Budgen |
| 2000 | Advanced OO Modeling: Metamodels and Notations. Brian Henderson-Sellers |
| 2000 | An adaptive distributed workflow system framework. Martin K. Purvis, Maryam Purvis, Selena Lemalu |
| 2000 | An education support system of information system design and implementation and lessons learned from its application. Atsuo Hazeyama, Keiji Osada, Youzou Miyadera, Setsuo Yokoyama |
| 2000 | An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study. Soon-Kyeong Kim, David A. Carrington |
| 2000 | Analysis of the impact of reading technique and inspector capability on individual inspection performance. Stefan Biffl |
| 2000 | Behavioral specification of GOF design patterns with LOTOS. Motoshi Saeki |
| 2000 | Beyond RUP. Brian Henderson-Sellers |
| 2000 | Bloodshot eyes: workload issues in computer science project courses. Judy Brown |
| 2000 | Building Formal Models for Software Requirements. Axel van Lamsweerde |
| 2000 | CIMO - Component Integration MOdel. Yan Xia, Anthony Tung Shuen Ho, Yucheng Zhang |
| 2000 | Checking compositions of UML sequence diagrams for timing inconsistency. Xuandong Li, Johan Lilius |
| 2000 | Co-development of real-time systems and their simulation environments. Kyo Chul Kang, Ji Y. Lee, Hye J. Kim |
| 2000 | Coherence equals cohesion-or does it? Vojislav B. Misic |
| 2000 | Combining case-based and model-based reasoning: a formal specification. Shuguang Li, Qing Jiang, Chris George |
| 2000 | Component-based application development on architecture of a model, UI and components. Takeshi Chusho, Hisashi Ishigure, Naoyuki Konda, Tomoaki Iwata |
| 2000 | Component-based software engineering: technologies, development frameworks, and quality assurance schemes. Xia Cai, Michael R. Lyu, Kam-Fai Wong, Roy Ko |
| 2000 | Consistency checks for UML. Padmanabhan Krishnan |
| 2000 | Creating a process for transitioning to object technology. Brian Henderson-Sellers, M. K. Serour |
| 2000 | Deriving test cases using class vectors. Karl R. P. H. Leung, Wai Wong |
| 2000 | Enterprise modeling using class and instance models. Rakesh Agarwal, Giorgio Bruno, Marco Torchiano |
| 2000 | Evaluation of inspectors' defect estimation accuracy for a requirements document after individual inspection. Stefan Biffl, Thomas Grechenig, Monika Köhle |
| 2000 | Experiences in Systems Evolution: Practical Aspects and Cautionary Tales. Gene F. Hoffnagle |
| 2000 | Extending Statecharts with ad lib and multi-thread features. Karl R. P. H. Leung |
| 2000 | Formal specification of Catalysis frameworks. Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills |
| 2000 | Fusing ambiguous domain knowledge slices in a reverse engineering process. Yang Li, Hongji Yang, William C. Chu |
| 2000 | Fuzzy concepts and formal methods: some illustrative examples. Chris Matthews, Paul A. Swatman |
| 2000 | Goal based agent-oriented software modeling. Kenha Park, Jintae Kim, Sooyong Park |
| 2000 | Implementation of a software engineering course for computer science students. Ivica Crnkovic, Magnus Larsson, Frank Lüders |
| 2000 | Issues in object orienting the ST Microelectronics manufacturing model. Vincenza Carchiolo, Sebastiano D'Ambra, Alessandro Longheu, Michele Malgeri |
| 2000 | Monitoring facilities in languages supporting development of concurrent self-measurement programs. Yusuke Nonaka, Kazuo Ushijima, Jingde Cheng |
| 2000 | PMF/GRIP a framework for the development and implementation of reuse models. Volker H. Schroeter |
| 2000 | Pareto-based soft real-time task scheduling in multiprocessor systems. Jaewon Oh, Hyokyung Bahn, Chris Wu, Kern Koh |
| 2000 | Platforms for agent-oriented software engineering. Mariusz Nowostawski, Geoff Bush, Martin K. Purvis, Stephen Cranefield |
| 2000 | Pragmatic data modelling and design for end users. Clare Churcher, Theresa McLennan, Alan McKinnon |
| 2000 | Predicting class libraries interface evolution: an investigation into machine learning approaches. Houari A. Sahraoui, Mounir Boukadoum, Hakim Lounis, Frédéric Ethève |
| 2000 | Reasoning about real-time programs using idle-invariant assertions. Ian J. Hayes |
| 2000 | Requirements engineering and strategic decision exploration: an area for interdisciplinary research. Nikolay Mehandjiev, Craig Gaskell |
| 2000 | Reusable integrated components of inter-related patterns for software development. D. Janaki Ram, M. Sreekanth |
| 2000 | Selecting an object-oriented process for student analysts. Gay Costain |
| 2000 | Service-based software: the future for flexible software. Keith H. Bennett, Paul J. Layzell, David Budgen, Pearl Brereton, Linda A. Macaulay, Malcolm Munro |
| 2000 | Supporting collaboration in distributed software engineering teams. Paul J. Layzell, Pearl Brereton, Andrew French |
| 2000 | Survivability Analysis of Networked Systems . Jeannette M. Wing |
| 2000 | Tailoring test process by using the component-based development paradigm and the XML technology. Jooyoung Seo, Byoungju Choi |
| 2000 | The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design. Jesús Manuel Almendros-Jiménez, Luis González-Jiménez |
| 2000 | The concept of path-closed subsets and its use in software functional design. Sukhamay Kundu |
| 2000 | The support tool for highly reliable component-based software development. Michihiro Matsumoto, Kokichi Futatsugi |
| 2000 | Third generation OO processes: a critique of RUP and OPEN from a project management perspective. Brian Henderson-Sellers, Richard Dué, Ian M. Graham, Graham Collins |
| 2000 | Transatlantic project courses in a university environment. Bernd Brügge, Allen H. Dutoit, Rafael Kobylinski, Günter Teubner |
| 2000 | Translating descriptions of a viewpoint among different representations. Nigel Stanger |
| 2000 | Unifying theories of healthiness condition. Jifeng He, C. A. R. Hoare |
| 2000 | Verification of a wireless ATM medium-access protocol. Natalia Sidorova, Martin Steffen |
| 2000 | Virtual worlds for Web site visualisation. Danita Hartley, Neville Churcher, Greg Albertson |
| 2000 | Visualising the influence of data structure choice on the performance of a distributed database system. Clare Churcher, Alan McKinnon, Roger Jarquin |
| 2000 | mu-Charts and Z: examples and extensions. Greg Reeve, Steve Reeves |