System Specification & Design Languages: Best of FDL’02
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...
Gespeichert in:
Weitere Verfasser: | , |
---|---|
Format: | Elektronisch E-Book |
Sprache: | English |
Veröffentlicht: |
New York, NY
Springer US
2003
|
Ausgabe: | 1st ed. 2003 |
Schlagworte: | |
Online-Zugang: | UBY01 Volltext |
Zusammenfassung: | 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. |
Beschreibung: | 1 Online-Ressource (IX, 340 p) |
ISBN: | 9780306487347 |
DOI: | 10.1007/b105967 |
Internformat
MARC
LEADER | 00000nmm a2200000zc 4500 | ||
---|---|---|---|
001 | BV047063996 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
007 | cr|uuu---uuuuu | ||
008 | 201216s2003 |||| o||u| ||||||eng d | ||
020 | |a 9780306487347 |9 978-0-306-48734-7 | ||
024 | 7 | |a 10.1007/b105967 |2 doi | |
035 | |a (ZDB-2-SCS)978-0-306-48734-7 | ||
035 | |a (OCoLC)1227480789 | ||
035 | |a (DE-599)BVBBV047063996 | ||
040 | |a DE-604 |b ger |e aacr | ||
041 | 0 | |a eng | |
049 | |a DE-706 | ||
082 | 0 | |a 005.13 |2 23 | |
084 | |a ZN 4904 |0 (DE-625)157419: |2 rvk | ||
245 | 1 | 0 | |a System Specification & Design Languages |b Best of FDL’02 |c edited by Eugenio Villar, Jean Mermet |
250 | |a 1st ed. 2003 | ||
264 | 1 | |a New York, NY |b Springer US |c 2003 | |
300 | |a 1 Online-Ressource (IX, 340 p) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
520 | |a 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. | ||
650 | 4 | |a Programming Languages, Compilers, Interpreters | |
650 | 4 | |a Theory of Computation | |
650 | 4 | |a Computer Hardware | |
650 | 4 | |a Artificial Intelligence | |
650 | 4 | |a Computer-Aided Engineering (CAD, CAE) and Design | |
650 | 4 | |a Electrical Engineering | |
650 | 4 | |a Programming languages (Electronic computers) | |
650 | 4 | |a Computers | |
650 | 4 | |a Computer hardware | |
650 | 4 | |a Artificial intelligence | |
650 | 4 | |a Computer-aided engineering | |
650 | 4 | |a Electrical engineering | |
650 | 0 | 7 | |a Schaltungsentwurf |0 (DE-588)4179389-4 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Entwurfssprache |0 (DE-588)4295335-2 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
689 | 0 | 0 | |a Schaltungsentwurf |0 (DE-588)4179389-4 |D s |
689 | 0 | 1 | |a Entwurfssprache |0 (DE-588)4295335-2 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Villar, Eugenio |4 edt | |
700 | 1 | |a Mermet, Jean |4 edt | |
776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781441953483 |
776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781402074141 |
776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781475778106 |
856 | 4 | 0 | |u https://doi.org/10.1007/b105967 |x Verlag |z URL des Eerstveröffentlichers |3 Volltext |
912 | |a ZDB-2-SCS | ||
940 | 1 | |q ZDB-2-SCS_2000/2004 | |
999 | |a oai:aleph.bib-bvb.de:BVB01-032471108 | ||
966 | e | |u https://doi.org/10.1007/b105967 |l UBY01 |p ZDB-2-SCS |q ZDB-2-SCS_2000/2004 |x Verlag |3 Volltext |
Datensatz im Suchindex
_version_ | 1804182061461798912 |
---|---|
adam_txt | |
any_adam_object | |
any_adam_object_boolean | |
author2 | Villar, Eugenio Mermet, Jean |
author2_role | edt edt |
author2_variant | e v ev j m jm |
author_facet | Villar, Eugenio Mermet, Jean |
building | Verbundindex |
bvnumber | BV047063996 |
classification_rvk | ZN 4904 |
collection | ZDB-2-SCS |
ctrlnum | (ZDB-2-SCS)978-0-306-48734-7 (OCoLC)1227480789 (DE-599)BVBBV047063996 |
dewey-full | 005.13 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 005 - Computer programming, programs, data, security |
dewey-raw | 005.13 |
dewey-search | 005.13 |
dewey-sort | 15.13 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik Elektrotechnik / Elektronik / Nachrichtentechnik |
discipline_str_mv | Informatik Elektrotechnik / Elektronik / Nachrichtentechnik |
doi_str_mv | 10.1007/b105967 |
edition | 1st ed. 2003 |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03630nmm a2200649zc 4500</leader><controlfield tag="001">BV047063996</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">201216s2003 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780306487347</subfield><subfield code="9">978-0-306-48734-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/b105967</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-0-306-48734-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1227480789</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047063996</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZN 4904</subfield><subfield code="0">(DE-625)157419:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">System Specification & Design Languages</subfield><subfield code="b">Best of FDL’02</subfield><subfield code="c">edited by Eugenio Villar, Jean Mermet</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2003</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Springer US</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (IX, 340 p)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Hardware</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer-Aided Engineering (CAD, CAE) and Design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electrical Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer hardware</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer-aided engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electrical engineering</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Schaltungsentwurf</subfield><subfield code="0">(DE-588)4179389-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entwurfssprache</subfield><subfield code="0">(DE-588)4295335-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Schaltungsentwurf</subfield><subfield code="0">(DE-588)4179389-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Entwurfssprache</subfield><subfield code="0">(DE-588)4295335-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Villar, Eugenio</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mermet, Jean</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781441953483</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781402074141</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781475778106</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/b105967</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Eerstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032471108</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b105967</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="q">ZDB-2-SCS_2000/2004</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift gnd-content (DE-588)4143413-4 Aufsatzsammlung gnd-content |
genre_facet | Konferenzschrift Aufsatzsammlung |
id | DE-604.BV047063996 |
illustrated | Not Illustrated |
index_date | 2024-07-03T16:12:21Z |
indexdate | 2024-07-10T09:01:34Z |
institution | BVB |
isbn | 9780306487347 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032471108 |
oclc_num | 1227480789 |
open_access_boolean | |
owner | DE-706 |
owner_facet | DE-706 |
physical | 1 Online-Ressource (IX, 340 p) |
psigel | ZDB-2-SCS ZDB-2-SCS_2000/2004 ZDB-2-SCS ZDB-2-SCS_2000/2004 |
publishDate | 2003 |
publishDateSearch | 2003 |
publishDateSort | 2003 |
publisher | Springer US |
record_format | marc |
spelling | System Specification & Design Languages Best of FDL’02 edited by Eugenio Villar, Jean Mermet 1st ed. 2003 New York, NY Springer US 2003 1 Online-Ressource (IX, 340 p) txt rdacontent c rdamedia cr rdacarrier 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. Programming Languages, Compilers, Interpreters Theory of Computation Computer Hardware Artificial Intelligence Computer-Aided Engineering (CAD, CAE) and Design Electrical Engineering Programming languages (Electronic computers) Computers Computer hardware Artificial intelligence Computer-aided engineering Electrical engineering Schaltungsentwurf (DE-588)4179389-4 gnd rswk-swf Entwurfssprache (DE-588)4295335-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content (DE-588)4143413-4 Aufsatzsammlung gnd-content Schaltungsentwurf (DE-588)4179389-4 s Entwurfssprache (DE-588)4295335-2 s DE-604 Villar, Eugenio edt Mermet, Jean edt Erscheint auch als Druck-Ausgabe 9781441953483 Erscheint auch als Druck-Ausgabe 9781402074141 Erscheint auch als Druck-Ausgabe 9781475778106 https://doi.org/10.1007/b105967 Verlag URL des Eerstveröffentlichers Volltext |
spellingShingle | System Specification & Design Languages Best of FDL’02 Programming Languages, Compilers, Interpreters Theory of Computation Computer Hardware Artificial Intelligence Computer-Aided Engineering (CAD, CAE) and Design Electrical Engineering Programming languages (Electronic computers) Computers Computer hardware Artificial intelligence Computer-aided engineering Electrical engineering Schaltungsentwurf (DE-588)4179389-4 gnd Entwurfssprache (DE-588)4295335-2 gnd |
subject_GND | (DE-588)4179389-4 (DE-588)4295335-2 (DE-588)1071861417 (DE-588)4143413-4 |
title | System Specification & Design Languages Best of FDL’02 |
title_auth | System Specification & Design Languages Best of FDL’02 |
title_exact_search | System Specification & Design Languages Best of FDL’02 |
title_exact_search_txtP | System Specification & Design Languages Best of FDL’02 |
title_full | System Specification & Design Languages Best of FDL’02 edited by Eugenio Villar, Jean Mermet |
title_fullStr | System Specification & Design Languages Best of FDL’02 edited by Eugenio Villar, Jean Mermet |
title_full_unstemmed | System Specification & Design Languages Best of FDL’02 edited by Eugenio Villar, Jean Mermet |
title_short | System Specification & Design Languages |
title_sort | system specification design languages best of fdl 02 |
title_sub | Best of FDL’02 |
topic | Programming Languages, Compilers, Interpreters Theory of Computation Computer Hardware Artificial Intelligence Computer-Aided Engineering (CAD, CAE) and Design Electrical Engineering Programming languages (Electronic computers) Computers Computer hardware Artificial intelligence Computer-aided engineering Electrical engineering Schaltungsentwurf (DE-588)4179389-4 gnd Entwurfssprache (DE-588)4295335-2 gnd |
topic_facet | Programming Languages, Compilers, Interpreters Theory of Computation Computer Hardware Artificial Intelligence Computer-Aided Engineering (CAD, CAE) and Design Electrical Engineering Programming languages (Electronic computers) Computers Computer hardware Artificial intelligence Computer-aided engineering Electrical engineering Schaltungsentwurf Entwurfssprache Konferenzschrift Aufsatzsammlung |
url | https://doi.org/10.1007/b105967 |
work_keys_str_mv | AT villareugenio systemspecificationdesignlanguagesbestoffdl02 AT mermetjean systemspecificationdesignlanguagesbestoffdl02 |