Liberate Computer User from Programming
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
An application CTL formula based on problem solving methodology
ICCOMP'08 Proceedings of the 12th 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 |
Even in its very infancy computer technology has been seen as a collection of tools destined to solve problems of a given application domain (AD) 1. The problem solving process using computers is (and has been) carried out within the computer environment and requires the AD experts to formalize their problems in computer terms. The effort put forth so far toward making this process easier for AD experts has generated a rich and well-defined information technology (IT) domain, populated by computer artifacts such as programming languages and program generation tools. Successes of this approach to problem-solving led to the development of current computer technology whose complexity overwhelms computer experts themselves. Nevertheless, the usage of current IT for problem solving still requires AD experts to manipulate IT domain concepts and tools rather than AD concepts and tools. To further help this process, more and more complex IT tools are generated thus increasing software complexity to a level where only with formidable difficulties can AD experts manage to develop their application systems. Among the side effects of this situation are the lack of efficiency in application system development, poor performance in computer utilization, and even threat to the future evolution of computer technology itself. Our conjecture is that in order to break this vicious circle we need to rethink the problem solving process. We need to abandon the requirement that AD experts manipulate computer terms and to allow them to manipulate AD specific terms using AD specific languages. The recent advances created by computing research makes it feasible to move the problem solving process from the IT domain into the AD domain.