Linked Data Explorerhttp://worldcat.org/entity/work/id/793929533
System specification and design languages : best of FDL'02
This title offers a selection of papers presented in the second Forum on Design Languages. Topics address as their common denominator the different application domains of system-design languages with the presentation of the up-to-date research results and design experiences.
Open All Close All
http://schema.org/about
- http://id.worldcat.org/fast/1124185
- http://id.loc.gov/authorities/subjects/sh2008112431
- http://experiment.worldcat.org/entity/work/data/793929533#Topic/llenguatges_de_descripcio_de_hardware_congressos
- http://id.worldcat.org/fast/975535
- http://experiment.worldcat.org/entity/work/data/793929533#Topic/aufsatzsammlung
- http://experiment.worldcat.org/entity/work/data/793929533#Topic/computers_logic_design
- http://experiment.worldcat.org/entity/work/data/793929533#Topic/computer_hardware
- http://id.loc.gov/authorities/subjects/sh85029476
- http://experiment.worldcat.org/entity/work/data/793929533#Topic/technology_&_engineering_electronics_circuits_logic
- http://experiment.worldcat.org/entity/work/data/793929533#Topic/electronic_books
- http://experiment.worldcat.org/entity/work/data/793929533#Topic/electronic_and_computer_engineering
- http://experiment.worldcat.org/entity/work/data/793929533#Topic/integrated_circuits_very_large_scale_integration_design_and_construction_congresses
- http://id.loc.gov/authorities/subjects/sh2008104261
- http://id.worldcat.org/fast/1141401
- http://experiment.worldcat.org/entity/work/data/793929533#Topic/special_purpose_and_application_based_systems
- http://experiment.worldcat.org/entity/work/data/793929533#Topic/technology_&_engineering_electronics_circuits_vlsi_&_ulsi
- http://experiment.worldcat.org/entity/work/data/793929533#Topic/llenguatges_de_descripcio_de_maquinari
- http://id.worldcat.org/fast/872701
- http://id.worldcat.org/fast/872153
- http://id.loc.gov/authorities/subjects/sh85042288
- http://experiment.worldcat.org/entity/work/data/793929533#Topic/circuits_integrats_a_molt_gran_escala
- http://experiment.worldcat.org/entity/work/data/793929533#Topic/integrated_circuits_very_large_scale_integration_design_and_construction
- http://id.loc.gov/authorities/subjects/sh87007398
- http://experiment.worldcat.org/entity/work/data/793929533#Topic/computer_hardware_description_languages
- http://id.worldcat.org/fast/872451
- http://id.loc.gov/authorities/subjects/sh89003285
- http://id.worldcat.org/fast/975610
- http://id.worldcat.org/fast/906956
- http://experiment.worldcat.org/entity/work/data/793929533#Topic/entwurfssprache
- http://experiment.worldcat.org/entity/work/data/793929533#Topic/schaltungsentwurf
- http://id.loc.gov/authorities/subjects/sh85029495
- http://experiment.worldcat.org/entity/work/data/793929533#Topic/computer_science
- http://id.loc.gov/authorities/subjects/sh87005550
- http://experiment.worldcat.org/entity/work/data/793929533#Topic/computer_hardware_description_languages_congresses
- http://id.worldcat.org/fast/872078
- http://id.loc.gov/authorities/subjects/sh2008104743
- http://experiment.worldcat.org/entity/work/data/793929533#Topic/computer_aided_engineering_cad_cae_and_design
- http://experiment.worldcat.org/entity/work/data/793929533#Topic/circuits_integrats_a_molt_gran_escala_disseny_i_construccio_congressos
- http://experiment.worldcat.org/entity/work/data/793929533#Topic/computing_methodologies
- http://experiment.worldcat.org/entity/work/data/793929533#Topic/integrated_circuits_congresses_very_large_scale_integration_design_and_construction
http://schema.org/alternateName
- "System specification and design language"@en
- "System specification and design language"
http://schema.org/description
- "This title offers a selection of papers presented in the second Forum on Design Languages. Topics address as their common denominator the different application domains of system-design languages with the presentation of the up-to-date research results and design experiences."@en
- "In this fourth book in the CHDL Series, a selection of the best papers presented in FDL'02 is published. System Specification and Design Languages contains outstanding research contributions in the four areas mentioned above. So, The Analog and Mixed-Signal system design contributions cover the new methodological approaches like AMS behavioral specification, mixed-signal modeling and simulation, AMS reuse and MEMs design using the new modeling languages such as VHDL-AMS, Verilog-AMS, Modelica and analog-mixed signal extensions to SystemC. 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."
http://schema.org/name
- "System specification and design languages : best of FDL'02"@en
- "System specification & design languages best of FDL̀02"
- "System Specification & Design Languages Best of FDL¿́¿02"@en
- "System specification & design languages best of FDL'02"@en
- "System Specification & Design Languages : Best of FDL'02"
- "System specification & design languages best of FDL'02"
- "System specification & design languages : best of FDL'02"
http://schema.org/workExample
- http://www.worldcat.org/oclc/475369539
- http://www.worldcat.org/oclc/896942718
- http://www.worldcat.org/oclc/853262907
- http://www.worldcat.org/oclc/553360944
- http://www.worldcat.org/oclc/614615256
- http://www.worldcat.org/oclc/907015979
- http://www.worldcat.org/oclc/836532349
- http://www.worldcat.org/oclc/704512116
- http://www.worldcat.org/oclc/818998443
- http://www.worldcat.org/oclc/751585109
- http://www.worldcat.org/oclc/754060315
- http://www.worldcat.org/oclc/51737880
- http://www.worldcat.org/oclc/839969203
- http://www.worldcat.org/oclc/517783515
- http://www.worldcat.org/oclc/803525122