دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب LOTOSphere: Software Development with LOTOS
دانلود کتاب LOTOSphere: توسعه نرم افزار با LOTOS
مشخصات کتاب
LOTOSphere: Software Development with LOTOS
ویرایش: 1 نویسندگان: Chris A. Vissers, Luís Ferreira Pires, Jeroen van de Lagemaat (auth.), Tommaso Bolognesi, Jeroen van de Lagemaat, Chris Vissers (eds.) سری: ISBN (شابک) : 9781461359241, 9781461522034 ناشر: Springer US سال نشر: 1995 تعداد صفحات: 489 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 13 مگابایت
قیمت کتاب (تومان) : 49,000
کلمات کلیدی مربوط به کتاب LOTOSphere: توسعه نرم افزار با LOTOS: زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، مهندسی نرم‌افزار/برنامه‌نویسی و سیستم‌های عامل، روش‌های محاسباتی، معماری پردازنده، مهندسی برق
در صورت تبدیل فایل کتاب LOTOSphere: Software Development with LOTOS به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب LOTOSphere: توسعه نرم افزار با LOTOS نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب LOTOSphere: توسعه نرم افزار با LOTOS
LOTOS (زبان مشخصات مرتب‌سازی زمانی) در سال 1989 به یک
استاندارد بین‌المللی تبدیل شد، اگرچه استفاده از نسخه‌های
اولیه این زبان در خدمات ارتباطی و پروتکل‌های خانواده ISO/OSI
به سال 1984 برمی‌گردد. تاریخچه استفاده از LOTOS باعث شد بدیهی
است که مزایای بیشتری نسبت به تولید خالص اسناد مرجع استاندارد
از استفاده از چنین تکنیک های توصیف رسمی انتظار می رود.
LOTOSphere: توسعه نرم‌افزار با LOTOS به طور عمیق
پروژه‌ای پنج ساله را توصیف می‌کند که LOTOS را از برج ISO به
عمل مهندسی نرم‌افزار منتقل کرد. LOTOS وسیله‌ای برای مشخصات،
طراحی، تأیید، پیاده‌سازی و آزمایش نرم‌افزارهای صنعتی کارآمد و
در عین حال رسمی شد.
LOTOSphere: توسعه نرم افزار با LOTOS به شش بخش تقسیم
می شود. اولی خواننده را با LOTOS و پروژه LOTOSphere آشنا می
کند. پنج مورد باقیمانده هر کدام بخش مهمی از چرخه عمر توسعه
نرم افزار را با استفاده از LOTOS درمان می کنند. این اولین
کتابی است که به بررسی جامع استفاده از این تکنیک های توصیف
رسمی در یک محیط مهندسی نرم افزار می پردازد. بنابراین یک مرجع
ارزشمند برای محققان و توسعه دهندگان نرم افزار خواهد بود و
همچنین می تواند به عنوان متنی برای یک دوره پیشرفته در این
زمینه استفاده شود.
توضیحاتی درمورد کتاب به خارجی
LOTOS (Language Of Temporal Ordering Specification) became an
international standard in 1989, although application of
preliminary versions of the language to communication
services and protocols of the ISO/OSI family dates back to
1984. This history of the use of LOTOS made it apparent that
more advantages than the pure production of standard
reference documents were to be expected from the use of such
formal description techniques.
LOTOSphere: Software Development with LOTOS
describes in depth a five year project that moved LOTOS out
of the ISO tower into software engineering practice. LOTOS
became a vehicle for efficient, yet formally based industrial
software specification, design, verification, implementation
and testing.
LOTOSphere: Software Development with LOTOS is
divided into six parts. The first introduces the reader to
LOTOS and the project LOTOSphere. The five remaining each
treat an important part of the software development life
cycle using LOTOS. This is the first book to give a
comprehensive treatment of the use of these formal
description techniques in a software engineering environment.
It will thus be a valuable reference for researchers and
software developers and can also be used as a text for an
advanced course on the subject.
فهرست مطالب
Front Matter....Pages i-xxii
Front Matter....Pages 1-1
Lotosphere, an Attempt Towards a Design Culture....Pages 3-28
The Lotosphere Design Methodology....Pages 29-58
Design and Implementation Strategies....Pages 59-85
Getting to Use the Lotosphere Integrated Tool Environment (Lite)....Pages 87-107
Lotos Industrial Applications....Pages 109-120
Applying Lotos to OSI Application Layer Protocols....Pages 121-133
Front Matter....Pages 135-135
Lotos Specification Style for OSI....Pages 137-159
Correctness Preserving Transformations for the Early Phases of Software Development....Pages 161-180
Correctness Preserving Transformations for the Late Phases of Software Development....Pages 181-199
A Case Study on Protocol Design....Pages 201-217
Front Matter....Pages 219-219
Executing Lotos specifications: The Smile Tool....Pages 221-234
A Pragmatic Approach to Verification, Validation and Compilation....Pages 235-253
An Exercise in Protocol Verification....Pages 255-279
A Tool for Checking ADT Completeness and Consistency....Pages 281-293
Deriving Tests from Lotos Specifications....Pages 295-315
Front Matter....Pages 317-317
The Colos Compiler....Pages 319-331
TP Protocol from Specification to Implementation....Pages 333-348
Realization of CCR in C....Pages 349-368
Alto: An Interactive Transformation Tool for Lotos and Lotomaton....Pages 369-388
Front Matter....Pages 389-389
G-Lotos: A Graphical Language for Concurrent Systems....Pages 391-437
Front Matter....Pages 389-389
Glow 3.0 - A Graphical Lotos Browser....Pages 439-450
Front Matter....Pages 451-451
Enhancements of Lotos....Pages 453-466
Data Specifications in Modular Lotos....Pages 467-479
Back Matter....Pages 481-488
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Graded Go Problems for Beginners Volume One: Introductory Problems (30-kyu to 25-kyu)
دانلود کتاب Ultrasound: Advances in Food Processing and Preservation
