eBook
Προβολή σε EDS

Formal Methods Applied to Industrial Complex Systems

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Formal Methods Applied to Industrial Complex Systems
Περιγραφή: A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive industry, the purpose of this book is to present a summary of experience on the use of these “formal methods” (such as proof and model-checking) in industrial examples of complex systems. It is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the usual problems of confidentiality which could arise and thus enables us to supply new useful information (photos, architecture plans, real examples, etc.).
Συγγραφείς: Jean-Louis Boulanger
Resource Type: eBook.
Θέματα: Industrial safety--Computer simulation, Software engineering, Systems engineering--Data processing, Systems engineering--Computer simulation, Formal methods (Computer science)
Categories: COMPUTERS / Computer Engineering
Βάση Δεδομένων: eBook Index
FullText Text:
  Availability: 0
Header DbId: edsebk
DbLabel: eBook Index
An: 812782
RelevancyScore: 912
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 912.106750488281
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Formal Methods Applied to Industrial Complex Systems
– Name: Abstract
  Label: Description
  Group: Ab
  Data: A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive industry, the purpose of this book is to present a summary of experience on the use of these “formal methods” (such as proof and model-checking) in industrial examples of complex systems. It is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the usual problems of confidentiality which could arise and thus enables us to supply new useful information (photos, architecture plans, real examples, etc.).
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Jean-Louis+Boulanger%22">Jean-Louis Boulanger</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Industrial+safety--Computer+simulation%22">Industrial safety--Computer simulation</searchLink><br /><searchLink fieldCode="DE" term="%22Software+engineering%22">Software engineering</searchLink><br /><searchLink fieldCode="DE" term="%22Systems+engineering--Data+processing%22">Systems engineering--Data processing</searchLink><br /><searchLink fieldCode="DE" term="%22Systems+engineering--Computer+simulation%22">Systems engineering--Computer simulation</searchLink><br /><searchLink fieldCode="DE" term="%22Formal+methods+%28Computer+science%29%22">Formal methods (Computer science)</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Computer+Engineering%22">COMPUTERS / Computer Engineering</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=812782
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 620.001171
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Industrial safety--Computer simulation
        Type: general
      – SubjectFull: Software engineering
        Type: general
      – SubjectFull: Systems engineering--Data processing
        Type: general
      – SubjectFull: Systems engineering--Computer simulation
        Type: general
      – SubjectFull: Formal methods (Computer science)
        Type: general
    Titles:
      – TitleFull: Formal Methods Applied to Industrial Complex Systems
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Jean-Louis Boulanger
      – PersonEntity:
          Name:
            NameFull: Jean-Louis Boulanger
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2014
            – D: 28
              M: 08
              Type: profile
              Y: 2014
          Identifiers:
            – Type: isbn-print
              Value: 9781848216327
            – Type: isbn-print
              Value: 9781119004707
            – Type: isbn-electronic
              Value: 9781119004844
            – Type: isbn-electronic
              Value: 9781119004776
          Titles:
            – TitleFull: Formal Methods Applied to Industrial Complex Systems
              Type: main
ResultId 1