Verifying OCL Specifications of UML Models - Dissertation
Idioma: inglés
Editorial: Lehmanns Media, 2006
- Tapa blanda
- Usado
Librería: Bookbot, Prague, Republica ChecaBookbot
Vendedor de AbeBooks desde 7 de octubre de 2023
Condición: Usado - Excelente
EUR 35,09
Cantidad disponible: 1 disponibles
Añadir al carritoDescripción del artículo del vendedor
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.…
N° de ref. del artículo 6e27f080-312f-4ec9-bf41-ec8d5abeecae
Detalles bibliográficos
- Título
- Verifying OCL Specifications of UML Models - Dissertation
- Autor
- Marcel Kyas
- Editorial
- Lehmanns Media
- Año de publicación
- 2006
- Estado
- Fine
- Encuadernación
- Softcover
- Idioma
- inglés
- ISBN 10
- 3865411428
- ISBN 13
- 9783865411426
- Catálogos de vendedores
- Mathematics
Bookbot
Prague, Republica Checa
Vendedor de AbeBooks desde 7 de octubre de 2023
Tarifas de envío de Republica Checa a Estados Unidos de America
| Artículo | De 4 a 7 días hábiles | De 4 a 7 días hábiles |
|---|---|---|
| Primer artículo | EUR 20,99 | EUR 20,99 |
Métodos de pago
- Giro bancario
- PayPal
Descripción de la tienda
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.…
Especialidad
used booksInformación empresarial del vendedor
Knihobot s.r.o.
Dukelských hrdinů 359/21
Praha, Republica Checa 17000
Condiciones de venta
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.
Derecho al desistimiento
Si es un consumidor, puede rescindir el contrato de acuerdo con lo siguiente. Por consumidor se entiende cualquier persona física que actúe con fines ajenos a su actividad comercial, empresarial, oficio o profesión.
Información sobre el derecho de desistimiento
Derecho legal de desistimiento
Tiene derecho a rescindir este contrato en un plazo de 14 días sin dar ningún motivo.
El periodo de desistimiento vencerá a los 14 días desde que usted, o un tercero que no sea el transportista e indicado por usted, adquiera la posesión física del último bien o del último lote o pieza.
Para ejercer el derecho de desistimiento, complete de forma electrónica y envíe una declaración clara en nuestro sitio web, desde "Mis compras" en "Mi cuenta". Le enviaremos sin demora un acuse de recibo de dicho desistimiento a través de un soporte duradero (por ejemplo, por correo electrónico).
Para cumplir con el plazo de desistimiento, basta con que envíe su comunicación relativa al ejercicio del derecho de desistimiento antes de que venza el periodo de desistimiento.
Efectos del desistimiento
Si rescinde este contrato, le reembolsaremos todos los pagos que hayamos recibido de usted, incluidos los gastos de envío (excepto los gastos adicionales que surjan si elige un tipo de envío que no sea el tipo de envío estándar más económico que ofrecemos).
Podemos hacer una deducción del reembolso por la pérdida de valor de cualquier bien suministrado, si la pérdida es el resultado de una manipulación innecesaria por su parte.
Efectuaremos el reembolso sin demoras indebidas y, a más tardar, 14 días después de que se nos informe de su decisión de rescindir este contrato.
Efectuaremos el reembolso utilizando el mismo medio de pago que utilizó para la transacción inicial, a menos que haya acordado expresamente lo contrario; en cualquier caso, no incurrirá en ningún cargo como resultado de dicho reembolso.
Podremos retener el reembolso hasta que hayamos recibido los bienes o hasta que nos haya presentado una prueba de que los ha devuelto, lo que ocurra primero.
Deberá devolver los bienes o entregarlos a Bookbot, Praha, Czech Republic, sin demoras indebidas y, en cualquier caso, en un plazo máximo de 14 días a partir del día en que nos comunique su desistimiento del presente contrato. El plazo se cumple si devuelve la mercancía antes de que venza el periodo de 14 días. Tendrá que asumir los gastos directos de devolución de los bienes. Usted solo es responsable de la disminución del valor de los bienes como resultado de una manipulación distinta a la necesaria para establecer la naturaleza, las características y el funcionamiento de los bienes.
Excepciones al derecho de desistimiento
El derecho de desistimiento no se aplica a lo siguiente:
- La entrega de periódicos, diarios o revistas, con la excepción de los contratos de suscripción; y
- El suministro de contenido digital que no se proporcione en un soporte tangible (por ejemplo, en un CD o DVD) si, al hacer el pedido, aceptó que podíamos empezar a entregarlo y que no podría desistir una vez iniciada la entrega.
Condiciones de envío
Shipping costs fully cover all US customs tariffs and charges. No additional payment will be required by the US authorities.