|
Specifications |
|
|
|
|
Specifications |
|
|
Specifications
|
Specifications |
|
|
|
|
Specifications |
|
|
This page links to several formal specifications. These specifications are useful for defining requirements and FIT tests.
Mathematical Specifications
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 used in various other specifications, particular those involving database operations. |
Date Specifications
Specification of date operations.
|
|
Specification of set operations on date ranges.
|
|
Calculations of the day when various holidays occur.
|
|
Calculations of age nearest birthday and other date calculations used in life insurance. |