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