Volume 1, no. 3 (August 2002)
Proceedings of the TOOLS USA 2002 Conference, July 28 - 31, 2002 — Santa Barbara, CA
Editorial
Articles
- Reinhold Plösch, Evaluation of Assertion Support for the Java Programming Language, pp. 5-17, PDF, HTML, DOI.
- Andreas Rausch, ‘Design by Contract’ + ‘Componentware’ = ‘Design by Signed Contract’, pp. 19-36, PDF, HTML, DOI.
- Isabel Nunes, Design by Contract Using Meta-Assertions, pp. 37-56, PDF, HTML, DOI.
- Martin Lackner, Andreas Krall, Franz Puntigam, Supporting Design by Contract in Java, pp. 57-76, PDF, HTML, DOI.
- 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, DOI.
- Manu De Backer, Guido Dedene, Monique Snoeck, An Encapsulated Eiffel Education Environment, based on Web Services, pp. 97-106, PDF, HTML, DOI.
- Panayiotis Periorellis, John E. Dobson, Organisational Failures in Dependable Collaborative Enterprise Systems, pp. 107-117, PDF, HTML, DOI.
- Michael Compton, Richard Walker, A Run-time System for SCOOP, pp. 119-157, PDF, HTML, DOI.
- Dilip Patel, Shushma Patel, Paul Schleifer, Object Oriented Extension to Time Series Model, pp. 159-171, PDF, HTML, DOI.
- Neelam Soundarajan, Benjamin Tyler, Testing Polymorphic Behavior, pp. 173-188, PDF, HTML, DOI.
- Jason O. Hallstrom, Neelam Soundarajan, Incremental Development Using Object Oriented Frameworks: A Case Study, pp. 189-205, PDF, HTML, DOI.
- Hafedh Mili, Hamid Mcheick, Salah Sadou, CorbaViews: Distributing objects that support several functional aspects, pp. 207-229, PDF, HTML, DOI.
- Juliana Küster Filipe, A logic-based Formalization for Component Specification, pp. 231-248, PDF, HTML, DOI.
- Simon D. Kent, Chris Ho-Stuart, Paul Roe, Negotiable Interfaces for Components, pp. 249-265, PDF, HTML, DOI.