ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Present and Ulterior Software Engineering

دانلود کتاب مهندسی نرم افزار حاضر و پایین

Present and Ulterior Software Engineering

مشخصات کتاب

Present and Ulterior Software Engineering

ویرایش: 1st ed. 2017 
نویسندگان:   
سری:  
ISBN (شابک) : 3319674242, 9783319674247 
ناشر: Springer 
سال نشر: 2017 
تعداد صفحات: 225 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

قیمت کتاب (تومان) : 60,000



کلمات کلیدی مربوط به کتاب مهندسی نرم افزار حاضر و پایین: توسعه نرم افزار، طراحی نرم افزار، تست و مهندسی، برنامه نویسی، کامپیوتر و فناوری، برنامه های کاربردی سازمانی، نرم افزار، کامپیوتر و فناوری، کامپایلر، زبان های برنامه نویسی، کامپیوتر و فناوری، زبان های برنامه نویسی، علوم کامپیوتر، کتاب های درسی جدید، مستعمل و اجاره، بوتیک تخصصی، طراحی و مهندسی نرم افزار، علوم کامپیوتر، کتاب های درسی جدید، مستعمل و اجاره، بوتیک تخصصی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 10


در صورت تبدیل فایل کتاب Present and Ulterior Software Engineering به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مهندسی نرم افزار حاضر و پایین نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مهندسی نرم افزار حاضر و پایین


این کتاب با پیش‌بینی آینده این رشته، مروری مؤثر از آخرین هنر در مهندسی نرم‌افزار ارائه می‌دهد. این شامل 13 مقاله است که توسط محققان برجسته در زمینه های مربوطه، در مورد موضوعات مهمی مانند توسعه نرم افزار مبتنی بر مدل، طراحی زبان برنامه نویسی، میکروسرویس ها، قابلیت اطمینان نرم افزار، بررسی مدل و شبیه سازی نوشته شده است.

مقالات ویرایش شده اند. و نسخه‌های گسترده‌ای از ارائه‌ها در سمپوزیوم PAUSE، که نشان‌دهنده تکمیل 14 سال کار در کرسی مهندسی نرم‌افزار در ETH زوریخ بود. در این زمینه الهام بخش، برخی از بزرگترین ذهن ها در این زمینه به طور گسترده در مورد گذشته، حال و آینده مهندسی نرم افزار بحث کردند.

این خوانندگان را در سفری اکتشافی از طریق رشته مهندسی نرم افزار امروز راهنمایی می کند و ارائه می دهد. غذای بی نظیری برای تفکر برای محققان و متخصصان و الهام بخش تحقیق و توسعه آینده.

توضیحاتی درمورد کتاب به خارجی

This book provides an effective overview of the state-of-the art in software engineering, with a projection of the future of the discipline. It includes 13 papers, written by leading researchers in the respective fields, on important topics like model-driven software development, programming language design, microservices, software reliability, model checking and simulation.

The papers are edited and extended versions of the presentations at the PAUSE symposium, which marked the completion of 14 years of work at the Chair of Software Engineering at ETH Zurich. In this inspiring context, some of the greatest minds in the field extensively discussed the past, present and future of software engineering.

It guides readers on a voyage of discovery through the discipline of software engineering today, offering unique food for thought for researchers and professionals, and inspiring future research and development.


فهرست مطالب

Front Matter ....Pages i-viii
 Engineering by Software: System Behaviours as Components  (Michael Jackson)....Pages 1-17
 What Is a Procedure?  (Eric C. R. Hehner)....Pages 19-35
 The Evolution and Ecosystem of the Unified Modeling Language  (Claude R. Baudoin)....Pages 37-45
 A Theory of Networking and Its Contributions to Software Engineering  (Pamela Zave)....Pages 47-64
 On Language Interfaces  (Thomas Degueule, Benoit Combemale, Jean-Marc Jézéquel)....Pages 65-75
 Moldable Tools for Object-Oriented Development  (Andrei Chiş, Tudor Gîrba, Juraj Kubelka, Oscar Nierstrasz, Stefan Reichhart, Aliaksei Syrel)....Pages 77-101
 The Changing Face of Model-Driven Engineering  (Richard F. Paige, Athanasios Zolotas, Dimitris Kolovos)....Pages 103-118
 Borealis Bounded Model Checker: The Coming of Age Story  (Marat Akhin, Mikhail Belyaev, Vladimir Itsykson)....Pages 119-137
 How to Make Visual Modeling More Attractive to Software Developers  (Andrey Terekhov, Timofey Bryksin, Yurii Litvinov)....Pages 139-152
 Intrinsic Redundancy for Reliability and Beyond  (Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè)....Pages 153-171
 Sound Simulation and Co-simulation for Robotics  (Ana Cavalcanti, Alvaro Miyazawa, Richard Payne, Jim Woodcock)....Pages 173-194
 Microservices: Yesterday, Today, and Tomorrow  (Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin et al.)....Pages 195-216
 Microservices: A Language-Based Approach  (Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi)....Pages 217-225




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی