skip to content
UML-B specification for proven embedded systems design Preview this item
ClosePreview this item
Checking...

UML-B specification for proven embedded systems design

Author: Fredrik Bernin; Jean P Mermet
Publisher: Boston, Mass. ; London : Kluwer Academic Publishers, ©2004.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology that  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

Document Type: Book
All Authors / Contributors: Fredrik Bernin; Jean P Mermet
ISBN: 1402028660 9781402028663 1402028679 9781402028670
OCLC Number: 57484663
Description: ix, 300 pages : illustrations ; 25 cm
Contents: 1 An Introduction to Formal Methods.- 2 Formally Unified System Specification Environment with UML, B and SystemC.- 3 Embedded System Design Using the PUSSEE Method.- 4 System Level Modelling and Refinement with EventB.- 5 The UML-B Profile for Formal Systems Modelling in UML.- 6 U2B.- 7 BHDL.- 8 Towards a Conceptual Framework for UML to Hardware Description Language Mappings.- 9 Interface-Based Synthesis Refinement in B.- 10 Refinement of Finite State Machines with Complementary Model Checking.- 11 Adaptive Cruise Control Case Study Design Experiment.- 12 Adaptive Cruise Controller Case Study.- 13 Formal Modelling of Electronic Circuits Using Event-B.- 14 The Echo Cancellation Unit Case Study.- 15 Results of the Mobile Design System Experiment.- 16 UML-B Specification and Hardware Implementation of a Hamming Coder/Decoder.- 17 The PUSSEE Method in Practice.- A1 Evaluation Criteria for Embedded System Design Methods.
Responsibility: by Fredrik Bernin [and others] ; edited by Jean Mermet.

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/57484663> # UML-B specification for proven embedded systems design
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "57484663" ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/367466274#Place/boston_mass> ; # Boston, Mass.
   schema:about <http://dewey.info/class/005.117/e22/> ;
   schema:about <http://id.worldcat.org/fast/824788> ; # B (Computer program language)
   schema:about <http://id.worldcat.org/fast/908298> ; # Embedded computer systems
   schema:about <http://id.worldcat.org/fast/1160249> ; # UML (Computer science)
   schema:about <http://id.worldcat.org/fast/811706> ; # Application software
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/121828837> ; # Jean P. Mermet
   schema:contributor <http://viaf.org/viaf/51205909> ; # Fredrik Bernin
   schema:copyrightYear "2004" ;
   schema:datePublished "2004" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/367466274> ;
   schema:inLanguage "en" ;
   schema:name "UML-B specification for proven embedded systems design"@en ;
   schema:productID "57484663" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/57484663#PublicationEvent/boston_mass_london_kluwer_academic_publishers_2004> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/367466274#Agent/kluwer_academic_publishers> ; # Kluwer Academic Publishers
   schema:workExample <http://worldcat.org/isbn/9781402028670> ;
   schema:workExample <http://worldcat.org/isbn/9781402028663> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA503488> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/57484663> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/367466274#Agent/kluwer_academic_publishers> # Kluwer Academic Publishers
    a bgn:Agent ;
   schema:name "Kluwer Academic Publishers" ;
    .

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

<http://id.worldcat.org/fast/811706> # Application software
    a schema:Intangible ;
   schema:name "Application software"@en ;
    .

<http://id.worldcat.org/fast/824788> # B (Computer program language)
    a schema:Intangible ;
   schema:name "B (Computer program language)"@en ;
    .

<http://id.worldcat.org/fast/908298> # Embedded computer systems
    a schema:Intangible ;
   schema:name "Embedded computer systems"@en ;
    .

<http://viaf.org/viaf/121828837> # Jean P. Mermet
    a schema:Person ;
   schema:familyName "Mermet" ;
   schema:givenName "Jean P." ;
   schema:name "Jean P. Mermet" ;
    .

<http://viaf.org/viaf/51205909> # Fredrik Bernin
    a schema:Person ;
   schema:familyName "Bernin" ;
   schema:givenName "Fredrik" ;
   schema:name "Fredrik Bernin" ;
    .

<http://worldcat.org/isbn/9781402028663>
    a schema:ProductModel ;
   schema:isbn "1402028660" ;
   schema:isbn "9781402028663" ;
    .

<http://worldcat.org/isbn/9781402028670>
    a schema:ProductModel ;
   schema:isbn "1402028679" ;
   schema:isbn "9781402028670" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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