Foundations and Applications of MIS (eBook)

A Model Theory Approach
eBook Download: PDF
2007 | 2006
XVI, 360 Seiten
Springer New York (Verlag)
978-0-387-35840-6 (ISBN)

Lese- und Medienproben

Foundations and Applications of MIS -  Yongmei Liu,  Yasuhiko Takahara
Systemvoraussetzungen
171,19 inkl. MwSt
  • Download sofort lieferbar
  • Zahlungsarten anzeigen

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.


Foundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. The development is driven by the need to eliminate ambiguity in specification, design and construction of the application software. Further, the authors show that the considerable effort being expanded nowadays on validation, verification and testing, as required in current software engineering practices, will be reduced. The approach also reinforces the belief that MIS development is independent of software development.The work presents an approach that provides a theoretical foundation for MIS development from the systems theoretic viewpoint along with practical applications ranging from a transaction processing system to a solver system. Both formal systems theory and automatic system generation based on the authors' newly extended Prolog offer a significant increase in the efficiency of specification, design and production of the application software, as well as an increase in the functional reliability of the software produced. The book assumes a working knowledge of elementary set theory, logic, and familiarity with some systems concepts, such as the automaton model.

Preface 6
Contents 11
New Paradigm of Systems Development 16
New Systems Development Methodology: The Model Theory Approach 17
Model Construction Language and Systems Implementation Language 35
Computer- Acceptable Set Theory for Model Construction 36
Implementation Language: extProlog* 55
Model Theory Approach to Solver Systems Development 76
Model Theory Approach to Solver System Development: Outlines 77
User Model and Standardized Goal- Seeker* 88
Solver System Applications 119
Traveling Salesman Problem: E- C- C Problem 120
Regulation Problem: E- O- C Problem 133
Linear Quadratic Optimization Problem: E- C- O and E- O- O Problems 151
Cube Root Problem: I- C- C Problem 158
Knapsack Problem: I- C- O Problem 163
Class Schedule Problem: I- O- C Problem 173
Data Mining Problem: I- O- O Problem 186
Task Skeleton Model: Intelligent Data Mining System* 209
Model Theory Approach to Transaction Processing Systems Development 224
Transaction Processing System on Browser- Based Standardized User Interface 225
Browser- Based Intelligent Management Information System: Temporary Staff Recruitment System 258
Database Connectivity for the Model Theory Approach* 285
Theoretical Basis for extProlog 320
extProlog as Logic Programming Language* 321
Implementation of extProlog* 338
Index 349

Erscheint lt. Verlag 8.10.2007
Reihe/Serie IFSR International Series in Systems Science and Systems Engineering
IFSR International Series in Systems Science and Systems Engineering
Zusatzinfo XVI, 360 p.
Verlagsort New York
Sprache englisch
Themenwelt Mathematik / Informatik Informatik Theorie / Studium
Mathematik / Informatik Mathematik Angewandte Mathematik
Mathematik / Informatik Mathematik Finanz- / Wirtschaftsmathematik
Naturwissenschaften
Technik
Wirtschaft Allgemeines / Lexika
Wirtschaft Betriebswirtschaft / Management Unternehmensführung / Management
Wirtschaft Betriebswirtschaft / Management Wirtschaftsinformatik
Schlagworte Automation • Complexity • Data Mining • Information • information system • linear optimization • Model • Optimization • programming • Programming language • Systems Theory • verification
ISBN-10 0-387-35840-4 / 0387358404
ISBN-13 978-0-387-35840-6 / 9780387358406
Informationen gemäß Produktsicherheitsverordnung (GPSR)
Haben Sie eine Frage zum Produkt?
PDFPDF (Wasserzeichen)
Größe: 13,5 MB

DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasser­zeichen und ist damit für Sie persona­lisiert. Bei einer missbräuch­lichen Weiter­gabe des eBooks an Dritte ist eine Rück­ver­folgung an die Quelle möglich.

Dateiformat: PDF (Portable Document Format)
Mit einem festen Seiten­layout eignet sich die PDF besonders für Fach­bücher mit Spalten, Tabellen und Abbild­ungen. Eine PDF kann auf fast allen Geräten ange­zeigt werden, ist aber für kleine Displays (Smart­phone, eReader) nur einge­schränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Mehr entdecken
aus dem Bereich
Discover tactics to decrease churn and expand revenue

von Peter Armaly; Jeff Mar

eBook Download (2024)
Packt Publishing Limited (Verlag)
25,19
Develop useful models for regression, classification, time series, …

von Huy Hoang Nguyen; Paul N Adams; Stuart J Miller

eBook Download (2023)
Packt Publishing (Verlag)
35,99