Foundations and Applications of MIS

Part I. New Paradigm of Systems Development.- New Systems Development Methodology: The Model Theory Approach.- Part II. Model Construction Language and Systems Implementation Language: extProlog.- Computer-Acceptable Set Theory for Model Construction.- Implementation Language: extProlog.- Part III. Model Theory Approach to Solver Systems Development.- Model Theory Approach to Solver Systems Development: Outline.- User Model and Standardized Goal Seeker.- Part IV. 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.- Cubic 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.- Part V. 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 Model Theory Approach.- Part VI. Theoretical Basis for extProlog.- extProlog as Logic Programming Language.- Implementation of extProlog.