skip to content
Formal methods in systems engineering Preview this item
ClosePreview this item
Checking...

Formal methods in systems engineering

Author: Peter Ryan, PhD.; C T Sennett
Publisher: London ; New York : Springer Verlag, ©1993.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:

This volume contains the proceedings of the Formal Methods Workshop, held in Drymen, Scotland, in September 1991. It concentrated on the themes of quality assurance, design methods and mathematical  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

Additional Physical Format: Online version:
Formal methods in systems engineering.
London ; New York : Springer Verlag, ©1993
(OCoLC)624376434
Document Type: Book
All Authors / Contributors: Peter Ryan, PhD.; C T Sennett
ISBN: 0387197516 9780387197517 3540197516 9783540197515
OCLC Number: 30109555
Description: xi, 191 pages ; 24 cm
Contents: 1 Introduction.- 1.1 What Are Formal Methods?.- 1.2 Formal Methods and Mathematics.- 1.3 What Good Are Formal Methods?.- 1.4 The Myth of Control.- 1.5 Hyperprogramming.- 1.6 Recommendations.- 2 Formal Methods of Software Development: Painted into the Corner of High-Integrity Computing?.- 2.1 The Dominant Rationale for Formal Methods.- 2.2 Some Pragmatic Objections to Formal Methods.- 2.3 Dissolving Resistance to Formal Methods?.- 2.4 A Brief Sketch of Formal Methods in High-Integrity Computing.- 2.5 The Projects.- 2.6 The Formal Methods Community in High-Integrity Computing.- 2.6.1 The Clients.- 2.6.2 The Developers.- 2.7 The Information Networks.- 2.8 Does the Use of Formal Methods Within High-Integrity Computing Perpetuate its "Myths"?.- 3 The Social Negotiation of Proof: An Analysis and a Further Prediction.- 3.1 Background.- 3.2 VIPER.- 3.3 Disputing "Proof".- 3.4 Formal Proof and Rigorous Argument.- 3.5 A Further Prediction.- 3.6 Conclusion.- 4 On Constructing Large Software Systems.- 4.1 Introduction.- 4.2 People.- 4.3 Frames.- 4.4 Sets.- 4.5 Programs.- 4.6 Proof.- 4.7 Tools.- 4.8 Conclusion.- 4.9 Acknowledgments.- 5 Composition of Descriptions: A Progress Report.- 5.1 Introduction.- 5.2 Why Compose Descriptions ?.- 5.3 What is Described?.- 5.4 What is a Description?.- 5.5 What is Composition?.- 5.6 Description Reuse.- 5.7 Conclusion.- 6 Integrating Methods in Practice.- 6.1 Introduction.- 6.2 Development and Development Methods.- 6.3 Aspects of Specification.- 6.4 Aspects of Design.- 6.4.1 Detail and Structure.- 6.4.2 Reification and Algorithm Design.- 6.4.3 Summary.- 6.5 Implications for Research and Development.- 7 Formal Methods and Product Documentation.- 7.1 Introduction.- 7.2 The Fully Formalised Software Product.- 7.3 The Elements of Product Documentation.- 7.4 Product Documentation and the Product Range.- 7.5 Product Documentation and Product Development.- 7.6 Product Documentation and Customers.- 7.7 Developing from a Fully Formalised Base.- 7.8 New Requirements.- 7.9 Errors Detected Before Release.- 7.10 Errors Detected After Release.- 7.11 How to Get There.- 7.12 Summary.- 7.13 Acknowledgments.- 8 Software Quality: A Modelling and Measurement View.- 8.1 Software Quality Needs.- 8.2 Modelling Software Experiences.- 8.3 Model Evolution.- 8.4 An Organization for Packaging Experience Models for Reuse.- 8.5 Conclusions.- 9 Modelling Working Group Summary.- 9.1 Description.- 9.2 Discussion Topics.- 9.3 Discussion.- 9.3.1 Why and to What End Formal Methods?.- 9.3.2 What is a Formal Method?.- 9.4 How Does Mathematical Modelling Help to Increase our Understanding of Digital Systems?.- 9.4.1 What Are the Limits of Mathematical Modelling?.- 9.5 What is Required to Validate that a Mathematical Model Describes a Digital System Accurately?.- 9.5.1 What Insights do Other Fields of Engineering Provide?.- 9.5.2 What Can we Do by 1995 with the Mathematical Modelling Capabilities we Have Now?.- 9.5.3 What Is our Target for the Year 2000?.- 9.5.4 Formal Methods and Safety Standards.- 9.6 Conclusions.- 10 Quality Assurance Working Group.- 10.1 Group Description.- 10.2 Quality Assurance vs. Quality Control.- 10.3 What Is a Formal Method?.- 10.4 Integration of Formal Methods and Quality Control.- 10.5 A Plan to Integrate Formal Methods into QC/QA.- 10.5.1 Phase 1.- 10.5.2 Phase 2.- 10.5.3 Phase 3.- 10.5.4 Phase 4.- 11 Design Methods Working Group.- 11.1 Description.- 11.2 The Context of Formal Methods.- 11.3 The Role of Proof in Assurance.- 11.4 Analytical Capabilities of Formal Methods.- 11.5 Foundational Capabilities of Formal Methods.- 11.6 The Role of Formal Methods with Respect to the Software Development Process.- 11.7 Formal Methods During Development and Implementation.- 11.8 Education.- 11.9 Tools.- 12 Conclusions.- A Survey of Formal Methods Tools.- B Survey of Formal Methods Applications.- C Acronyms and Trademarks.- List of Contributors.
Responsibility: edited by Peter Ryan and Chris Sennett.
More information:

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/30109555> # Formal methods in systems engineering
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "30109555" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://id.worldcat.org/fast/872537> ; # Computer software--Development
   schema:about <http://experiment.worldcat.org/entity/work/data/476638331#Topic/mathematische_methode> ; # Mathematische Methode
   schema:about <http://dewey.info/class/004.21/e20/> ;
   schema:about <http://id.worldcat.org/fast/1141455> ; # Systems engineering
   schema:about <http://dewey.info/class/005.1/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/476638331#Topic/algebraische_spezifikation> ; # Algebraische Spezifikation
   schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
   schema:about <http://id.loc.gov/authorities/subjects/sh85029535> ; # Computer software--Development
   schema:about <http://experiment.worldcat.org/entity/work/data/476638331#Topic/systementwicklung> ; # Systementwicklung
   schema:about <http://experiment.worldcat.org/entity/work/data/476638331#Thing/computers> ; # Computers
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/93427886> ; # C. T. Sennett
   schema:contributor <http://viaf.org/viaf/3020726> ; # PhD. Peter Ryan
   schema:copyrightYear "1993" ;
   schema:datePublished "1993" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/476638331> ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/624376434> ;
   schema:name "Formal methods in systems engineering"@en ;
   schema:productID "30109555" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/30109555#PublicationEvent/london_new_york_springer_verlag_1993> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/476638331#Agent/springer_verlag> ; # Springer Verlag
   schema:workExample <http://worldcat.org/isbn/9783540197515> ;
   schema:workExample <http://worldcat.org/isbn/9780387197517> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9332856> ;
   umbel:isLike <http://d-nb.info/931584388> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/30109555> ;
    .


Related Entities

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

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

<http://experiment.worldcat.org/entity/work/data/476638331#Agent/springer_verlag> # Springer Verlag
    a bgn:Agent ;
   schema:name "Springer Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/476638331#Topic/algebraische_spezifikation> # Algebraische Spezifikation
    a schema:Intangible ;
   schema:name "Algebraische Spezifikation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/476638331#Topic/mathematische_methode> # Mathematische Methode
    a schema:Intangible ;
   schema:name "Mathematische Methode"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85029535> # Computer software--Development
    a schema:Intangible ;
   schema:name "Computer software--Development"@en ;
    .

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

<http://id.worldcat.org/fast/872537> # Computer software--Development
    a schema:Intangible ;
   schema:name "Computer software--Development"@en ;
    .

<http://id.worldcat.org/fast/932926> # Formal methods (Computer science)
    a schema:Intangible ;
   schema:name "Formal methods (Computer science)"@en ;
    .

<http://viaf.org/viaf/3020726> # PhD. Peter Ryan
    a schema:Person ;
   schema:familyName "Ryan" ;
   schema:givenName "Peter" ;
   schema:name "PhD. Peter Ryan" ;
    .

<http://viaf.org/viaf/93427886> # C. T. Sennett
    a schema:Person ;
   schema:familyName "Sennett" ;
   schema:givenName "C. T." ;
   schema:name "C. T. Sennett" ;
    .

<http://worldcat.org/isbn/9780387197517>
    a schema:ProductModel ;
   schema:isbn "0387197516" ;
   schema:isbn "9780387197517" ;
    .

<http://worldcat.org/isbn/9783540197515>
    a schema:ProductModel ;
   schema:isbn "3540197516" ;
   schema:isbn "9783540197515" ;
    .

<http://www.worldcat.org/oclc/624376434>
    a schema:CreativeWork ;
   rdfs:label "Formal methods in systems engineering." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/30109555> ; # Formal methods in systems engineering
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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