Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Improvement of Formal Methods Approach using Pattern Perspective

Name: Improvement of Formal Methods Approach using Pattern Perspective
Brand: LAP Lambert Academic Publishing
SKU: 15575774
Price: 320.54 RON
Availability: InStock
Author: Enas El-Sharawy
ISBN: 9783330007086

Enas El-Sharawy

Limba

engleză

Carte Carte broșată

Codul Libristo: 15575774

Editura LAP Lambert Academic Publishing, noiembrie 2015

Event-B is a formal method for the system level modeling and analysis of dependable applications. It... Descrierea completă

Codul Libristo: 15575774

148 b

320.54 lei

În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Idea Divini Amoris Seu Expositio Distincta Primi AC Maximi Mandati Eusebius Amort

Carte broșată

116.53 lei

Kočičí válečníci: Postrachova pomsta Erin Hunterová

Carte broșată

47.35 lei

Sonety platónské jeskyňky & jiné básně Zbyněk Benýšek

Carte broșată

27.41 lei

In viaggio con la tigre Mariesa Dulak

Copertă tare

94.72 lei

eTrex Handbuch Michael Blomeke

Carte broșată

104.69 lei

Mráz v kostech Jenny Nowak

Foaie

91.92 lei

Storie di Natale - parte 1 Alcott

MP3

50.16 lei

Wahrheiten. Life is a Story - story.one Katharina Ahlers

Copertă tare

89.73 lei

LLIBRE D'ACTIVITATS AGUS JAUME COPONS RAMON

Carte broșată

53.38 lei

Positive Supervision und Intervision Fredrike P. Bannink

Carte broșată

182.80 lei

Das Erlebnis und die Dichtung Wilhelm Dilthey

Carte broșată

143.64 lei

Rio-Hacha Et Les Indiens Goajires CANDELIER-H

Carte broșată

132.84 lei

Introduction A l'Etude de la Legislation Et de la Jurisprudence Forestieres Meaume-E

Carte broșată

133.05 lei

Sozialarbeit an berufsbildenden Schulen in Niedersachsen. Gesamtstruktur, Arbeitsfeld und Berufspraxis Heike Meyer

Carte broșată

89.53 lei

Siete pilares para la felicidad NOTKER WOLF

Carte broșată

88.07 lei

Mis soledades Fermín Amezcua Molero

Carte broșată

97.53 lei

Berlinisches Archiv der Zeit und ihres Geschmacks Friedrich Eberhard Rambach

Carte broșată

182.80 lei

Risikomanagement und Effektive Corporate Governance Heike Winter

Carte broșată

319.29 lei

Antisemitismus in den geistlichen Spielen des Spatmittelalters am Beispiel des Frankfurter Passionsspiels von 1493 Christoph Marx

Carte broșată

89.53 lei

Event-B is a formal method for the system level modeling and analysis of dependable applications. It is supported by an open and extendable Eclipse-based tool set called Rodin. In this work we proposed using Automatic theorem provers known as SMT-solvers with event-B pattern. The benefits of that are to reduce the proving effort, to reuse a model and to increase the degree of automation. In this book, we proposed five phases to refine UML model and convert it to be a pattern for many benefit for inexperience designer. These advantages as reduce the proof obligation, reuse a model and to increase the degree of automation and to generate the code with high validation. Furthermore, our work used the agentless data collection approach to refine ATM system and validate consistent by event-B and SMT-Solver. That spread the using of an event-B to cover the open system instead of the only closed system which hasn't interaction within the environment. Moreover, applying our work allows to reuse pattern. This output pattern is valid, high automation and easy to use.