skip to content
System specification & design languages : best of FDL'02 Preview this item
ClosePreview this item
Checking...

System specification & design languages : best of FDL'02

Author: Eugenio Villar; Jean P Mermet
Publisher: Boston : Kluwer Academic Publishers, ©2003.
Series: ChDL series.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Part of the "CHDL Series", this work features a selection of the best papers presented in FDL'02. It contains papers from the Specification Formalisms for Proven design workshop that present formal  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
System specification & design languages.
Boston : Kluwer Academic Publishers, ©2003
(DLC) 2003047401
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Eugenio Villar; Jean P Mermet
ISBN: 0306487349 9780306487347 9781402074141 140207414X
OCLC Number: 614615256
Description: 1 online resource (viii, 340 pages) : illustrations.
Contents: Contributing Authors. Preface. Part I: Analog and Mixed-Signal System Design. Selected Topics in Mixed-Signal Simulation; E. Christen. Mixed-Signal Extensions for SystemC; K. Einwich, P. Schwarz, C. Grimm, K. Waldschmidt. Mixed Modeling in Modelica; C. Clauss, H. Elmqvist, S.E. Mattsson, M. Otter, P. Schwarz. VHDL-AMS and Verilog-AMS as Competitive Solutions; F. Pecheux, C. Lallement. VHDL-AMS in MEMS Design Flow; J. Haase, J. Bastian, S. Reitz. A new approach to model generation for nonlinear mixed-signal circuits in the behavioral and functional domain; R. Rosenberger, S.A. Huss. Multi-Level Analog/Mixed-Signal IP Specification for Platform Based Design; N. Martinez Madrid, A. Acosta Fernandez, F. Ruiz Moreno, R. Seepold. Part II: UML System Specification and Design. A UML Profile for Real-Time System Modelling with Rate-Monotonic Analysis; J. Oliver. Support for Embedded Systems IN UML 2.0; M. Bjorkander, C. Kobryn. Embedded System Design Using UML and Platforms; Rong Chen, M. Sgroi, L. Lavagno, G. Martin, A. Sangiovanni-Vincentelli, J. Rabaey. A Design Methodology for the Development of a Complex System-on-Chip using UML and Executable System Models; M. Pauwels, Y. Vanderperren, G. Sonck, P. van Oostende, W. Dehaene, T. Moore. Using the SHE Method for UML-based Performance Modeling; B.D. Theelen, P.H.A. van der Putten, J.P.M. Voeten. SystemC code generation from UML models; L. Baresi, F. Bruschi, E. Di Nitto, D. Sciuto. Hardware dependent Software, the Bridge between Hardware and Software; R. Marichal, G. de Jong, P. van der Putten, J. van Sas. Part III: C/C++-Based System Design. C/C++ Based System Design How Using SpecC, VCC and SystemC;L. Cai, M. Olivarez, P. Kritzinger, D. Gajski. Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams; T. Sakunkonchak, M. Fujita. Automatic Generation of Scheduled SystemC Models of Embedded Systems from Extended Task Graphs; S. Klaus, S.A. Huss, T. Trautmann. SystemC-Plus Complex Data Types for Telecom Applications; M. Bombana, W. Fornaciari, L. Pomante. A Method for the Development of Combined Floating- and Fixed Point SystemC Models; Y. Vanderperren, W. Dehaene, M. Pauwels. Object-Oriented High-Level Modeling of an InfiniBand to PCI-X Bridge; O. Lachish, A. Ziv. A SystemC Model for RTOS Kernel; M. Abdel Salam, A. Salem. Part IV: Specification Formalisms for Proven Design. An Abstract Modeling Approach Towards System-Level Design-Space Exploration; F.N. van Wijk, J.P.M. Voeten, A.J.W.M. ten Berg. Modeling Techniques in Design-by-Refinement Methodologies; J.R. Burch, R. Passerone, A.L. Sangiovanni-Vincentelli. Design of Highly Parallel Architectures with Alpha and Handel; F. de Dinechin, M. Manjunathaiah, T. Risset, M. Spivey. MTG* and Gray Box; S. Himpe, G. Deconinck, F. Catthoor, J. van Meerbergen. Specification and Refinement of Hardware Components in B; S. Hallerstede. Ensuring semantic integrity in knowledge bases for embedded systems; D. Monjau, M. Sporer.
Series Title: ChDL series.
Other Titles: System specification and design language
Responsibility: edited by Eugenio Villar, Jean Mermet.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/614615256> # System specification & design languages : best of FDL'02
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "614615256" ;
    library:placeOfPublication <http://dbpedia.org/resource/Boston> ; # Boston
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    schema:about <http://dewey.info/class/621.395/e21/> ;
    schema:about <http://id.loc.gov/authorities/subjects/sh87005550> ; # Computer hardware description languages
    schema:about <http://experiment.worldcat.org/entity/work/data/793929533#Thing/andre_fag_naturvidenskab_og_teknik> ; # Andre fag (naturvidenskab og teknik)
    schema:about <http://experiment.worldcat.org/entity/work/data/793929533#Topic/computers_logic_design> ; # COMPUTERS--Logic Design
    schema:about <http://experiment.worldcat.org/entity/work/data/793929533#Topic/technology_&_engineering_electronics_circuits_vlsi_&_ulsi> ; # TECHNOLOGY & ENGINEERING--Electronics--Circuits--VLSI & ULSI
    schema:about <http://id.worldcat.org/fast/872153> ; # Computer hardware description languages
    schema:about <http://experiment.worldcat.org/entity/work/data/793929533#Topic/integrated_circuits_very_large_scale_integration_design_and_construction> ; # Integrated circuits--Very large scale integration--Design and construction
    schema:about <http://id.worldcat.org/fast/975610> ; # Integrated circuits--Very large scale integration--Design and construction
    schema:about <http://experiment.worldcat.org/entity/work/data/793929533#Topic/technology_&_engineering_electronics_circuits_logic> ; # TECHNOLOGY & ENGINEERING--Electronics--Circuits--Logic
    schema:alternateName "System specification and design language" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/793929533#Person/villar_eugenio> ; # Eugenio Villar
    schema:contributor <http://viaf.org/viaf/121828837> ; # Jean P. Mermet
    schema:copyrightYear "2003" ;
    schema:datePublished "2003" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/793929533> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/793929533#Series/chdl_series> ; # ChDL series.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/793929533#Series/the_chdl_series> ; # The ChDL series
    schema:isSimilarTo <http://worldcat.org/entity/work/data/793929533#CreativeWork/system_specification_&_design_languages> ;
    schema:name "System specification & design languages : best of FDL'02"@en ;
    schema:productID "614615256" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/614615256#PublicationEvent/boston_kluwer_academic_publishers_2003> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/793929533#Agent/kluwer_academic_publishers> ; # Kluwer Academic Publishers
    schema:url <http://site.ebrary.com/id/10069610> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=119126> ;
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy0820/2003047401-t.html> ;
    schema:workExample <http://worldcat.org/isbn/9781402074141> ;
    schema:workExample <http://worldcat.org/isbn/9780306487347> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/614615256> ;
    .


