eBook
Προβολή σε EDS

Automatic Methods for the Refinement of System Models

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Automatic Methods for the Refinement of System Models
Περιγραφή: This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two “directions” for refinement: Vertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated descriptions for structure or behavior. The discussion includes several methods which support designers of electronic systems in this refinement process, including verification methods to check automatically whether a refinement has been conducted as intended.
Συγγραφείς: Julia Seiter, Robert Wille, Rolf Drechsler
Resource Type: eBook.
Θέματα: System design--Data processing
Categories: TECHNOLOGY & ENGINEERING / Electronics / Circuits / General, COMPUTERS / Computer Architecture, TECHNOLOGY & ENGINEERING / Electronics / General
Βάση Δεδομένων: eBook Index
FullText Text:
  Availability: 0
Header DbId: edsebk
DbLabel: eBook Index
An: 1242713
RelevancyScore: 925
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 924.640747070313
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Automatic Methods for the Refinement of System Models
– Name: Abstract
  Label: Description
  Group: Ab
  Data: This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two “directions” for refinement: Vertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated descriptions for structure or behavior. The discussion includes several methods which support designers of electronic systems in this refinement process, including verification methods to check automatically whether a refinement has been conducted as intended.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Julia+Seiter%22">Julia Seiter</searchLink><br /><searchLink fieldCode="AR" term="%22Robert+Wille%22">Robert Wille</searchLink><br /><searchLink fieldCode="AR" term="%22Rolf+Drechsler%22">Rolf Drechsler</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22System+design--Data+processing%22">System design--Data processing</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22TECHNOLOGY+%26+ENGINEERING+%2F+Electronics+%2F+Circuits+%2F+General%22">TECHNOLOGY & ENGINEERING / Electronics / Circuits / General</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Computer+Architecture%22">COMPUTERS / Computer Architecture</searchLink><br /><searchLink fieldCode="ZK" term="%22TECHNOLOGY+%26+ENGINEERING+%2F+Electronics+%2F+General%22">TECHNOLOGY & ENGINEERING / Electronics / General</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=1242713
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 004.24
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: System design--Data processing
        Type: general
    Titles:
      – TitleFull: Automatic Methods for the Refinement of System Models
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Julia Seiter
      – PersonEntity:
          Name:
            NameFull: Robert Wille
      – PersonEntity:
          Name:
            NameFull: Rolf Drechsler
      – PersonEntity:
          Name:
            NameFull: Julia Seiter
      – PersonEntity:
          Name:
            NameFull: Robert Wille
      – PersonEntity:
          Name:
            NameFull: Rolf Drechsler
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2016
            – D: 11
              M: 07
              Type: profile
              Y: 2016
          Identifiers:
            – Type: isbn-print
              Value: 9783319414799
            – Type: isbn-electronic
              Value: 9783319414805
          Titles:
            – TitleFull: Automatic Methods for the Refinement of System Models
              Type: main
ResultId 1