přejít na obsah
Industrial deployment of system engineering methods Náhled dokumentu
ZavřítNáhled dokumentu
Probíhá kontrola...

Industrial deployment of system engineering methods

Autor Alexander Romanovsky; Martyn Thomas
Vydavatel: Berlin ; New York : Springer, ©2013.
Vydání/formát:   e-kniha : Document : EnglishZobrazit všechny vydání a formáty
Databáze:WorldCat
Shrnutí:
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development. The applications considered were in automotive, aerospace, railway, and  Přečíst více...
Hodnocení:

(ještě nehodnoceno) 0 zobrazit recenze - Buďte první.

Předmětová hesla:
Více podobných

 

Najít online exemplář

Odkazy na tento dokument

Vyhledat exemplář v knihovně

&AllPage.SpinnerRetrieving; Vyhledávání knihoven, které vlastní tento dokument...

Detaily

Žánr/forma: Electronic books
Doplňující formát: Print version:
Industrial deployment of system engineering methods.
Berlin : Springer, [2013]
(DLC) 2013944049
(OCoLC)827083547
Typ materiálu: Document, Internetový zdroj
Typ dokumentu: Internet Resource, Computer File
Všichni autoři/tvůrci: Alexander Romanovsky; Martyn Thomas
ISBN: 9783642331701 364233170X
OCLC číslo: 853265628
Popis: 1 online resource (x, 259 p.) : ill.
Obsahy: Introduction / Alexander Romanovsky and Martyn Thomas --
Integrated Project DEPLOY / Alexander Romanovsky --
Experience of deployment in the automotive industry / Rainer Gmehlich and Cliff Jones --
Improving railway data validation with ProB / Jérôme Falampin ... [et al.] --
Deployment in the space sector / Dubravka Ilić ... [et al.] --
Business information sector / Sebastian Wieczorek ... [et al.] --
Formal methods as an improvement tool / Aryldo G. Russo Jr. --
Critical Software Technologies' experience with formal methods / Alex Hill, Jose Reis, and Paulo Carvalho --
Experience of deploying Event-B in industrial microprocessor development / Stephen Wright and Kerstin Eder --
Industrial deployment of formal methods : trends and challenges / John Fitzgerald ... [et al.] --
Introducing formal methods into existing industrial practices / Martyn Thomas and Alexander Romanovsky --
Tooling / Michael Butler, Laurent Voisin, and Thomas Muller --
Technology transfer / David Basin and Thai Son Hoang --
After and outside DEPLOY : the DEPLOY ecosystem / Alexander Romanovsky --
Industrial software engineering and formal methods / Martyn Thomas and Alexander Romanovsky --
Appendix A. An introduction to the Event-B modelling method / Thai Son Hoang --
Appendix B. Evidence-based assistance for the adoption of formal methods in industry / Jean-Christophe Deprez, Christophe Ponsard, and Renaud De Landtsheer.
Odpovědnost: Alexander Romanovsky, Martyn Thomas, editors.

Anotace:

This book summarizes the results of research on engineering methods for dependable systems through the deployment of formal methods in software development in applications such as automotive, space,  Přečíst více...

Recenze

Recenze redakce

Souhrn od vydavatele

"This book reports on a remarkable four-year experiment in the application of scientific method to the development and delivery of software products. Participants in the experiment included seven Přečíst více...

 
Recenze vložené uživatelem
Nahrávání recenzí GoodReads...
Přebírání recenzí DOGO books...

Štítky

Buďte první.
Potvrdit tento požadavek

Tento dokument jste si již vyžádali. Prosím vyberte Ok pokud chcete přesto v žádance pokračovat.

Propojená data


Primary Entity

