دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formale Modelle für Informationssysteme: GI-Fachtagung, 24.–26. Mai 1979, Tutzing
دانلود کتاب مدل‌های رسمی برای سیستم‌های اطلاعاتی: کنفرانس GI، 24-26. می 1979، توتسینگ
مشخصات کتاب
Formale Modelle für Informationssysteme: GI-Fachtagung, 24.–26. Mai 1979, Tutzing
ویرایش: [1 ed.] نویسندگان: K. Bauknecht (auth.), Heinrich C. Mayr, Bernd E. Meyer (eds.) سری: Informatik-Fachberichte 21 ISBN (شابک) : 9783540097730, 9783642674853 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1979 تعداد صفحات: 266 [271] زبان: German فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
قیمت کتاب (تومان) : 44,000
در صورت تبدیل فایل کتاب Formale Modelle für Informationssysteme: GI-Fachtagung, 24.–26. Mai 1979, Tutzing به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل‌های رسمی برای سیستم‌های اطلاعاتی: کنفرانس GI، 24-26. می 1979، توتسینگ نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدل‌های رسمی برای سیستم‌های اطلاعاتی: کنفرانس GI، 24-26. می 1979، توتسینگ
با روش ISAC توصیف شده، یک روش توصیف رسمی نشان داده شد که قبلاً تست دوام خود را از طریق پذیرش بالای کاربر در یک پروژه صنعتی گذرانده است. شکل‌گیری سلسله‌مراتب فعالیت یک مسیر پیوسته را از طریق روش‌های تبدیل مانند روش توسعه‌یافته نشان می‌دهد که در آن برنامه‌ها عمدتاً با پشتیبانی رایانه طراحی می‌شوند. این امر باعث می شود تا سرعت پروژه ها به میزان قابل توجهی افزایش یابد. روش‌های مشخص‌سازی مانند سازنده و DIOGENES، که برنامه‌ها با آن‌ها تولید می‌شوند، ابزار دقیق نرم‌افزار را کامل می‌کنند. دیدگاه دنیای نرم‌افزار به‌عنوان زیرمجموعه‌ای از دنیای سیستم‌های اطلاعاتی، چشم‌انداز مشروعی برای انجام تحلیل پویا سیستم اطلاعاتی طراحی‌شده ارائه می‌دهد. با یک روش بسته و هماهنگ می توان. برای اطلاعات ارزشمند، مشارکت در بحث ها و حمایت، من به ویژه از پروفسور دکتر تشکر می کنم. از H. J. Schneider و همه کارکنانی که از طریق پروژه و تعهد خصوصی خود به این ایده ها کمک کردند تشکر می شود. این کار بر اساس کارهای مقدماتی زیر است: منطقه ISAC Konig, A., Krenz, G. Database area interface Schneider, R., GUnther, A.
توضیحاتی درمورد کتاب به خارجی
Mit der beschriebenen ISAC-Methode wurde eine formale Beschreibungsme thode aufgezeigt, die ihre Bewahrungsprobe durch hohe Benutzerakzeptanz in einem Industrieprojekt bereits bestanden hat. Die konsequente Tatig keitshierarchiebildung zeigt einen durchgehenden Weg Uber die Transfor mationsmethoden wie die erweiterte Methliemethode, bei dem weitgehend computergestUtzt die Programme entworfen werden. Damit ist es moglich, die Projekte erheblich zu beschleunigen. Spezifikationsmethoden wie der Konstruktor und DIOGENES, mit denen Programme generiert werden, runden das Softwareinstrurnentarium abo Die Auffassung der Softwarewelt als Untermenge der Informationssystem welt bietet berechtigte Aussichten, auch die dynamische Analyse des ent worfenen Informationssystems mit ein~r geschlossenen, aufeinander abge stimmten Methodik durchfUhren zu konnen. FUr die wertvollen Hinweise, Diskussionsbeitrage und UnterstUtzungen sei an dieser Stelle besonders Herrn Prof. Dr. H. J. Schneider und allen Mitarbeitern, die durch ihre Projektarbeit sowie ihrem privaten Engage ment zu diesen Gedanken ihren Beitrag geleistet haben, gedankt. Die Arbeit basiert im einzelnen auf folgenden Vorarbeiten: Bereich ISAC Konig, A., Krenz, G. Bereich Datenbank schnittstelle Schneider, R., GUnther, A.
فهرست مطالب
Front Matter....Pages I-VI
Simulationstechnik....Pages 1-24
ISAC — eine formale Methode zur rechnergestützten Beschreibung von Betriebsabläufen....Pages 25-46
Ein Ansatz zur Rechnergestützten Modellierung Betrieblicher Informationssystem....Pages 47-68
Evolutionärer System-Entwurf....Pages 69-93
Möglichkeiten und Probleme der Integration von Daten- und Methodenbanken....Pages 94-109
Leistungsanalyse von Datenbanksystemen durch Messung, Analytische Modelle und Simulation....Pages 110-127
Leistungsaspekte bei Datenbanksystemen....Pages 128-148
Methoden und Algorithmen zur automatischen Informationsverwaltung....Pages 149-169
Graphentheoretische Modelle und Methoden....Pages 170-180
Neue Aspekte Algebraischer Spezifikationsschemata für Datenbanksysteme....Pages 181-198
Modelling a Solution for a Control Problem in Distributed Systems by Restrictions....Pages 199-201
Formale Beschreibungsmittel für offene Kommunikationssysteme im Rahmen von Normungsvorhaben....Pages 202-219
Zur Verwendung von Petrinetz-Morphismen bei der Systemkonstruktion....Pages 220-235
Zur Modellierung von Systemen auf der Basis der Nebenläufigkeit....Pages 236-245
Funktionsnetze....Pages 246-265
