Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Notations for Software Design

Name: Notations for Software Design
Brand: Springer, Berlin
SKU: 06807615
Price: 53.79 EUR
Availability: InStock
Author: Loe M. G. Feijs
ISBN: 9783540199021

Loe M. G. Feijs

Hans B. M. Jonkers

Cornelis A. Middelburg

Language

English

Book Paperback

Libristo code: 06807615

Publishers Springer, Berlin, October 1994

Notations for Software Design aims to explain formal specification and design to practitioners in so... Full description

Libristo code: 06807615

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Сотников (лимитированный дизайн) Василь Быков

Hardback

17.39 €

Anja e Dostoevskij a Firenze Nicoletta Manetti

Paperback

14.29 €

Mil comedias destripadas: Inventario de autores espa?oles Enrique Gallud Jardiel

Paperback

11.29 €

Commentaire Sur La Genese (1863) Armand de Mestral

Paperback

24.89 €

Kleine Schriften Zur Griechischen Literaturgeschichte Friedrich Gottlieb Welcker

Hardback

50.19 €

Educación, igualdad y diversidad cultural Manuel de Puelles Benítez

Paperback

23.39 €

Meperidina Subaracnoidea Para Cirugia Ginecobstetrica de Urgencia Rudy Hernández Ortega

Paperback

36.49 €

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.