<http://www.worldcat.org/oclc/853265628> # Industrial deployment of system engineering methods
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "853265628" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1761384551#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/1761384551#Thing/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages.
    schema:about <http://experiment.worldcat.org/entity/work/data/1761384551#Thing/software_engineering> ; # Software engineering.
    schema:about <http://experiment.worldcat.org/entity/work/data/1761384551#Thing/industrial_engineering> ; # Industrial engineering.
    schema:about <http://dewey.info/class/620.001171/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1761384551#Thing/computer_science> ; # Computer science.
    schema:about <http://experiment.worldcat.org/entity/work/data/1761384551#Thing/software_engineering_programming_and_operating_systems> ; # Software Engineering/Programming and Operating Systems.
    schema:about <http://experiment.worldcat.org/entity/work/data/1761384551#Topic/computer_systems> ; # Computer Systems
    schema:about <http://id.worldcat.org/fast/1141455> ; # Systems engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/1761384551#Thing/industrial_and_production_engineering> ; # Industrial and Production Engineering.
    schema:about <http://experiment.worldcat.org/entity/work/data/1761384551#Topic/technology_&_engineering_engineering_general> ; # TECHNOLOGY & ENGINEERING / Engineering (General)
    schema:about <http://experiment.worldcat.org/entity/work/data/1761384551#Topic/engineering> ; # Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/1761384551#Topic/technology_&_engineering_reference> ; # TECHNOLOGY & ENGINEERING / Reference
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/62438263> ; # Alexander Romanovsky
    schema:contributor <http://viaf.org/viaf/31921051> ; # Martyn Thomas
    schema:copyrightYear "2013" ;
    schema:datePublished "2013" ;
    schema:description "A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development. The applications considered were in automotive, aerospace, railway, and enterprise information systems, and microprocessor design. The project introduced a formal method, Event-B, into several industrial organisations and built on the lessons learned to provide an ecosystem of better tools, documentation and support to help others to select and introduce rigorous systems engineering methods. The contributing authors report on these projects and the lessons learned. For the academic and research partners and the tool vendors, the project identified improvements required in the methods and supporting tools, while the industrial partners learned about the value of formal methods in general. A particular feature of the book is the frank assessment of the managerial and organisational challenges, the weaknesses in some current methods and supporting tools, and the ways in which they can be successfully overcome. The book will be of value to academic researchers, systems and software engineers developing critical systems, industrial managers, policymakers, and regulators." ;
    schema:description "Introduction / Alexander Romanovsky and Martyn Thomas -- Integrated Project DEPLOY / Alexander Romanovsky -- Experience of deployment in the automotive industry / Rainer Gmehlich and Cliff Jones -- Improving railway data validation with ProB / Jérôme Falampin ... [et al.] -- Deployment in the space sector / Dubravka Ilić ... [et al.] -- Business information sector / Sebastian Wieczorek ... [et al.] -- Formal methods as an improvement tool / Aryldo G. Russo Jr. -- Critical Software Technologies' experience with formal methods / Alex Hill, Jose Reis, and Paulo Carvalho -- Experience of deploying Event-B in industrial microprocessor development / Stephen Wright and Kerstin Eder -- Industrial deployment of formal methods : trends and challenges / John Fitzgerald ... [et al.] -- Introducing formal methods into existing industrial practices / Martyn Thomas and Alexander Romanovsky -- Tooling / Michael Butler, Laurent Voisin, and Thomas Muller -- Technology transfer / David Basin and Thai Son Hoang -- After and outside DEPLOY : the DEPLOY ecosystem / Alexander Romanovsky -- Industrial software engineering and formal methods / Martyn Thomas and Alexander Romanovsky -- Appendix A. An introduction to the Event-B modelling method / Thai Son Hoang -- Appendix B. Evidence-based assistance for the adoption of formal methods in industry / Jean-Christophe Deprez, Christophe Ponsard, and Renaud De Landtsheer." ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1761384551> ;
    schema:genre "Electronic books" ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/827083547> ;
    schema:name "Industrial deployment of system engineering methods" ;
    schema:numberOfPages "259" ;
    schema:productID "853265628" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/853265628#PublicationEvent/berlin_new_york_springer_c2013> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1761384551#Agent/springer> ; # Springer
    schema:url <http://lib.myilibrary.com?id=517307> ;
    schema:url <http://swbplus.bsz-bw.de/bsz431505349cov.htm> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=607473> ;
    schema:url <http://site.ebrary.com/id/10733551> ;
    schema:url <http://swb.eblib.com/patron/FullRecord.aspx?p=1398704> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=1398704> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-33170-1> ;
    schema:workExample <http://worldcat.org/isbn/9783642331701> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/853265628> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/1761384551#Thing/industrial_and_production_engineering> # Industrial and Production Engineering.
    a schema:Thing ;
    schema:name "Industrial and Production Engineering." ;
    .

<http://experiment.worldcat.org/entity/work/data/1761384551#Thing/industrial_engineering> # Industrial engineering.
    a schema:Thing ;
    schema:name "Industrial engineering." ;
    .

<http://experiment.worldcat.org/entity/work/data/1761384551#Thing/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages.
    a schema:Thing ;
    schema:name "Mathematical Logic and Formal Languages." ;
    .

<http://experiment.worldcat.org/entity/work/data/1761384551#Thing/software_engineering> # Software engineering.
    a schema:Thing ;
    schema:name "Software engineering." ;
    .

<http://experiment.worldcat.org/entity/work/data/1761384551#Thing/software_engineering_programming_and_operating_systems> # Software Engineering/Programming and Operating Systems.
    a schema:Thing ;
    schema:name "Software Engineering/Programming and Operating Systems." ;
    .

<http://experiment.worldcat.org/entity/work/data/1761384551#Topic/technology_&_engineering_engineering_general> # TECHNOLOGY & ENGINEERING / Engineering (General)
    a schema:Intangible ;
    schema:name "TECHNOLOGY & ENGINEERING / Engineering (General)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1761384551#Topic/technology_&_engineering_reference> # TECHNOLOGY & ENGINEERING / Reference
    a schema:Intangible ;
    schema:name "TECHNOLOGY & ENGINEERING / Reference" ;
    .

<http://id.worldcat.org/fast/1141455> # Systems engineering
    a schema:Intangible ;
    schema:name "Systems engineering" ;
    .

<http://lib.myilibrary.com?id=517307>
    rdfs:comment "Connect to MyiLibrary resource." ;
    .

<http://viaf.org/viaf/31921051> # Martyn Thomas
    a schema:Person ;
    schema:birthDate "1948" ;
    schema:familyName "Thomas" ;
    schema:givenName "Martyn" ;
    schema:name "Martyn Thomas" ;
    .

<http://viaf.org/viaf/62438263> # Alexander Romanovsky
    a schema:Person ;
    schema:birthDate "1954" ;
    schema:familyName "Romanovsky" ;
    schema:givenName "Alexander" ;
    schema:name "Alexander Romanovsky" ;
    .

<http://worldcat.org/isbn/9783642331701>
    a schema:ProductModel ;
    schema:description "electronic bk." ;
    schema:isbn "364233170X" ;
    schema:isbn "9783642331701" ;
    .

<http://www.worldcat.org/oclc/827083547>
    a schema:CreativeWork ;
    rdfs:label "Industrial deployment of system engineering methods." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/853265628> ; # Industrial deployment of system engineering methods
    .


Content-negotiable representations

Zavřít okno

Prosím přihlaste se do WorldCat 

Nemáte účet? Můžete si jednoduše vytvořit bezplatný účet.