The PROforma Guideline Specification Language: Progress and Prospects.

Jonathan Bury John Fox David R. Sutton

Published in: EWGLP (2000)

Keyphrases

specification language
clinical guidelines
formal specification
programming language
description language
symbolic execution
software environment
requirements specification
databases
decision support system
optimal solution