This book presents a unique systems theory approach to management information system (MIS) development. It covers an outline of the approach, providing a theoretical foundation for MIS from the systems theoretic viewpoint before presenting practical applications ranging from a transaction processing system to a solver system. The author also describes his newly developed extended Prolog programming language, which helps take full advantage of the mathematical framework employed. Prerequisites include a working knowledge of elementary set theory, logic and familiarity with some systems concepts such as automation models. This book is ideally suited to senior and graduate students, researchers in management information systems, systems engineers and systems scientists. It can be used as a main text or additional material for a course on Management Information Systems or Systems Engineering.

Presents a unique systems theoretic approach to MIS development Practical examples such as a transaction processing system and a solver system are discussed in detail Systematic presentation style

Inhalt
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.