دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Fundamental Approaches to Software Engineering: First International Conference, FASE'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings
دانلود کتاب رویکردهای بنیادی به مهندسی نرم افزار: اولین کنفرانس بین المللی، FASE'98 به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار، ETAPS'98 لیسبون، پرتغال، 28 مارس - 4 آوریل 1998 مجموعه مقالات برگزار شد.
مشخصات کتاب
Fundamental Approaches to Software Engineering: First International Conference, FASE'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings
ویرایش: [1 ed.] نویسندگان: Kent Beck (auth.), Egidio Astesiano (eds.) سری: Lecture Notes in Computer Science 1382 ISBN (شابک) : 3540643036, 9783540643036 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1998 تعداد صفحات: 329 [672] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
قیمت کتاب (تومان) : 50,000
در صورت تبدیل فایل کتاب Fundamental Approaches to Software Engineering: First International Conference, FASE'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب رویکردهای بنیادی به مهندسی نرم افزار: اولین کنفرانس بین المللی، FASE'98 به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار، ETAPS'98 لیسبون، پرتغال، 28 مارس - 4 آوریل 1998 مجموعه مقالات برگزار شد. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب رویکردهای بنیادی به مهندسی نرم افزار: اولین کنفرانس بین المللی، FASE'98 به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار، ETAPS'98 لیسبون، پرتغال، 28 مارس - 4 آوریل 1998 مجموعه مقالات برگزار شد.
این کتاب مجموعه مقالات داوری اولین کنفرانس بین المللی
رویکردهای بنیادی در مهندسی نرم افزار، FASE'98 است که به عنوان
بخشی از کنفرانس مشترک اروپایی در زمینه تئوری و عمل نرم افزار،
ETAPS'98، در لیسبون، پرتغال برگزار شد، در مارس/آوریل
1998.
علاوه بر دو ارائه دعوت شده و سه نمایش سیستمی، این جلد 18
مقاله کامل اصلاح شده را ارائه می کند که از مجموع 59 ارسالی
انتخاب شده اند. در میان موضوعات مختلف مهندسی نرم افزار اساسی
که به آنها پرداخته می شود، روش های رسمی، زبان های مشخصات،
اصلاح، مدل سازی شی گرا، معماری نرم افزار، نمودار وضعیت، بررسی
مدل و غیره است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the First
International Conference on Fundamental Approaches to
Software Engineering, FASE'98, held as part of the Joint
European Conferences on Theory and Practice of Software,
ETAPS'98, held in Lisbon, Portugal, in March/April
1998.
Besides two invited presentations and three system
demonstrations, this volume presents 18 revised full papers
selected from a total of 59 submissions. Among the various
fundamental software engineering issues addressed are formal
methods, specification languages, refinement, object-oriented
modeling, software architectures, statecharts, model
checking, etc.
فهرست مطالب
Extreme programming: A humanistic discipline of software development....Pages 1-6
Some mistakes I have and what I have learned from them....Pages 7-20
Specifying and analyzing dynamic software architectures....Pages 21-37
Observational proofs with critical contexts....Pages 38-53
Integrating AORTA with model-based data specification languages....Pages 54-70
Specifying safety-critical embedded systems with statecharts and Z: A case study....Pages 71-87
Specifying embedded systems with statecharts and Z: An agenda for cyclic software components....Pages 88-106
Algebra transformation systems and their composition....Pages 107-122
Navigation expressions in object-oriented modelling....Pages 123-137
Compositional verification of reactive systems specified by graph transformation....Pages 138-153
Reflections on the design of a specification language....Pages 154-170
Constructs, concepts and criteria for reuse in concurrent object-oriented languages....Pages 171-187
Backtracking-free design planning by automatic synthesis in metaframe....Pages 188-204
Model-checking CSP-Z....Pages 205-220
Rule-based refinement of high-level nets preserving safety properties....Pages 221-238
Automated formal analysis of networks: FDR models of arbitrary topologies and flow-control mechanisms....Pages 239-254
Behaviour analysis and safety conditions: A case study in CML....Pages 255-269
Distributed safety controllers for web services....Pages 270-284
A refinement calculus for statecharts....Pages 285-301
Refining formal specifications of human computer interaction by graph rewrite rules....Pages 302-317
RELVIEW — A system for calculating with relations and relational programming....Pages 318-321
ALBERT: A formal language and its supporting tools for requirements engineering....Pages 322-325
Moby/plc — A design tool for hierarchical real-time automata....Pages 326-329
نظرات کاربران
کتاب های تصادفی
دانلود کتاب An Atlas of Neonatal Brain Sonography
دانلود کتاب Пчела и здоровье человека
دانلود کتاب Calcul différentiel et intégral
دانلود کتاب Courage and Hope for Every Day: 180 Readings to Strengthen Your Spirit
