| 5 | -- | 17 | Reinhold Plösch. Evaluation of Assertion Support for the Java Programming Language |
| 19 | -- | 36 | Andreas Rausch. Design by Contract + Componentware = Design by Signed Contract |
| 37 | -- | 56 | Isabel Nunes. Design by Contract Using Meta-Assertions |
| 57 | -- | 76 | Martin Lackner, Andreas Krall, Franz Puntigam. Supporting Design by Contract in Java |
| 77 | -- | 96 | Richard F. Paige, Liliya Kaminskaya, Jonathan S. Ostroff, Jason Lancaric. BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning |
| 97 | -- | 106 | Manu De Backer, Guido Dedene, Monique Snoeck. An Encapsulated Eiffel Education Environment, based on Web Services |
| 107 | -- | 117 | Panayiotis Periorellis, John E. Dobson. Organisational Failures in Dependable Collaborative Enterprise Systems |
| 119 | -- | 157 | Michael Compton, Richard Walker. A Run-time System for SCOOP |
| 159 | -- | 171 | Dilip Patel, Shushma Patel, Paul Schleifer. Object Oriented Extension to Time Series Model |
| 173 | -- | 188 | Neelam Soundarajan, Benjamin Tyler. Testing Polymorphic Behavior |
| 189 | -- | 205 | Jason O. Hallstrom, Neelam Soundarajan. Incremental Development Using Object Oriented Frameworks: A Case Study |
| 207 | -- | 229 | Hafedh Mili, Hamid Mcheick, Salah Sadou. CorbaViews: Distributing objects that support several functional aspects |
| 231 | -- | 248 | Juliana Küster Filipe. A logic-based formalization for component specification |
| 249 | -- | 265 | Simon D. Kent, Chris Ho-Stuart, Paul Roe. Negotiable Interfaces for Components |