Formality works.

Rob R. Hoogerwoord

Published in: Inf. Process. Lett. (2001)

Keyphrases

formal specification
open source
relational databases
reverse engineering
access control
business process
knowledge management
membership functions