{"product_id":"notations-for-software-design-von-loe-m-g-feijs-hans-b-m-jonkers-cornelis-a-middelburg","title":"Notations for Software Design","description":"\n                                \n                \u003cb\u003eNotations for Software Design\u003c\/b\u003e\n                                 aims to explain formal specification and design to practitioners in software development, and to set out the ingredients of a sound software design process. \n                \n                \u003cbr\u003e\n                                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.\n            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540199021\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540199021","offer_id":39423310561373,"sku":"9783540199021","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/744be7a0-c5dc-4c7d-b9ce-60f279980197.jpg?v=1775625278","url":"https:\/\/shop.autorenwelt.de\/en\/products\/notations-for-software-design-von-loe-m-g-feijs-hans-b-m-jonkers-cornelis-a-middelburg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}