Related Entities

<http://dbpedia.org/resource/Boston> # Boston
    a schema:Place ;
    schema:name "Boston" ;
    .

<http://experiment.worldcat.org/entity/work/data/793929533#Agent/kluwer_academic_publishers> # Kluwer Academic Publishers
    a bgn:Agent ;
    schema:name "Kluwer Academic Publishers" ;
    .

<http://experiment.worldcat.org/entity/work/data/793929533#Person/villar_eugenio> # Eugenio Villar
    a schema:Person ;
    schema:familyName "Villar" ;
    schema:givenName "Eugenio" ;
    schema:name "Eugenio Villar" ;
    .

<http://experiment.worldcat.org/entity/work/data/793929533#Series/chdl_series> # ChDL series.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/614615256> ; # System specification & design languages : best of FDL'02
    schema:name "ChDL series." ;
    .

<http://experiment.worldcat.org/entity/work/data/793929533#Series/the_chdl_series> # The ChDL series
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/614615256> ; # System specification & design languages : best of FDL'02
    schema:name "The ChDL series" ;
    .

<http://experiment.worldcat.org/entity/work/data/793929533#Thing/andre_fag_naturvidenskab_og_teknik> # Andre fag (naturvidenskab og teknik)
    a schema:Thing ;
    schema:name "Andre fag (naturvidenskab og teknik)" ;
    .

<http://experiment.worldcat.org/entity/work/data/793929533#Topic/computers_logic_design> # COMPUTERS--Logic Design
    a schema:Intangible ;
    schema:name "COMPUTERS--Logic Design"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/793929533#Topic/integrated_circuits_very_large_scale_integration_design_and_construction> # Integrated circuits--Very large scale integration--Design and construction
    a schema:Intangible ;
    rdfs:seeAlso <http://id.loc.gov/authorities/subjects/sh2008104743> ;
    schema:name "Integrated circuits--Very large scale integration--Design and construction"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/793929533#Topic/technology_&_engineering_electronics_circuits_logic> # TECHNOLOGY & ENGINEERING--Electronics--Circuits--Logic
    a schema:Intangible ;
    schema:name "TECHNOLOGY & ENGINEERING--Electronics--Circuits--Logic"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/793929533#Topic/technology_&_engineering_electronics_circuits_vlsi_&_ulsi> # TECHNOLOGY & ENGINEERING--Electronics--Circuits--VLSI & ULSI
    a schema:Intangible ;
    schema:name "TECHNOLOGY & ENGINEERING--Electronics--Circuits--VLSI & ULSI"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh87005550> # Computer hardware description languages
    a schema:Intangible ;
    schema:name "Computer hardware description languages"@en ;
    .

<http://id.worldcat.org/fast/872153> # Computer hardware description languages
    a schema:Intangible ;
    schema:name "Computer hardware description languages"@en ;
    .

<http://id.worldcat.org/fast/975610> # Integrated circuits--Very large scale integration--Design and construction
    a schema:Intangible ;
    schema:name "Integrated circuits--Very large scale integration--Design and construction"@en ;
    .

<http://viaf.org/viaf/121828837> # Jean P. Mermet
    a schema:Person ;
    schema:familyName "Mermet" ;
    schema:givenName "Jean P." ;
    schema:name "Jean P. Mermet" ;
    .

<http://worldcat.org/entity/work/data/793929533#CreativeWork/system_specification_&_design_languages>
    a schema:CreativeWork ;
    rdfs:label "System specification & design languages." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/614615256> ; # System specification & design languages : best of FDL'02
    .

<http://worldcat.org/isbn/9780306487347>
    a schema:ProductModel ;
    schema:isbn "0306487349" ;
    schema:isbn "9780306487347" ;
    .

<http://worldcat.org/isbn/9781402074141>
    a schema:ProductModel ;
    schema:isbn "140207414X" ;
    schema:isbn "9781402074141" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.