Specification Library
Mathematical Specifications
- Set specification
- Fundamental operations on sets, including adding an item to a set, removing an item, testing for presence of items in a set, intersection of sets, union of sets, and selection from a set. This specification is use in various other specifications, particular those involving database operations.
Date Specifications
- Waydate specification
- Specification of date operations.
- Date range specification
- Specification of set operations on date ranges.
- Holiday specification
- Calculations of the day when various holidays occur.
- Insurance date calculation specification
- Calculations of age nearest birthday and other date calculations used in life insurance.
by William Shaffer