formal specification; program verification; systems analysis; program diagnostics; requirements monitoring; dynamic environments; systems maintenance; running system; performance tuning; nonscientific enterprise applications; commercial systems
(xsd:string)