| 000 -LEADER |
|---|
| fixed length control field |
04953nam a22004815i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
978-1-4020-6149-3 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20161121231153.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
100301s2007 ne | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781402061493 |
| -- |
978-1-4020-6149-3 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-1-4020-6149-3 |
| Source of number or code |
doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
TK7888.4 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
TJFC |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
TEC008010 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
621.3815 |
| Edition number |
23 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Advances in Design and Specification Languages for Embedded Systems |
| Medium |
[electronic resource] : |
| Remainder of title |
Selected Contributions from FDL'06 / |
| Statement of responsibility, etc. |
edited by Sorin A. Huss. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Dordrecht : |
| Name of producer, publisher, distributor, manufacturer |
Springer Netherlands, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2007. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
X, 358 p. |
| Other physical details |
online resource. |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| Encoding format |
PDF |
| Source |
rda |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
Embedded systems are meanwhile in the focus of industry in quite different application domains such as automotive, avionics, telecom, and consumer products. The need for a shift in design methodologies towards system level design is widely recognised and design flows aimed to an integration of software and hardware specification and implementation approaches are being developed. Standardization efforts, such as SystemC Transaction Level Modelling and Model Driven Architecture of the OMG, provide the foundations of these new design flows. Design and specification languages are of utmost interest in the area of embedded systems and the Forum on Specification and design Languages has been once again been the main European event for the embedded systems and chip design community. Advances in Design and Specification Languages for Embedded Systems 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), which took place in September 2006 at Technische Universit�t Darmstadt, Germany. FDL, an ECSI conference, is the premier European forum to present research results, to exchange experiences, and to learn about new trends in the application of specification and design languages as well as of associated design and modelling methods and tools for integrated circuits, embedded systems, and heterogeneous systems. Modelling and specification concepts push the development of new methodologies for design and verification to system level, they thus provide the means for a model-driven design of complex information processing systems in a variety of application domains. |
| 650 0# - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Engineering. |
| 650 0# - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Special purpose computers. |
| 650 0# - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Architecture, Computer. |
| 650 0# - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Programming languages (Electronic computers). |
| 650 0# - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Electronic circuits.1 |
| 650 4# - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Engineering.2 |
| 650 4# - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Circuits and Systems.2 |
| 650 4# - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Programming Languages, Compilers, Interpreters.2 |
| 650 4# - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Special Purpose and Application-Based Systems.2 |
| 650 4# - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer System Implementation.1 |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Huss, Sorin A. |
| Relator term |
editor.2 |
| 710 ## - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service)0 |
| 773 ## - HOST ITEM ENTRY |
|---|
| Title |
Springer eBooks0 |
| 776 8# - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
97814020614794 |
| 856 0# - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
http://dx.doi.org/10.1007/978-1-4020-6149-3 |
| 912 ## - |
|---|
| -- |
ZDB-2-ENG |
