دانلود کتاب Foundations and Applications of Mis: A Model Theory Approach
کتاب مبانی و کاربردهای Mis: یک رویکرد نظریه مدل نسخه زبان اصلی
دانلود کتاب مبانی و کاربردهای Mis: یک رویکرد نظریه مدل بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Foundations and Applications of Mis: A Model Theory Approach
نام کتاب : Foundations and Applications of Mis: A Model Theory Approach
ویرایش : 1
عنوان ترجمه شده به فارسی : مبانی و کاربردهای Mis: یک رویکرد نظریه مدل
سری : IFSR International Series on Systems Science and Engineering 24
نویسندگان : Yasuhiko Takahara, Yongmei Liu (auth.), George J. Klir (eds.)
ناشر : Springer-Verlag New York
سال نشر : 2006
تعداد صفحات : 353
ISBN (شابک) : 9780387314143 , 9780387358406
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
مبانی و کاربردهای MIS یک رویکرد تئوری سیستمی منحصر به فرد را برای توسعه سیستم اطلاعات مدیریت (MIS) ارائه می دهد. توسعه با نیاز به حذف ابهام در مشخصات، طراحی و ساخت نرم افزار کاربردی هدایت می شود. علاوه بر این، نویسندگان نشان می‌دهند که تلاش قابل توجهی که امروزه در مورد اعتبارسنجی، تأیید و آزمایش، همانطور که در شیوه‌های مهندسی نرم‌افزار فعلی مورد نیاز است، گسترش می‌یابد. این رویکرد همچنین این باور را تقویت می‌کند که توسعه MIS مستقل از توسعه نرم‌افزار است.
این کار رویکردی را ارائه می‌کند که یک پایه نظری برای توسعه MIS از دیدگاه نظری سیستم‌ها همراه با کاربردهای عملی از یک سیستم پردازش تراکنش فراهم می‌کند. به یک سیستم حل کننده هم تئوری سیستم های رسمی و هم تولید سیستم خودکار بر اساس Prolog جدید توسعه یافته نویسندگان، افزایش قابل توجهی در کارایی مشخصات، طراحی و تولید نرم افزار کاربردی و همچنین افزایش قابلیت اطمینان عملکردی نرم افزار تولید شده را ارائه می دهند.
این کتاب دارای دانش کاربردی از تئوری مجموعه های ابتدایی، منطق و آشنایی با برخی مفاهیم سیستمی مانند مدل خودکار است. دانشجویان ارشد و دانشجویان کارشناسی ارشد، محققان سیستم های اطلاعات مدیریت، مهندسین سیستم و دانشمندان سیستم از این کتاب بهره مند خواهند شد.
فهرست مطالب :
Cover......Page 1
FOUNDATIONS AND APPLICATIONS\rOF MIS......Page 2
ISBN-10: 0387314148......Page 5
Preface......Page 6
Contents......Page 11
Part I\rNew Paradigm of Systems Development......Page 16
1 New Systems Development Methodology: The Model Theory Approach......Page 17
Part II Model Construction Language and Systems Implementation Language......Page 35
2 Computer-Acceptable Set Theory for Model Construction......Page 36
3 Implementation Language: extProlog......Page 55
Part III Model Theory Approach to Solver Systems Development......Page 76
4 Model Theory Approach to Solver System Development: Outlines......Page 77
5 User Model and Standardized Goal-Seeker......Page 88
Part IV Solver System Applications......Page 119
6 Traveling Salesman Problem: E-C-C Problem......Page 120
7 Regulation Problem: E-O-C Problem......Page 133
8 Linear Quadratic Optimization Problem: E-C-O and E-O-O Problems......Page 151
9 Cube Root Problem: I-C-C Problem......Page 158
10 Knapsack Problem: I-C-O Problem......Page 163
11 Class Schedule Problem: I-O-C Problem......Page 173
12 Data Mining Problem: I-O-O Problem......Page 186
13 Task Skeleton Model: Intelligent Data Mining System......Page 209
Part V Model Theory Approach to Transaction Processing Systems Development......Page 224
14 Transaction Processing System on Browser-Based Standardized User\rInterface......Page 225
15 Browser-Based Intelligent Management Information System:\rTemporary Staff Recruitment System......Page 258
16 Database Connectivity for the Model Theory Approach......Page 285
Part VI Theoretical Basis for extProlog......Page 320
17 extProlog as Logic Programming Language......Page 321
18 Implementation of extProlog......Page 338
Index......Page 349
توضیحاتی در مورد کتاب به زبان اصلی :
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.