Sample specifications in LePUS3

Sample Specifications

This page lists the LePSU3 and Class-Z specifications of programs, application frameworks, class libraries, and design patterns specified in this Website.

Links

Application Frameworks

Design patterns

Abstract Factory, Adapter (Class), Adapter (Object), Bridge, Composite, Decorator, Factory Method, Flyweight, Iterator, Observer, Proxy, State, Strategy, Template Method, Visitor.

Programs and class libraries

Java SDK

The Closable inheritance hierarchy in java.io
The InputStream and OutputStream inheritance hierarchies in java.io
Collections and Iterators in java.util: See Implementation of the Iterator pattern
Component and Container classes in java.awt: see Implementation of the Composite pattern
Package java.util.logging

Class libraries

Implementations of design patterns

Components and Containers in java.awt: Implementation of the Composite pattern(Java SDK 1.4)
Collections and Iterators in java.util: implementation of the Iterator pattern (Java SDK 1.4)
Widget Factories: implementation of the Abstract Factory pattern (from [Gamma et al. 1995])