Foundations and Applications of MIS: A Model Theory Approach

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.