skip to content
Formal specification level : concepts, methods, and algorithms Preview this item
ClosePreview this item
Checking...

Formal specification level : concepts, methods, and algorithms

Author: Mathias Soeken; Rolf Drechsler
Publisher: Cham : Springer, [2015] ©2015
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted semi-automatically  Read more...
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
Additional Physical Format: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Mathias Soeken; Rolf Drechsler
ISBN: 9783319086996 3319086995 3319086987 9783319086989
OCLC Number: 895254755
Description: 1 online resource : illustrations
Contents: Introduction --
Background --
NLP-Assisted Model Generation --
Verification of Static Aspects --
Verification of Dynamic Aspects --
Conclusions.
Responsibility: Mathias Soeken, Rofl Drechsler.

Abstract:

This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL).  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/895254755> # Formal specification level : concepts, methods, and algorithms
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "895254755" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2224034788#Topic/computers_general> ; # COMPUTERS--General
    schema:about <http://experiment.worldcat.org/entity/work/data/2224034788#Topic/embedded_computer_systems> ; # Embedded computer systems
    schema:about <http://dewey.info/class/006.35/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2224034788#Topic/computer_architecture_&_logic_design> ; # Computer architecture & logic design
    schema:about <http://experiment.worldcat.org/entity/work/data/2224034788#Topic/circuits_&_components> ; # Circuits & components
    schema:about <http://experiment.worldcat.org/entity/work/data/2224034788#Topic/natural_language_processing_computer_science> ; # Natural language processing (Computer science)
    schema:author <http://experiment.worldcat.org/entity/work/data/2224034788#Person/drechsler_rolf> ; # Rolf Drechsler
    schema:author <http://experiment.worldcat.org/entity/work/data/2224034788#Person/soeken_mathias> ; # Mathias Soeken
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "2015" ;
    schema:datePublished "2015" ;
    schema:description "Introduction -- Background -- NLP-Assisted Model Generation -- Verification of Static Aspects -- Verification of Dynamic Aspects -- Conclusions."@en ;
    schema:description "This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted semi-automatically from the textual specification in an interactive manner. The authors explain how to use these verification tasks to check conceptual properties, e.g. whether requirements are in conflict, as well as dynamic behavior, in terms of execution traces.? Serves as a single-source reference to a new level of abstraction for embedded systems, known as the Formal Specification Level (FSL);? Provides a variety of use cases which can be adapted to readers? specific design flows;? Includes a comprehensive illustration of Natural Language Processing (NLP) techniques, along with examples of how to implement and apply these techniques in the design of embedded systems."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2224034788> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/2224034788#CreativeWork/> ;
    schema:name "Formal specification level : concepts, methods, and algorithms"@en ;
    schema:productID "895254755" ;
    schema:url <http://dx.doi.org/10.1007/978-3-319-08699-6> ;
    schema:url <https://doi.org/10.1007/978-3-319-08699-6> ;
    schema:url <https://link.springer.com/book/10.1007/978-3-319-08699-6> ;
    schema:url <https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=904347> ;
    schema:url <https://link.springer.com/book/10.1007/978-3-319-08698-9> ;
    schema:url <http://site.ebrary.com/id/10986705> ;
    schema:url <http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks3/springer/2015-03-04/1/9783319086996> ;
    schema:url <https://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=1965280> ;
    schema:url <http://www.myilibrary.com?id=766344> ;
    schema:workExample <http://worldcat.org/isbn/9783319086996> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-08699-6> ;
    schema:workExample <http://worldcat.org/isbn/9783319086989> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/895254755> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2224034788#Person/drechsler_rolf> # Rolf Drechsler
    a schema:Person ;
    schema:familyName "Drechsler" ;
    schema:givenName "Rolf" ;
    schema:name "Rolf Drechsler" ;
    .

<http://experiment.worldcat.org/entity/work/data/2224034788#Person/soeken_mathias> # Mathias Soeken
    a schema:Person ;
    schema:familyName "Soeken" ;
    schema:givenName "Mathias" ;
    schema:name "Mathias Soeken" ;
    .

<http://experiment.worldcat.org/entity/work/data/2224034788#Topic/circuits_&_components> # Circuits & components
    a schema:Intangible ;
    schema:name "Circuits & components"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2224034788#Topic/computer_architecture_&_logic_design> # Computer architecture & logic design
    a schema:Intangible ;
    schema:name "Computer architecture & logic design"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/2224034788#Topic/embedded_computer_systems> # Embedded computer systems
    a schema:Intangible ;
    schema:name "Embedded computer systems"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2224034788#Topic/natural_language_processing_computer_science> # Natural language processing (Computer science)
    a schema:Intangible ;
    schema:name "Natural language processing (Computer science)"@en ;
    .

<http://worldcat.org/entity/work/data/2224034788#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/895254755> ; # Formal specification level : concepts, methods, and algorithms
    .

<http://worldcat.org/isbn/9783319086989>
    a schema:ProductModel ;
    schema:isbn "3319086987" ;
    schema:isbn "9783319086989" ;
    .

<http://worldcat.org/isbn/9783319086996>
    a schema:ProductModel ;
    schema:isbn "3319086995" ;
    schema:isbn "9783319086996" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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