B‐RAIL: UML to B Transformation in Modeling a Level Crossing

This chapter considers level crossings, which constitute a critical sub‐system. It proposes a modeling methodology based on the pairing of a semi‐formal method, unified modeling language (UML), and a formal method, the B method, to provide the rigor needed when designing critical systems. The chapte...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Formal Methods Applied to Complex Systems: Implementation of the B Method s. 299 - 348
Hlavní autor:	Boulanger, Jean‐Louis
Médium:	Kapitola
Jazyk:	angličtina
Vydáno:	Hoboken, NJ, USA John Wiley & Sons, Inc 26.06.2014
Témata:	B method B‐RAIL formal method level crossings UML notation unified modeling language (UML)
ISBN:	1848217099, 9781848217096
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!