New Paradigm of Systems Development. - New Systems Development Methodology: The Model Theory Approach. - Model Construction Language and Systems Implementation Language. - Computer-Acceptable Set Theory for Model Construction. - Implementation Language: extProlog. - Model Theory Approach to Solver Systems Development. - Model Theory Approach to Solver System Development: Outlines. - User Model and Standardized Goal-Seeker. - Solver System Applications. - Traveling Salesman Problem: E-C-C Problem. - Regulation Problem: E-O-C Problem. - Linear Quadratic Optimization Problem: E-C-O and E-O-O Problems. - Cube Root Problem: I-C-C Problem. - Knapsack Problem: I-C-O Problem. - Class Schedule Problem: I-O-C Problem. - Data Mining Problem: I-O-O Problem. - Task Skeleton Model: Intelligent Data Mining System. - Model Theory Approach to Transaction Processing Systems Development. - Transaction Processing System on Browser-Based Standardized User Interface. - Browser-Based Intelligent Management Information System: Temporary Staff Recruitment System. - Database Connectivity for the Model Theory Approach. - Theoretical Basis for extProlog. - extProlog as Logic Programming Language. - Implementation of extProlog. Language: English