System Specification & Design Languages: Best of FDL’02
Editat de Eugenio Villar, Jean Mermeten Limba Engleză Hardback – 30 apr 2003
UML is the de-facto standard for SW development covering the early development stages of requirement analysis and system specification. The UML-based system specification and design contributions address latest results on hot-topic areas such as system profiling, performance analysis and UML application to complex, HW/SW embedded systems and SoC design.C/C++-for HW/SW systems design is entering standard industrial design flows. Selected papers cover system modeling, system verification and SW generation.
The papers from the Specification Formalisms for Proven design workshop present formal methods for system modeling and design, semantic integrity and formal languages such as ALPHA, HANDLE and B.
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 964.20 lei 6-8 săpt. | |
Springer Us – 7 dec 2010 | 964.20 lei 6-8 săpt. | |
Hardback (1) | 974.74 lei 6-8 săpt. | |
Springer Us – 30 apr 2003 | 974.74 lei 6-8 săpt. |
Preț: 974.74 lei
Preț vechi: 1218.42 lei
-20% Nou
Puncte Express: 1462
Preț estimativ în valută:
186.61€ • 193.97$ • 154.72£
186.61€ • 193.97$ • 154.72£
Carte tipărită la comandă
Livrare economică 05-19 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781402074141
ISBN-10: 140207414X
Pagini: 352
Ilustrații: IX, 340 p.
Dimensiuni: 155 x 235 x 24 mm
Greutate: 0.64 kg
Ediția:2003
Editura: Springer Us
Colecția Springer
Locul publicării:New York, NY, United States
ISBN-10: 140207414X
Pagini: 352
Ilustrații: IX, 340 p.
Dimensiuni: 155 x 235 x 24 mm
Greutate: 0.64 kg
Ediția:2003
Editura: Springer Us
Colecția Springer
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
Selected Topics in Mixed-Signal Simulation.- Mixed-Signal Extensions for SystemC.- Mixed-Domain Modeling in Modelica.- VHDL-AMS and Verilog-AMS as Competitive Solutions.- VHDL-AMS in MEMS Design Flow.- A New Approach to Model Generation for Nonlinear Mixed-Signal Circuits in the Behavioral and Functional Domain.- Multi-Level Analog/Mixed-Signal IP Specification for Platform-Based Design.- A UML Profile for Real-Time System Modelling with Rate Monotonic Analysis.- Support for Embedded Systems in UML 2.0.- Embedded System Design using UML and Platforms.- A Design Methodology for the Development of a Complex System-On-Chip Using UML and Executable System Models.- Using the SHE Method for UML-Based Performance Modeling.- SystemC Code Generation from UML Models.- Hardware Dependent Software, the Bridge Between Hardware and Software.- C/C++ Based System Design Flow using SpecC, VCC and SystemC.- Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams.- Automatic Generation of Scheduled SystemC Models of Embedded Systems from Extended Task Graphs.- SystemC-Plus Complex Data Types for Telecom Applications.- A Method for the Development of Combined Floating- and Fixed-Point SystemC Models.- Object-Oriented High-Level Modeling of an Infiniband to PCI-X Bridge.- A SystemC Model for RTOS Kernel.- An Abstract Modeling Approach Towards System-Level Design-Space Exploration.- Modeling Techniques in Design-By-Refinement Methodologies.- Design of Highly Parallel Architectures with Alpha and Handel.- MTG* and Gray Box.- Specification and Refinement of Hardware Components in B.- Ensuring Semantic Integrity in Knowledge Bases for Embedded Systems.