Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
Knowledge updates: semantics and complexity issues
Artificial Intelligence
Application Driven Software Development
ICSEA '06 Proceedings of the International Conference on Software Engineering Advances
Implementation of CTL model checker update
ICCOMP'07 Proceedings of the 11th WSEAS International Conference on Computers
Using CTL model checker for verification of domain application systems
NN'10/EC'10/FS'10 Proceedings of the 11th WSEAS international conference on nural networks and 11th WSEAS international conference on evolutionary computing and 11th WSEAS international conference on Fuzzy systems
| Hi-index | 0.00 |
This paper show a study of case using a new proposes methodology in [6] which it develops approach to solve problem in which domain experts of the problem handle the IT concepts using own natural language but don't and vice-versa. This proposes idea starts as a base for the computation education. In this methodology of computer-solved solution is followed as the problems inside of domain experts of the application domain (AD) they develops algorithms for the solution of the problem using the natural language of their problem domain and informatics technology (IT) experts develops software tools which can execute algorithms developed of AD experts without translation these in programs. We using as example a CTL formula and show how a programming language experts can develop this model without associative programming. We illustrate the use of computational emancipation in language processing with the following problem: (M, s) = ⊨f? where M is a model of a parse system and s is a state of the a model and f is a model CTL formula we want to is satisfied of systems.