Abstract
This article tries to give a foundation for discussing automatic code generation from abstract descriptions in the set-theoretical form for system development. In the 4th generation systems development methodology the set-theoretical form of system descriptions has been used. However, the description style should be improvedin the view of readability and maintainability. This article presents existing problems and ideas for the improvement, using an example of descriptions for data mining system.
