Show simple item record

dc.contributor.author
Hallerstede, Stefan
dc.contributor.editor
Julliand, Jacques
dc.contributor.editor
Kouchnarenko, Olga
dc.date.accessioned
2021-08-03T06:10:08Z
dc.date.available
2017-06-10T18:03:03Z
dc.date.available
2021-08-03T06:10:08Z
dc.date.issued
2007
dc.identifier.isbn
978-3-540-68760-3
en_US
dc.identifier.isbn
978-3-540-68761-0
en_US
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/11955757_7
en_US
dc.identifier.uri
http://hdl.handle.net/20.500.11850/68057
dc.description.abstract
Event-B is a notation and method for discrete systems modelling by refinement. The notation has been carefully designed to be simple and easily teachable. The simplicity of the notation takes also into account the support by a modelling tool. This is important because Event-B is intended to be used to create complex models. Without appropriate tool support this would not be possible. This article presents justifications and explanations for the choices that have been made when designing the Event-B notation.
en_US
dc.language.iso
en
en_US
dc.publisher
Springer
en_US
dc.title
Justifications for the event-B modelling notation
en_US
dc.type
Conference Paper
ethz.book.title
B 2007: Formal Specification and Development in B
en_US
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
4355
en_US
ethz.journal.abbreviated
LNCS
ethz.pages.start
49
en_US
ethz.pages.end
63
en_US
ethz.event
7th International Conference of B Users (B 2007)
en_US
ethz.event.location
Besancon, France
en_US
ethz.event.date
January 17-19, 2007
en_US
ethz.identifier.wos
ethz.publication.place
Berlin
en_US
ethz.publication.status
published
en_US
ethz.date.deposited
2017-06-10T18:04:23Z
ethz.source
ECIT
ethz.identifier.importid
imp593650b14c7e527134
ethz.ecitpid
pub:108145
ethz.eth
yes
en_US
ethz.availability
Metadata only
en_US
ethz.rosetta.installDate
2017-07-13T18:05:26Z
ethz.rosetta.lastUpdated
2022-03-29T10:53:33Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Justifications%20for%20the%20event-B%20modelling%20notation&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2007&rft.volume=4355&rft.spage=49&rft.epage=63&rft.issn=0302-9743&1611-3349&rft.au=Hallerstede,%20Stefan&rft.isbn=978-3-540-68760-3&978-3-540-68761-0&rft.genre=proceeding&rft_id=info:doi/10.1007/11955757_7&rft.btitle=B%202007:%20Formal%20Specification%20and%20Development%20in%20B
 Search print copy at ETH Library

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record