dc:subject
|
assertion, behavioral subtype, design by contract, extended static checking, information hiding, invariant, java modeling language (JML), model field, runtime assertion checking, specification, specification inheritance, tool, verification
(xsd:string)
|