دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Foundations and Applications of Mis: A Model Theory Approach
دانلود کتاب مبانی و کاربردهای Mis: یک رویکرد نظریه مدل
مشخصات کتاب
Foundations and Applications of Mis: A Model Theory Approach
ویرایش: 1 نویسندگان: Yasuhiko Takahara, Yongmei Liu (auth.), George J. Klir (eds.) سری: IFSR International Series on Systems Science and Engineering 24 ISBN (شابک) : 9780387314143, 9780387358406 ناشر: Springer-Verlag New York سال نشر: 2006 تعداد صفحات: 353 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 33,000
کلمات کلیدی مربوط به کتاب مبانی و کاربردهای Mis: یک رویکرد نظریه مدل: مدلسازی ریاضی و ریاضیات صنعتی،مدیریت سیستمهای محاسباتی و اطلاعاتی،نظریه سیستمها،کنترل،تئوری سیستمها و اطلاعات در مهندسی
در صورت تبدیل فایل کتاب Foundations and Applications of Mis: A Model Theory Approach به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی و کاربردهای Mis: یک رویکرد نظریه مدل نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی و کاربردهای Mis: یک رویکرد نظریه مدل
مبانی و کاربردهای MIS یک رویکرد تئوری سیستمی منحصر به فرد را برای توسعه سیستم اطلاعات مدیریت (MIS) ارائه می دهد. توسعه با نیاز به حذف ابهام در مشخصات، طراحی و ساخت نرم افزار کاربردی هدایت می شود. علاوه بر این، نویسندگان نشان می‌دهند که تلاش قابل توجهی که امروزه در مورد اعتبارسنجی، تأیید و آزمایش، همانطور که در شیوه‌های مهندسی نرم‌افزار فعلی مورد نیاز است، گسترش می‌یابد. این رویکرد همچنین این باور را تقویت می‌کند که توسعه MIS مستقل از توسعه نرم‌افزار است.
این کار رویکردی را ارائه می‌کند که یک پایه نظری برای توسعه MIS از دیدگاه نظری سیستمها همراه با کاربردهای عملی از یک سیستم پردازش تراکنش فراهم می‌کند. به یک سیستم حل کننده هم تئوری سیستم های رسمی و هم تولید سیستم خودکار بر اساس Prolog جدید توسعه یافته نویسندگان، افزایش قابل توجهی در کارایی مشخصات، طراحی و تولید نرم افزار کاربردی و همچنین افزایش قابلیت اطمینان عملکردی نرم افزار تولید شده را ارائه می دهند.
این کتاب دارای دانش کاربردی از تئوری مجموعه های ابتدایی، منطق و آشنایی با برخی مفاهیم سیستمی مانند مدل خودکار است. دانشجویان ارشد و دانشجویان کارشناسی ارشد، محققان سیستم های اطلاعات مدیریت، مهندسین سیستم و دانشمندان سیستم از این کتاب بهره مند خواهند شد.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
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
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Cómo leer un artículo científico: Las bases de la medicina basada en la evidencia
دانلود کتاب Science, Religion and the Meaning of Life
