Plangs!
Menu
Sun

DbC

Design by Contract is a software design approach that uses contracts to define the obligations and guarantees of software components.
Details

Plangs

NameDescription
EiffelObject-oriented programming language emphasizing design by contract.