Login / Signup
A Development Calculus for Specifications
Wei Li
Published in:
CoRR (2003)
Keyphrases
</>
knowledge based systems
expert systems
rapid development
information technology
software engineering
decision support
information processing
development environment
multi agent systems
design principles
formal specification