Principles of artificial intelligence
Principles of artificial intelligence
A requirement model for the 5th generation
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
| Hi-index | 0.00 |
The requirements description which is proved to be correct is the key to the successful development of a reliable system. Since the adaptability of the requirements description language is obtained with a simple and extensible language structure, most part of communication is maintained with proper use of labels. Many verification system can provide only restricted capability because of lack of the recognition of meaning of labels. This paper proposes the verification method with assertion description which gives another view of a target system. First, the formal model of the verification is given. Next, the verification method based on theorem proving and several views for verification are mentioned. Last, the verification system and examples are shown.