Notations for Software Design / Formal Approaches to Computing and Information Technology (FACIT) (PDF)
(Sprache: Englisch)
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...
It examines COLD-1, which is currently being implemented by Philips...
sofort als Download lieferbar
eBook (pdf)
Fr. 59.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Notations for Software Design / Formal Approaches to Computing and Information Technology (FACIT) (PDF)“
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.
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.
Bibliographische Angaben
- Autoren: Loe M. G. Feijs , Hans B. M. Jonkers , Cornelis A. Middelburg
- 2012, 1994, 425 Seiten, Englisch
- Verlag: Springer, London
- ISBN-10: 1447121074
- ISBN-13: 9781447121077
- Erscheinungsdatum: 06.12.2012
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 35 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Notations for Software Design / Formal Approaches to Computing and Information Technology (FACIT)"
0 Gebrauchte Artikel zu „Notations for Software Design / Formal Approaches to Computing and Information Technology (FACIT)“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Notations for Software Design / Formal Approaches to Computing and Information Technology (FACIT)".
Kommentar verfassen