122,95 €*
Versandkostenfrei per Post / DHL
Lieferzeit 1-2 Wochen
This book presents a component-based methodology for the creation and verification of design specifications. The methodology is formally presented as an algebra called Property-Preserving Petri Net Process Algebra (PPPA). Briefly, PPPA includes five classes of operators. The authors show that every operator of PPPA can preserve a large number of basic system properties. Hence, if the initial set of primitive components satisfies some of these properties, the created components will also "automatically" satisfy them without the need of further verification. This greatly saves the efforts spent in verification.
This book presents a component-based methodology for the creation and verification of design specifications. The methodology is formally presented as an algebra called Property-Preserving Petri Net Process Algebra (PPPA). Briefly, PPPA includes five classes of operators. The authors show that every operator of PPPA can preserve a large number of basic system properties. Hence, if the initial set of primitive components satisfies some of these properties, the created components will also "automatically" satisfy them without the need of further verification. This greatly saves the efforts spent in verification.
| Erscheinungsjahr: | 2012 |
|---|---|
| Genre: | Importe, Informatik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Buch |
| ISBN-13: | 9789814324281 |
| ISBN-10: | 9814324280 |
| Sprache: | Englisch |
| Einband: | Gebunden |
| Autor: | Hejiao Huang, Li Jiao Et Al |
| Hersteller: | World Scientific |
| Verantwortliche Person für die EU: | Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de |
| Maße: | 235 x 157 x 22 mm |
| Von/Mit: | Li Jiao Et Al Hejiao Huang |
| Erscheinungsdatum: | 14.03.2012 |
| Gewicht: | 0,616 kg |
| Erscheinungsjahr: | 2012 |
|---|---|
| Genre: | Importe, Informatik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Buch |
| ISBN-13: | 9789814324281 |
| ISBN-10: | 9814324280 |
| Sprache: | Englisch |
| Einband: | Gebunden |
| Autor: | Hejiao Huang, Li Jiao Et Al |
| Hersteller: | World Scientific |
| Verantwortliche Person für die EU: | Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de |
| Maße: | 235 x 157 x 22 mm |
| Von/Mit: | Li Jiao Et Al Hejiao Huang |
| Erscheinungsdatum: | 14.03.2012 |
| Gewicht: | 0,616 kg |
Ähnliche Produkte
Lieferzeit 1-2 Wochen
Lieferzeit 2-4 Werktage
Lieferzeit 2-4 Werktage
Lieferzeit 1-2 Wochen
Lieferzeit 2-4 Werktage
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen