Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formalisation of SysML Models and Analysis based on Refinement

Name: Formalisation of SysML Models and Analysis based on Refinement
Brand: LAP Lambert Academic Publishing
SKU: 15200772
Price: 74.39 EUR
Availability: InStock
Author: Lucas Lima
ISBN: 9783659946585

Lucas Lima

Sprache

Englisch

Buch Broschur

Libristo-Code: 15200772

Verlag LAP Lambert Academic Publishing, November 2015

The increasing complexity of systems has led to increasing difficulty in design. For critical system... Vollständige Beschreibung

Libristo-Code: 15200772

182 b

74.39 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Ekonomicheskaya Organizovannaya Prestupnost' V Rossii Anna Repetskaya

Broschur

83.09 €

In Balance Thierry Ball

Broschur

34.99 €

Proroctví Vladimír Chvátil

Spiel

48.19 €

Initiales n° 09 - Initiales P.K. Klossowski

Broschur

20.09 €

Antarktida Pokáč

Audio CD

13.89 €

MACHINE LEARNING CON PYTORCH Y SCIKIT LEARN RASCHKA

Buch

53.19 €

Agent 327. Band 12 Martin Lodewijk

Hardcover

14.95 €

Magie na vzestupu Ilona Andrews

Hardcover

13.49 €

The increasing complexity of systems has led to increasing difficulty in design. For critical systems, for which safety is a major concern, early verification and validation (V&V) is recognised as a valuable approach to promote dependability. We address these issues with a refinement technique for SysML supported by tools. In this work we describe our semantics for SysML, which is defined using a state-rich process algebra called CML and implemented in a tool for automatic generation of formal models. We also show how the semantics can be used for refinement-based analysis and development. Our case studies are a leadership-election protocol, a critical component of an industrial application, and a dwarf signal, a device used to control rail traffic. Our contributions are: a set of guidelines that provide meaning to the different modelling elements of SysML used during the design of systems; the individual formal semantics for SysML activities, blocks and interactions; an integrated semantics that combines these semantics with another defined for state machines; and a framework for reasoning using refinement about systems specified by collections of SysML diagrams.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formalisation of SysML Models and Analysis based on Refinement

Autor Lucas Lima

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2016

Anzahl der Seiten 320

EAN 9783659946585

Libristo-Code 15200772

Verlag LAP Lambert Academic Publishing

Gewicht 495

Abmessungen 150 x 220 x 19

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert