Prolog technology as a basis for verification systems.
Susan L. GerhartPublished in: ACM SIGSOFT Softw. Eng. Notes (1985)
Keyphrases
- technological advances
- expert systems
- case study
- high end
- computer systems
- complex systems
- logic programming
- consumer market
- technical issues
- management information systems
- communication technologies
- rapid development
- model checking
- learning systems
- multimedia
- distributed systems
- programming language
- management system
- knowledge representation
- natural language
- web services