UML-B Specification for Proven Embedded Systems Design
Editat de Jean Mermeten Limba Engleză Hardback – 31 dec 1899
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 786.12 lei 38-44 zile | |
Springer Us – 3 dec 2010 | 786.12 lei 38-44 zile | |
Hardback (1) | 934.97 lei 6-8 săpt. | |
Springer Us – 31 dec 1899 | 934.97 lei 6-8 săpt. |
Preț: 934.97 lei
Preț vechi: 1140.21 lei
-18% Nou
Puncte Express: 1402
Preț estimativ în valută:
178.95€ • 186.01$ • 148.23£
178.95€ • 186.01$ • 148.23£
Carte tipărită la comandă
Livrare economică 05-19 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781402028663
ISBN-10: 1402028660
Pagini: 300
Ilustrații: IX, 300 p. 48 illus.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.7 kg
Ediția:2004
Editura: Springer Us
Colecția Springer
Locul publicării:New York, NY, United States
ISBN-10: 1402028660
Pagini: 300
Ilustrații: IX, 300 p. 48 illus.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.7 kg
Ediția:2004
Editura: Springer Us
Colecția Springer
Locul publicării:New York, NY, United States
Public țintă
Professional/practitionerCuprins
1 An Introduction to Formal Methods.- 2 Formally Unified System Specification Environment with UML, B and SystemC.- 3 Embedded System Design Using the PUSSEE Method.- 4 System Level Modelling and Refinement with EventB.- 5 The UML-B Profile for Formal Systems Modelling in UML.- 6 U2B.- 7 BHDL.- 8 Towards a Conceptual Framework for UML to Hardware Description Language Mappings.- 9 Interface-Based Synthesis Refinement in B.- 10 Refinement of Finite State Machines with Complementary Model Checking.- 11 Adaptive Cruise Control Case Study Design Experiment.- 12 Adaptive Cruise Controller Case Study.- 13 Formal Modelling of Electronic Circuits Using Event-B.- 14 The Echo Cancellation Unit Case Study.- 15 Results of the Mobile Design System Experiment.- 16 UML-B Specification and Hardware Implementation of a Hamming Coder/Decoder.- 17 The PUSSEE Method in Practice.- A1 Evaluation Criteria for Embedded System Design Methods.
Caracteristici
Presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUSSEE) Shows the success of research, as acknowledged by the European reviewers Introduces the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components