Verifying OCL Specifications of UML Models - Dissertation
Lingua: inglese
Editore: Lehmanns Media, 2006
- Brossura
- Usato
Da: Bookbot, Prague, Repubblica CecaBookbot
Venditore AbeBooks dal 7 ottobre 2023
Condizione: Usato - Ottimo
EUR 18,29
Quantità: 1 disponibile
Aggiungi al carrelloDescrizione dell’articolo da parte del venditore
Leichte Gebrauchsspuren; Leichte Verformung / umgeknickte Seiten. The Unified Modelling Language (UML) and the Object Constraint Language (OCL) serve as specification languages for embedded and realtime systems used in a safe tycritical environment. In this dissertation class diagrams, object diagrams, and OCL constraints are formalised. The formalisation serves as foundation for a trans lation of class diagrams, state machines, and constraints into the theorem prover PVS. This enables the formal verification of models defined in a subset of UML using the interactive theorem prover. The type system of OCL makes writing specifications difficult while the model is still under development. To overcome this difficulty a new type system is proposed, based on intersection types, union types, and bounded operator abstraction. To reduce the complexity of the model and to increase the structure of th especification, compositional reasoning is used. The introduction of history variables allows compositional specifications. Proof rules support compositional reasoning. The feasibility of the presented approach is demonstrated by two casestudies. The first one is the ,Sieve of Eratosthenes" and the se cond one is a part of the medium altitude reconnaissance system (MARS) deployed in F-16 fighters of the Royal Dutch Air Force.…
Codice articolo 6e27f080-312f-4ec9-bf41-ec8d5abeecae
Dati bibliografici
- Titolo
- Verifying OCL Specifications of UML Models - Dissertation
- Autore
- Marcel Kyas
- Editore
- Lehmanns Media
- Anno di pubblicazione
- 2006
- Condizione
- Fine
- Rilegatura
- Softcover
- Lingua
- inglese
- ISBN 10
- 3865411428
- ISBN 13
- 9783865411426
Bookbot
Prague, Repubblica Ceca
Venditore AbeBooks dal 7 ottobre 2023
Tariffe di spedizione da Repubblica Ceca a U.S.A.
| Articolo | Da 4 a 7 giorni lavorativi | Da 4 a 7 giorni lavorativi |
|---|---|---|
| Primo articolo | EUR 18,99 | EUR 18,99 |
Metodi di pagamento
- Bonifico bancario
- PayPal
Descrizione dello Store
Bücher kaufen und verkaufen an einem Ort, schnell und ohne Aufwand – so lautet unser Bookbot Erfolgskonzept. Mit unserem innovativen Konzept machen wir mit Bookbot den Online-Buchhandel nachhaltiger und bringen hochwertige, gebrauchte Bücher antiquarisch in den Umlauf. Mit der Leidenschaft für Bücher, dem Wunsch ihren Lebenszyklus zu verlängern und dabei gleichzeitig die Umweltbelastung zu reduzieren, hat Dominik Gazdoš Bookbot gegründet. Im klaren Fokus stehen dabei Kundenkomfort und Benutzerfreundlichkeit. Unsere Plattform verspricht Leser*innen eine breite Auswahl sowie einen sicheren Kaufprozess. Von Bestsellern über Klassiker bis hin zu Nischenliteratur bietet wir auch lesefreudigen Österreicher*innen eine wahre Schatzkiste zu fairen Preisen. Im Gegensatz zu herkömmlichen Verkaufsplattformen gehen wir einen Schritt weiter, indem wir den gesamten Verkaufs- und Versandprozess übernehmen – angefangen beim professionellen Abfotografieren der Bücher bis hin zur Ermittlung eines fairen Preises sowie der Kommunikation mit potenziellen Käufer*innen. Verkäufer*innen schicken lediglich ihre Buchschätze an uns und warten, bis diese neue Besitzer*innen finden und das Entgelt bei ihnen eintrudelt. Die breitgefächerte Auswahl an Buch-Genres reicht von Klassikern, Bestsellern über alte Schätze und kultigen Comics bis hin zu Fachpublikationen. Wir bieten hunderttausende Titel aller Genres in vielen Sprachen, meist in perfektem Zustand an. Bei älteren oder beschädigten Büchern finden sich online detaillierte Bilder des Zustands auf unserer Website. Wir sind stolz, bereits 200.000 glückliche Bookbot-Kund*innen an Bord zu haben und bieten damit eine breite Community an vielen potentielle Käufer*innen. Nach gelungenen Markteintritten in Tschechien, Deutschland und der Slowakei, sind wir nun auch in Österreich tätig.…
Specializzazione
used booksInformazioni sull’azienda del venditore
Knihobot s.r.o.
Dukelských hrdinů 359/21
Praha, Repubblica Ceca 17000
Condizioni di vendita
Impressum
Bookbot.de is an online platform operated by Knihobot s.r.o.
Our Customer Hotlines
We are available Monday to Sunday from 8:00 AM to 8:00 PM and look forward to your call.
Customer Service: +49 78 195 633 044
Email: info@bookbot.de
Company Headquarters
Knihobot s.r.o.
Dukelských hrdinů 359/21
170 00 Prague 7 Holešovice
Czech Republic
ID No.: 05400651
VAT ID: CZ05400651
Represented by Managing Directors: Dominik Gazdoš (CEO) and David Gazdoš (CTO)
Knihobot s.r.o. is registered with the Municipal Court in Prague under C 289573/MSPH, Reg. No. CZ05400651.
Return Address
Knihobot s.r.o.
Kolbenova 931/40b
190 00
Prague 9
Czech Republic
Contact
Phone: +49 78 195 633 044
Email: info@bookbot.de
Knihobot s.r.o.
Diritto di recesso
Se sei un consumatore puoi recedere dal contratto in conformità con quanto segue. Per Consumatore si intende qualsiasi persona fisica che agisce per scopi estranei alla propria attività commerciale, imprenditoriale, artigianale o professionale.
Informazioni sul diritto di recesso
Diritto legale di recesso
Hai il diritto di recedere dal presente contratto entro 14 giorni senza fornire alcuna motivazione.
Il periodo di recesso scade dopo 14 giorni dal giorno in cui tu o una terza parte, diversa dal vettore e da te indicata, acquisisce il possesso fisico dell'ultimo bene o dell'ultimo lotto o pezzo.
Per esercitare il diritto di recesso, compila e invia elettronicamente una dichiarazione esplicita sul nostro sito Web, alla voce “I miei acquisti” nella sezione “Mio account”. Ti comunicheremo senza indugio una conferma di ricezione di tale recesso su un supporto durevole (ad es. via e-mail).
Per rispettare il termine di recesso, è sufficiente inviare la comunicazione relativa all'esercizio del diritto di recesso prima della scadenza del periodo di recesso stesso.
Effetti del recesso
In caso di recesso dal presente contratto, ti rimborseremo tutti i pagamenti ricevuti, compresi i costi di spedizione (ad eccezione dei costi supplementari derivanti dalla tua eventuale scelta di un tipo di spedizione diverso dal tipo meno costoso di consegna standard da noi offerto).
Potremo effettuare una detrazione dal rimborso per la perdita di valore dei beni forniti, qualora tale perdita sia il risultato di una manipolazione non necessaria da parte tua.
Eseguiremo il rimborso senza indebito ritardo e non oltre 14 giorni dal giorno in cui saremo informati della tua decisione di recedere dal presente contratto.
Il rimborso sarà effettuato utilizzando lo stesso mezzo di pagamento da te usato per la transazione iniziale, salvo che tu non abbia espressamente concordato altrimenti; in ogni caso, non dovrai sostenere alcun costo quale conseguenza di tale rimborso.
Possiamo trattenere il rimborso finché non avremo ricevuto i beni oppure finché non avrai fornito la prova di averli rispediti, a seconda di quale condizione si verifichi per prima.
Dovrai rispedire i beni o consegnarli a Bookbot, K Pérovně 1677/9, Areál Logicor, 10200, Praha, Czech Republic, senza indebito ritardo e, in ogni caso, entro 14 giorni dal giorno in cui ci hai comunicato la tua volontà di recedere dal presente contratto. Il termine è rispettato se rispedisci i beni prima della scadenza del periodo di 14 giorni. I costi diretti della restituzione dei beni saranno a tuo carico. Sei responsabile solo della diminuzione del valore dei beni risultante da una manipolazione diversa da quella necessaria per stabilire la natura, le caratteristiche e il funzionamento dei beni stessi.
Eccezioni al diritto di recesso
Il diritto di recesso non si applica a:
- La fornitura di giornali, periodici o riviste ad eccezione dei contratti di abbonamento; e
- La fornitura di contenuto digitale non fornito su un supporto materiale (ad es. su un CD o DVD), se al momento dell'invio dell'ordine hai accettato l'inizio dell'esecuzione e hai riconosciuto che non avresti potuto recedere una volta iniziata l'esecuzione.
Condizioni di spedizione
Shipping costs fully cover all US customs tariffs and charges. No additional payment will be required by the US authorities.