Technology of Object-Oriented Languages and Systems
Tools for Component Documentation, Analysis and Testing
Santa Barbara, California
August 01-August 05
ISBN: 0-7695-0278-4
The best software components will be hard to use unless they are accompanied by precise accurate documentation. The talk describes some powerful notation for writing such documentation and tools that can be used to produce such documentation and check that it accurately describes the software.