Keyphrases
- predicate calculus
- software requirements
- first order logic
- formal model
- requirements specification
- theorem proving
- systems development
- semantic network
- software development
- software systems
- lambda calculus
- requirements engineering
- predicate logic
- software architecture
- functional requirements
- development process
- software engineering
- theorem prover
- knowledge based systems
- inference rules
- user interface
- web services
- artificial intelligence
- data mining