skip to content
System specification and design languages : selected contributions from FDL 2010 Preview this item
ClosePreview this item
Checking...

System specification and design languages : selected contributions from FDL 2010

Author: Thomas J Kaźmierski; Adam Morawiec
Publisher: New York, NY : Springer, ©2012.
Series: Lecture notes in electrical engineering, v. 106.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
Annotation
Rating:

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

Subjects
More like this

 

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:
Kaźmierski, Tom J.
System Specification and Design Languages : Selected Contributions from FDL 2010
New York, NY : Springer New York,c2011
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Thomas J Kaźmierski; Adam Morawiec
ISBN: 9781461414278 146141427X
OCLC Number: 768225111
Description: 1 online resource (xii, 254 pages).
Contents: Formal Hardware/Software Co-verification of Application Specific Instruction Set Processors.- Evaluating Debugging Algorithms from a Qualitative Perspective.- Mapping of Concurrent Object-oriented Models to Extend Real-time Task Networks.- SystemC-A Modelling of Mixed-technology Systems with Distributed Behaviour.- A Framework for Interactive Refinement of Mixed HW/SW/Analog Systems.- Bottom-up Verification for CMOS Photonic Linear Heterogeneous System.- Towards Abstract Analysis Techniques for Range Based System Simulations.- Modeling Time-triggered Architecture Based Real-time Systems Using SystemC.- Towards the Development of a Set of Transaction Level Models - A Feature-oriented Approach.- Rapid Prototyping of Complex HW/SW Systems Using a Timing and Power Aware ESL Framework.- Towards Accurate Source-level Annotation of Low-level Properties Obtained from Optimized Binary Code.- Architecture Specifications in CλaSH.- SyReC: A Programming Language for Synthesis of Reversible Circuits.- Logical Time @ Work: Capturing Data Dependencies and Platform Constraints.- Formal Support for Untimed MARTE-SystemC Interoperability.
Series Title: Lecture notes in electrical engineering, v. 106.
Responsibility: Tom J. Kaźmierski, Adam Morawiec, editors.

Abstract:

This book brings together a selection of the best papers from the thirteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in Southampton, UK in  Read more...

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/768225111> # System specification and design languages selected contributions from FDL 2010
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "768225111" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1432343755#Place/new_york_ny> ; # New York, NY
    schema:about <http://experiment.worldcat.org/entity/work/data/1432343755#Topic/computer_hardware_description_languages> ; # Computer Hardware Description Languages
    schema:about <http://experiment.worldcat.org/entity/work/data/1432343755#Topic/integrated_circuits_very_large_scale_integration> ; # Integrated Circuits--Very Large Scale Integration
    schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
    schema:about <http://id.loc.gov/authorities/subjects/sh2004001071> ; # Software architecture
    schema:about <http://experiment.worldcat.org/entity/work/data/1432343755#Topic/computers_information_technology> ; # COMPUTERS / Information Technology
    schema:about <http://dewey.info/class/004.0151/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1432343755#Thing/systems_engineering> ; # Systems engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/1432343755#Thing/circuits_and_systems> ; # Circuits and Systems
    schema:about <http://experiment.worldcat.org/entity/work/data/1432343755#Thing/engineering> ; # Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/1432343755#Topic/computers_hardware_general> ; # COMPUTERS / Hardware / General
    schema:about <http://experiment.worldcat.org/entity/work/data/1432343755#Thing/electronics> ; # Electronics
    schema:about <http://experiment.worldcat.org/entity/work/data/1432343755#Thing/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/1432343755#Topic/computers_reference> ; # COMPUTERS / Reference
    schema:about <http://experiment.worldcat.org/entity/work/data/1432343755#Topic/computers_machine_theory> ; # COMPUTERS / Machine Theory
    schema:about <http://experiment.worldcat.org/entity/work/data/1432343755#Topic/computers_computer_literacy> ; # COMPUTERS / Computer Literacy
    schema:about <http://experiment.worldcat.org/entity/work/data/1432343755#Topic/computers_computer_science> ; # COMPUTERS / Computer Science
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/1432343755#Thing/electronics_and_microelectronics_instrumentation> ; # Electronics and Microelectronics, Instrumentation
    schema:about <http://id.worldcat.org/fast/1200416> ; # Software architecture
    schema:about <http://experiment.worldcat.org/entity/work/data/1432343755#Topic/software_engineering> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/1432343755#Topic/computers_data_processing> ; # COMPUTERS / Data Processing
    schema:about <http://id.worldcat.org/fast/872604> ; # Computer software--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/1432343755#Thing/processor_architectures> ; # Processor Architectures
    schema:about <http://experiment.worldcat.org/entity/work/data/1432343755#Topic/computer_software_verification> ; # Computer software--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/1432343755#Topic/ingenierie> ; # Ingénierie
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1432343755#Meeting/fdl_2010_2010_southampton_england> ; # FDL 2010 (2010 : Southampton, England)
    schema:contributor <http://viaf.org/viaf/172783900> ; # Thomas J. Kaźmierski
    schema:contributor <http://viaf.org/viaf/42888845> ; # Adam Morawiec
    schema:copyrightYear "2012" ;
    schema:datePublished "2012" ;
    schema:description "Annotation"@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1432343755> ;
    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/1432343755#Series/lecture_notes_in_electrical_engineering> ; # Lecture notes in electrical engineering ;
    schema:isPartOf <http://worldcat.org/issn/1876-1100> ; # Lecture notes in electrical engineering,
    schema:isSimilarTo <http://worldcat.org/entity/work/data/1432343755#CreativeWork/system_specification_and_design_languages_selected_contributions_from_fdl_2010> ;
    schema:name "System specification and design languages selected contributions from FDL 2010"@en ;
    schema:productID "768225111" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/768225111#PublicationEvent/new_york_ny_springer_2012> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1432343755#Agent/springer> ; # Springer
    schema:url <http://site.ebrary.com/lib/georgemason/docDetail.action?docID=10517942> ;
    schema:url <http://dx.doi.org/10.1007/978-1-4614-1427-8> ;
    schema:url <http://www.myilibrary.com?id=344412> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1244862> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-1-4614-1426-1> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-1-4614-1426-1> ;
    schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=4418670> ;
    schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://dx.doi.org/10.1007/978-1-4614-1427-8> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=884255> ;
    schema:url <http://site.ebrary.com/id/10517942> ;
    schema:workExample <http://worldcat.org/isbn/9781461414278> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/768225111> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1432343755#Place/southampton_england> # Southampton, England)
    a schema:Place ;
    schema:name "Southampton, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1432343755#Series/lecture_notes_in_electrical_engineering> # Lecture notes in electrical engineering ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/768225111> ; # System specification and design languages selected contributions from FDL 2010
    schema:name "Lecture notes in electrical engineering ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1432343755#Thing/circuits_and_systems> # Circuits and Systems
    a schema:Thing ;
    schema:name "Circuits and Systems" ;
    .

