| 2000 | mu-Charts and Z: examples and extensions. | Greg Reeve, Steve Reeves |
| 2000 | Reusable integrated components of inter-related patterns for software development. | D. Janaki Ram, M. Sreekanth |
| 2000 | An adaptive distributed workflow system framework. | Martin K. Purvis, Maryam Purvis, Selena Lemalu |
| 2000 | Accessing software component documentation during design: an observational study. | Amnart Pohthong, David Budgen |
| 2000 | A preliminary comparison of computer mediated training tools. | John Paynter, Jenny Ong, Lorelle Frazer |
| 2000 | Goal based agent-oriented software modeling. | Kenha Park, Jintae Kim, Sooyong Park |
| 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 | Monitoring facilities in languages supporting development of concurrent self-measurement programs. | Yusuke Nonaka, Kazuo Ushijima, Jingde Cheng |
| 2000 | Coherence equals cohesion-or does it? | Vojislav B. Misic |
| 2000 | Requirements engineering and strategic decision exploration: an area for interdisciplinary research. | Nikolay Mehandjiev, Craig Gaskell |
| 2000 | Fuzzy concepts and formal methods: some illustrative examples. | Chris Matthews, Paul A. Swatman |
| 2000 | The support tool for highly reliable component-based software development. | Michihiro Matsumoto, Kokichi Futatsugi |
| 2000 | Fusing ambiguous domain knowledge slices in a reverse engineering process. | Yang Li, Hongji Yang, William C. Chu |
| 2000 | A GUI and testing tool for SOFL. | Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto |
| 2000 | Checking compositions of UML sequence diagrams for timing inconsistency. | Xuandong Li, Johan Lilius |
| 2000 | Deriving test cases using class vectors. | Karl R. P. H. Leung, Wai Wong |
| 2000 | Extending Statecharts with ad lib and multi-thread features. | Karl R. P. H. Leung |
| 2000 | Supporting collaboration in distributed software engineering teams. | Paul J. Layzell, Pearl Brereton, Andrew French |
| 2000 | Building Formal Models for Software Requirements. | Axel van Lamsweerde |
| 2000 | The concept of path-closed subsets and its use in software functional design. | Sukhamay Kundu |
| 2000 | Consistency checks for UML. | Padmanabhan Krishnan |
| 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 | Co-development of real-time systems and their simulation environments. | Kyo Chul Kang, Ji Y. Lee, Hye J. Kim |
| 2000 | A process logic for distributed system synthesis . | Yoshinao Isobe, Kazuhito Ohmaki |