Towards an Attribute Based Constraints Specification Language.

Khalid Zaman Bijon Ram Krishnan Ravi S. Sandhu

Published in: SocialCom (2013)

Keyphrases

specification language
description language
programming language
formal specification
software environment
constraint satisfaction
machine learning
symbolic execution
information systems
knowledge base
requirements specification