<http://experiment.worldcat.org/entity/work/data/1432343755#Thing/computer_science> # Computer science
    a schema:Thing ;
    schema:name "Computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/1432343755#Thing/electronics_and_microelectronics_instrumentation> # Electronics and Microelectronics, Instrumentation
    a schema:Thing ;
    schema:name "Electronics and Microelectronics, Instrumentation" ;
    .

<http://experiment.worldcat.org/entity/work/data/1432343755#Thing/processor_architectures> # Processor Architectures
    a schema:Thing ;
    schema:name "Processor Architectures" ;
    .

<http://experiment.worldcat.org/entity/work/data/1432343755#Thing/systems_engineering> # Systems engineering
    a schema:Thing ;
    schema:name "Systems engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/1432343755#Topic/computer_hardware_description_languages> # Computer Hardware Description Languages
    a schema:Intangible ;
    schema:name "Computer Hardware Description Languages"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1432343755#Topic/computers_computer_literacy> # COMPUTERS / Computer Literacy
    a schema:Intangible ;
    schema:name "COMPUTERS / Computer Literacy"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1432343755#Topic/computers_computer_science> # COMPUTERS / Computer Science
    a schema:Intangible ;
    schema:name "COMPUTERS / Computer Science"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1432343755#Topic/computers_data_processing> # COMPUTERS / Data Processing
    a schema:Intangible ;
    schema:name "COMPUTERS / Data Processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1432343755#Topic/computers_hardware_general> # COMPUTERS / Hardware / General
    a schema:Intangible ;
    schema:name "COMPUTERS / Hardware / General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1432343755#Topic/computers_information_technology> # COMPUTERS / Information Technology
    a schema:Intangible ;
    schema:name "COMPUTERS / Information Technology"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1432343755#Topic/computers_machine_theory> # COMPUTERS / Machine Theory
    a schema:Intangible ;
    schema:name "COMPUTERS / Machine Theory"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1432343755#Topic/computers_reference> # COMPUTERS / Reference
    a schema:Intangible ;
    schema:name "COMPUTERS / Reference"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1432343755#Topic/integrated_circuits_very_large_scale_integration> # Integrated Circuits--Very Large Scale Integration
    a schema:Intangible ;
    schema:name "Integrated Circuits--Very Large Scale Integration"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh2004001071> # Software architecture
    a schema:Intangible ;
    schema:name "Software architecture"@en ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    .

<http://id.worldcat.org/fast/1200416> # Software architecture
    a schema:Intangible ;
    schema:name "Software architecture"@en ;
    .

<http://id.worldcat.org/fast/872604> # Computer software--Verification
    a schema:Intangible ;
    schema:name "Computer software--Verification"@en ;
    .

<http://id.worldcat.org/fast/932926> # Formal methods (Computer science)
    a schema:Intangible ;
    schema:name "Formal methods (Computer science)"@en ;
    .

<http://viaf.org/viaf/172783900> # Thomas J. Kaźmierski
    a schema:Person ;
    schema:familyName "Kaźmierski" ;
    schema:givenName "Thomas J." ;
    schema:name "Thomas J. Kaźmierski" ;
    .

<http://viaf.org/viaf/42888845> # Adam Morawiec
    a schema:Person ;
    schema:familyName "Morawiec" ;
    schema:givenName "Adam" ;
    schema:name "Adam Morawiec" ;
    .

<http://worldcat.org/entity/work/data/1432343755#CreativeWork/system_specification_and_design_languages_selected_contributions_from_fdl_2010>
    a schema:CreativeWork ;
    rdfs:label "System Specification and Design Languages : Selected Contributions from FDL 2010" ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/768225111> ; # System specification and design languages selected contributions from FDL 2010
    .

<http://worldcat.org/isbn/9781461414278>
    a schema:ProductModel ;
    schema:isbn "146141427X" ;
    schema:isbn "9781461414278" ;
    .

<http://worldcat.org/issn/1876-1100> # Lecture notes in electrical engineering,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/768225111> ; # System specification and design languages selected contributions from FDL 2010
    schema:issn "1876-1100" ;
    schema:name "Lecture notes in electrical engineering," ;
    .

<http://www.worldcat.org/title/-/oclc/768225111>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/768225111> ; # System specification and design languages selected contributions from FDL 2010
    schema:dateModified "2018-01-09" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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