The Ponder Policy Specification Language.

Nicodemos Damianou Naranker Dulay Emil Lupu Morris Sloman

Published in: POLICY (2001)

Keyphrases

specification language
formal specification
description language
programming language
software environment
requirements specification
symbolic execution
real world
optimal policy
expert systems
databases
artificial intelligence
multi agent
information technology
object oriented
open source