Contact
Hoe winkelen bij ons werkt
Bezorging
Winkelgids
Property-preserving Petri Net Process Algebra In Software Engineering
Engels
292 b
Tot 30 dagen retourrecht
Klanten kochten ook
/
Gebonden (paperback)
22.59
€
/
Gebonden (paperback)
18.43
€
/
Gebonden (harde band)
119.38
€
/
Gebonden (paperback)
16.21
€
In a component-based approach for system design, one of the difficult problems is how to prove the correctness of the created components. Usually, the constituent components are supposed to be correct, i.e., possessing the desirable properties and being free from undesirable ones. However, the operators may destroy these properties or create new ones, resulting in an undesirable new component. Hence, every created component has to go through a new process of verification. This indeed involves a tremendous amount of effort! 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.
Informatie over het boek
Engels
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvangerDit vind je misschien ook interessant
/
Gebonden (harde band)
115.73
€
/
Gebonden (harde band)
42.15
€
/
Gebonden (paperback)
17.22
€
/
Gebonden (paperback)
25.12
€
/
Gebonden (paperback)
94.34
€
/
Gebonden (harde band)
40.12
€
