Notations for Software Design
Overview
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.
This item is Non-Returnable
Customers Also Bought
Details
- ISBN-13: 9783540199021
- ISBN-10: 3540199020
- Publisher: Springer
- Publish Date: October 1994
- Dimensions: 9.21 x 6.14 x 0.89 inches
- Shipping Weight: 1.35 pounds
- Page Count: 425
Related Categories
