| 000 -LEADER |
|---|
| fixed length control field |
04621nam a22005655i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
978-0-387-35840-6 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20161121231026.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
100301s2006 xxu| s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780387358406 |
| -- |
978-0-387-35840-6 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-0-387-35840-6 |
| Source of number or code |
doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
HF5691-5716 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
KJQ |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
BUS091000 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
330.0151 |
| Edition number |
23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Takahara, Yasuhiko. |
| Relator term |
author. |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Foundations and Applications of Mis |
| Medium |
[electronic resource] : |
| Remainder of title |
A Model Theory Approach / |
| Statement of responsibility, etc. |
by Yasuhiko Takahara, Yongmei Liu ; edited by George J. Klir. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
New York, NY : |
| Name of producer, publisher, distributor, manufacturer |
Springer New York, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2006. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
XVI, 360 p. |
| Other physical details |
online resource. |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| Encoding format |
PDF |
| Source |
rda |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
IFSR International Series on Systems Science and Engineering, |
| International Standard Serial Number |
1574-0463 ; |
| Volume/sequential designation |
24 |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
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. Senior undergraduates and graduate students, researchers in management information systems, systems engineers and systems scientists will benefit from this book. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Business. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Business mathematics. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Management information systems. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
System theory. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Mathematical models. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Complexity, Computational. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Business and Management. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Business Mathematics. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Mathematical Modeling and Industrial Mathematics. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Management of Computing and Information Systems. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Systems Theory, Control. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Complexity. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Liu, Yongmei. |
| Relator term |
author. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Klir, George J. |
| Relator term |
editor. |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9780387314143 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
IFSR International Series on Systems Science and Engineering, |
| International Standard Serial Number |
1574-0463 ; |
| Volume/sequential designation |
24 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
http://dx.doi.org/10.1007/978-0-387-35840-6 |
| 912 ## - |
|---|
| -- |
ZDB-2-SMA |
