Notations for Software Design

Notations for Software Design با هدف توضیح مشخصات و طراحی رسمی برای متخصصان توسعه نرم افزار، و تعیین اجزای یک فرآیند طراحی نرم افزار صدا است.
COLD-1 را بررسی می کند که در حال حاضر توسط فیلیپس در بسیاری از مراکز تجاری خود اجرا می شود. این واقعیت که این یک زبان با طیف گسترده است که از بسیاری از سبک های مشخصات پشتیبانی می کند، آن را به یک پایه عالی برای حجم تبدیل می کند. همچنین برخی از تکنیک‌های غیررسمی پرکاربرد، مانند نمودارهای ون و شبکه‌های پتری را بررسی می‌کند، بنابراین یک پیوند قوی بین عملکرد فعلی و آینده ایجاد می‌کند. نویسندگان به جای پیشنهاد نمادهای تصویری جدید، نمادهای موجود را در یک چارچوب منسجم قرار می دهند و راه های عملی بهره برداری از آنها را در ارتباط با COLD-1 توضیح می دهند.

Notations for Software Design aims to explain formal specification and design to practitioners in software development, and to set out the ingredients of a sound software design process.
It examines COLD-1, which is currently being implemented by Philips in many of its business centres. The fact that it is a wide-spectrum language which supports many styles of specification makes it an excellent basis for the volume. It also examines some widely-used informal techniques, such as Venn diagrams and Petri nets, thus creating a strong link between current and future practice. Rather than proposing new pictorial notations the authors place existing ones into a coherent framework, and explain practical ways of exploiting them in conjunction with COLD-1.