Buch, Englisch, 358 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 557 g
Selected Contributions from FDL'06
Buch, Englisch, 358 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 557 g
ISBN: 978-90-481-7549-9
Verlag: Springer Netherlands
This book is the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design Languages (FDL'06), in September 2006. The book represents the state-of-the-art in research and practice, and it identifies new research directions. It highlights the role of specification and modelling languages, and presents practical experiences with specification and modelling languages.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Bauelemente, Schaltkreise
- Mathematik | Informatik EDV | Informatik Technische Informatik Systemverwaltung & Management
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmier- und Skriptsprachen
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Prozedurale Programmierung
Weitere Infos & Material
Analog, Mixed-Signal, and Heterogeneous System Design.- Compact Modeling of Emerging Technologies with VHDL-AMS.- Baseband Modeling Using Multidimensional Networks in VHDL-AMS.- Verification-Oriented Behavioral Modeling of NonLinear Analog Parts of Mixed-Signal Circuits.- Improving Efficiency and Robustness of Analog Behavioral Models.- ModelLib: A Web-Based Platform for Collecting Behavioural Models and Supporting the Design of AMS Systems.- C/C++-Based System Design.- The Quiny SystemCTM Front End: Self-Synthesising Designs.- Mining Metadata from SystemC IP Library.- Nonintrusive High-level SystemC Debugging.- Transaction-Level Modeling in Communication Engine Design: A Case Study.- Object-Oriented Transaction-Level Modelling.- Formalisms for Property-Driven Design.- An Efficient Synthesis Method for Property-Based Design in Formal Verification: On Consistency and Completeness of Property-Sets.- Online Monitoring of Properties Built on Regular Expressions Sequences.- Observer-BasedVerification Using Introspection: A System-level Verification Implementation.- Formalizing TLM with Communicating State Machines.- Different Kinds of System Descriptions as Synchronous Programs.- UML-Based System Specification and Design.- A Model-driven Co-design Flow for Embedded Systems.- A Method for Mobile Terminal Platform Architecture Development.- UML2 Profile for Modeling Controlled Data Parallel Applications.- MCF: A Metamodeling-based Visual Component Composition Framework.- Reusing Systems Design Experience Through Modelling Patterns.
