Foundations and Applications of Mis

A Model Theory Approach

Authors:

Editors:

ISBN: 978-0-387-31414-3 (Print) 978-0-387-35840-6 (Online)

Table of contents (18 chapters)

  1. Front Matter

    Pages I-XV

  2. New Paradigm of Systems Development

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-20

      New Systems Development Methodology: The Model Theory Approach

  3. Model Construction Language and Systems Implementation Language

    1. Front Matter

      Pages 21-21

    2. No Access

      Book Chapter

      Pages 23-41

      Computer-Acceptable Set Theory for Model Construction

    3. No Access

      Book Chapter

      Pages 43-63

      Implementation Language: extProlog

  4. Model Theory Approach to Solver Systems Development

    1. Front Matter

      Pages 65-65

    2. No Access

      Book Chapter

      Pages 67-77

      Model Theory Approach to Solver System Development: Outlines

    3. No Access

      Book Chapter

      Pages 79-109

      User Model and Standardized Goal-Seeker

  5. Solver System Applications

    1. Front Matter

      Pages 111-111

    2. No Access

      Book Chapter

      Pages 113-125

      Traveling Salesman Problem: E-C-C Problem

    3. No Access

      Book Chapter

      Pages 127-144

      Regulation Problem: E-O-C Problem

    4. No Access

      Book Chapter

      Pages 145-151

      Linear Quadratic Optimization Problem: E-C-O and E-O-O Problems

    5. No Access

      Book Chapter

      Pages 153-157

      Cube Root Problem: I-C-C Problem

    6. No Access

      Book Chapter

      Pages 159-168

      Knapsack Problem: I-C-O Problem

    7. No Access

      Book Chapter

      Pages 169-181

      Class Schedule Problem: I-O-C Problem

    8. No Access

      Book Chapter

      Pages 183-205

      Data Mining Problem: I-O-O Problem

    9. No Access

      Book Chapter

      Pages 207-221

      Task Skeleton Model: Intelligent Data Mining System

  6. Model Theory Approach to Transaction Processing Systems Development

    1. Front Matter

      Pages 223-223

    2. No Access

      Book Chapter

      Pages 225-257

      Transaction Processing System on Browser-Based Standardized User Interface

    3. No Access

      Book Chapter

      Pages 259-285

      Browser-Based Intelligent Management Information System: Temporary Staff Recruitment System

    4. No Access

      Book Chapter

      Pages 287-321

      Database Connectivity for the Model Theory Approach

  7. Theoretical Basis for extProlog

    1. Front Matter

      Pages 323-323

    2. No Access

      Book Chapter

      Pages 325-341

      extProlog as Logic Programming Language

    3. No Access

      Book Chapter

      Pages 343-353

      Implementation of extProlog

  8. Back Matter

    Pages 355-360