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
Database:WorldCat
Summary:
Annotation
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:
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 1461414261 9781461414261
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 ClambdaaSH.- 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:

Brings together a selection of papers from the Forum on specification and Design Languages Conference (FDL), which was held in Southampton, UK in September 2010. This title covers the application of  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://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#Thing/electronics> ; # Electronics
   schema:about <http://experiment.worldcat.org/entity/work/data/1432343755#Thing/computer_science> ; # 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://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://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> ;
   schema:workExample <http://worldcat.org/isbn/9781461414261> ;
   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/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/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://link.springer.com/openurl?genre=book&isbn=978-1-4614-1426-1>
   rdfs:comment "Full text available from SpringerLINK eBooks - English/International Collection (2012)" ;
    .

<http://site.ebrary.com/lib/georgemason/docDetail.action?docID=10517942>
   rdfs:comment "Online resource available to Mason students, faculty, staff and onsite patrons." ;
    .

<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/9781461414261>
    a schema:ProductModel ;
   schema:isbn "1461414261" ;
   schema:isbn "9781461414261" ;
    .

<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 "2017-09-03" ;
   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.