Type Expressiveness and Its Application in Separation of Behavior Programming and Data Management Programming

Chengpu Wang

A new behavior descriptive entity type called spec is proposed, which combines the traditional interface with test rules and test cases, to completely specify the desired behavior…