Notations for Software Design
Produktnummer:
18f2ba43e82b53473f99154f1d1e36c2cb
| Autor: | Feijs, Loe M.G. Jonkers, Hans B.M. Middelburg, Cornelis A. |
|---|---|
| Themengebiete: | Natural Petri net Signatur Software Design Turing algorithms data structures design development formal specification |
| Veröffentlichungsdatum: | 19.10.1994 |
| EAN: | 9783540199021 |
| Sprache: | Englisch |
| Seitenzahl: | 425 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer Berlin |
Produktinformationen "Notations for Software Design"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen