About: Industrial-Strength Formal Methods in Practice   Sponge Permalink

An Entity of Type : owl:Thing, within Data Space : 134.155.108.49:8890 associated with source dataset(s)

Series Editor: Professor S.A. Schuman, University of Surrey, UK ISBN 1-85233-640-4, pages: 416, price: UK £37.50. Available from Amazon USA and Amazon UK. This unique book concentrates specifically on industrial applications. The authors provide hands-on experience and guidance for those who need to apply formal methods successfully in this context. Each chapter is written by an expert in software engineering or formal methods, and contains background information, introductions to the techniques being used, actual fragments of formalized components, details of results and an analysis of the overall approach. It provides specific details on how to produce high-quality software that comes in on time and within budget.

AttributesValues
rdfs:label
  • Industrial-Strength Formal Methods in Practice
rdfs:comment
  • Series Editor: Professor S.A. Schuman, University of Surrey, UK ISBN 1-85233-640-4, pages: 416, price: UK £37.50. Available from Amazon USA and Amazon UK. This unique book concentrates specifically on industrial applications. The authors provide hands-on experience and guidance for those who need to apply formal methods successfully in this context. Each chapter is written by an expert in software engineering or formal methods, and contains background information, introductions to the techniques being used, actual fragments of formalized components, details of results and an analysis of the overall approach. It provides specific details on how to produce high-quality software that comes in on time and within budget.
dcterms:subject
dbkwik:formalmetho...iPageUsesTemplate
abstract
  • Series Editor: Professor S.A. Schuman, University of Surrey, UK ISBN 1-85233-640-4, pages: 416, price: UK £37.50. Available from Amazon USA and Amazon UK. This unique book concentrates specifically on industrial applications. The authors provide hands-on experience and guidance for those who need to apply formal methods successfully in this context. Each chapter is written by an expert in software engineering or formal methods, and contains background information, introductions to the techniques being used, actual fragments of formalized components, details of results and an analysis of the overall approach. It provides specific details on how to produce high-quality software that comes in on time and within budget. This book was launched at the ProCoS session on 22 September 1999 during the FM'99 World Congress on Formal Methods. See front matter (PDF↑) including: * Preface * Table of contents * Foreword by Michael A. Jackson * List of contributors See also slides based on the first chapter: It's Greek to Me: Method in the Madness? The following publications are relevant to this book: * The Use of Industrial-Strength Formal Methods, Jonathan Bowen and Mike Hinchey. Proc. 21st International Computer Software & Application Conference (COMPSAC'97), Washington D.C., USA, 13–15 August 1997, pages 332-337, IEEE Computer Society Press, 1997. * Applications of Formal Methods', Mike Hinchey and Jonathan Bowen (eds.). Prentice Hall International Series in Computer Science, series editor Prof. C.A.R. Hoare↑, 1995. ISBN 0-13-366949-1. * High-Integrity System Specification and Design, Jonathan Bowen and Mike Hinchey. Springer-Verlag, London, FACIT series, 1999. ISBN 3-540-76226-4. Information maintained by Jonathan Bowen. Last updated 9 March 2013.
Alternative Linked Data Views: ODE     Raw Data in: CXML | CSV | RDF ( N-Triples N3/Turtle JSON XML ) | OData ( Atom JSON ) | Microdata ( JSON HTML) | JSON-LD    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software