Paperback. This text 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 has been 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Bestandsnummer des Verk�ufers 9783540199021

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Notations for Software Design (Paperback)
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin
Erscheinungsjahr: 1994
Sprache: Englisch
ISBN-10: 3540199020
ISBN-13: 9783540199021
Einband: Paperback
Zustand: new

�ber diesen Titel

Inhaltsangabe

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.

Rese�a del editor

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

APOLLO ONLINE CORP.
605 Geddes Street, Wilmington, DE, 19805, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

We guarantee the condition of every book as it�s described on the Abebooks web sites. If you�ve changed
your mind about a book that you�ve ordered, please use the Ask bookseller a question link to contact us
and we�ll respond within 2 business days.
Books ship from California and Michigan.

Widerrufsbelehrung

Versandbedingungen

Orders usually ship within 2 business days. All books within the US ship free of charge. Delivery is 4-14 business days anywhere in the United States.

Books ship from California and Michigan.

If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Versandkosten innerhalb von USA

Versandkosten innerhalb von USA
Bestellmenge	6 bis 16�Werktage	6 bis 14�Werktage
Erster Artikel	EUR 0.00	EUR 0.00

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.