TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991

TAPSOFT '91 چهارمین کنفرانس بین المللی مشترک در زمینه تئوری و عمل توسعه نرم افزار است. در برایتون، 8 تا 12 آوریل 1991 برگزار شد و توسط دپارتمان محاسبات کالج امپریال لندن سازماندهی شد. مجموعه مقالات TAPSOFT '91 در سه بخش سازماندهی شده است: - پیشرفت در محاسبات توزیع شده (ADC) - کنفرانس در مورد درختان در جبر و برنامه نویسی (CAAP) - کنفرانس در مورد ترکیب پارادایم ها برای توسعه نرم افزار (CCPSD) مجموعه مقالات در دو جلد منتشر شده است. جلد اول (LNCS، جلد 493) شامل مقالات CAAP است. جلد دوم (LNCS، جلد 494) شامل مقالات ADC و CCPSD است. گفتگوهای ADC توسط سخنرانان دعوت شده برجسته، پیشرفت های جاری در محاسبات توزیع شده، از جمله ادغام پارادایم های مختلف برای همزمانی، جبری، مبانی منطقی و عملیاتی، و برنامه های کاربردی در مهندسی نرم افزار و روش های رسمی را بررسی می کند. مقالات CCPSD به جنبه‌هایی از گرایش در مهندسی نرم‌افزار به سمت یکپارچه‌سازی و ترکیب تئوری و عمل و ادغام رویکردهای مختلف تا کنون می‌پردازد.

TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Advances in Distributed Computing (ADC) - Colloquium on Trees in Algebra and Programming (CAAP) - Colloquium on Combining Paradigms for Software Development (CCPSD) The proceedings are published in two volumes. The first volume (LNCS, Vol. 493) contains the papers from CAAP. The second volume (LNCS, Vol. 494) contains the papers from the ADC and CCPSD. The ADC talks by distinguished invited speakers surveys current developments in distributed computing, including the integration of different paradigms for concurrency, algebraic, logical and operational foundations, and applications to software engineering and formal methods. The CCPSD papers address aspects of the trend in software enginering towards unification and synthesis combining theory and practice, and merging hitherto diverse approaches.