skip to content
Software specification methods : an overview using a case study Preview this item
ClosePreview this item
Checking...

Software specification methods : an overview using a case study

Author: Marc Frappier; Henri Habrias
Publisher: London ; New York : Springer, ©2001.
Series: Formal approaches to computing and information technology.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This volume provides the formal methods practitioner with a survey of the key software specification methods. Each technique is demonstrated using the same case study - an invoicing system - to enable the reader to compare and contrast easily. Among the techniques covered are: UML, Z, SAZ, B, JSD, OMT, VHDL, Estelle, SDL and LOTOS. Most specification courses tend to focus on 1 or 2 key techniques and to have a  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

Genre/Form: Electronic books
Specifications
Additional Physical Format: Print version:
Software specification methods.
London ; New York : Springer, ©2001
(DLC) 00061256
(OCoLC)44732273
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Marc Frappier; Henri Habrias
ISBN: 9781447107019 1447107012
OCLC Number: 606493180
Language Note: English.
Reproduction Notes: Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (xxiii, 282 pages) : illustrations
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Contents: State-Based Approaches --
Event-Based Approaches --
Other Formal Approaches. The complete table of contents can be found on the Internet: http://www.springer.de.
Series Title: Formal approaches to computing and information technology.
Responsibility: Marc Frappier and Henri Habrias (eds.).

Abstract:

Software Specification Methods provides the formal methods practitioner with a survey of the key software specification methods. This book is intended for industrial and commercial practitioners who  Read more...

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/606493180> # Software specification methods : an overview using a case study
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "606493180" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1044594891#Topic/methodes_formelles_informatique> ; # Méthodes formelles (Informatique)
    schema:about <http://id.worldcat.org/fast/872527> ; # Computer software
    schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
    schema:about <http://dewey.info/class/004.0151/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1044594891#Topic/logiciels_specifications> ; # Logiciels--Spécifications
    schema:about <http://id.loc.gov/authorities/subjects/sh85029534> ; # Computer software
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/7391256> ; # Henri Habrias
    schema:contributor <http://viaf.org/viaf/57489460> ; # Marc Frappier
    schema:copyrightYear "2001" ;
    schema:datePublished "2001" ;
    schema:description "State-Based Approaches -- Event-Based Approaches -- Other Formal Approaches. The complete table of contents can be found on the Internet: http://www.springer.de."@en ;
    schema:description "This volume provides the formal methods practitioner with a survey of the key software specification methods. Each technique is demonstrated using the same case study - an invoicing system - to enable the reader to compare and contrast easily. Among the techniques covered are: UML, Z, SAZ, B, JSD, OMT, VHDL, Estelle, SDL and LOTOS. Most specification courses tend to focus on 1 or 2 key techniques and to have a theoretical bias; this book provides a basic overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. It will prove essential reading for all industrial and commercial practitioners who need to expand their knowledge of software specification methods."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1044594891> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Specifications"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/1431-9683> ; # Formal approaches to computing and information technology.
    schema:isSimilarTo <http://www.worldcat.org/oclc/44732273> ;
    schema:name "Software specification methods : an overview using a case study"@en ;
    schema:productID "606493180" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/606493180#PublicationEvent/london_new_york_springer_2001> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1044594891#Agent/springer> ; # Springer
    schema:url <https://doi.org/10.1007/978-1-4471-0701-9> ;
    schema:url <https://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=3074850> ;
    schema:url <http://catalog.hathitrust.org/api/volumes/oclc/44732273.html> ;
    schema:url <http://books.google.com/books?id=kgJRAAAAMAAJ> ;
    schema:workExample <http://dx.doi.org/10.1007/978-1-4471-0701-9> ;
    schema:workExample <http://worldcat.org/isbn/9781447107019> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/606493180> ;
    .


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/1044594891#Topic/logiciels_specifications> # Logiciels--Spécifications
    a schema:Intangible ;
    schema:name "Logiciels--Spécifications"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1044594891#Topic/methodes_formelles_informatique> # Méthodes formelles (Informatique)
    a schema:Intangible ;
    schema:name "Méthodes formelles (Informatique)"@fr ;
    .

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

<http://id.worldcat.org/fast/872527> # Computer software
    a schema:Intangible ;
    schema:name "Computer software"@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/57489460> # Marc Frappier
    a schema:Person ;
    schema:birthDate "1965" ;
    schema:familyName "Frappier" ;
    schema:givenName "Marc" ;
    schema:name "Marc Frappier" ;
    .

<http://viaf.org/viaf/7391256> # Henri Habrias
    a schema:Person ;
    schema:familyName "Habrias" ;
    schema:givenName "Henri" ;
    schema:name "Henri Habrias" ;
    .

<http://worldcat.org/isbn/9781447107019>
    a schema:ProductModel ;
    schema:isbn "1447107012" ;
    schema:isbn "9781447107019" ;
    .

<http://worldcat.org/issn/1431-9683> # Formal approaches to computing and information technology.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/606493180> ; # Software specification methods : an overview using a case study
    schema:issn "1431-9683" ;
    schema:name "Formal approaches to computing and information technology." ;
    schema:name "Formal approaches to computing and information technology," ;
    .

<http://www.worldcat.org/oclc/44732273>
    a schema:CreativeWork ;
    rdfs:label "Software specification methods." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/606493180> ; # Software specification methods : an overview using a case study
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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