Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers (eng)
Langue : anglais
Edité par Springer, 2018
- Livre relié
- Neuf

Vendeur : Brook Bookstore On Demand, Napoli, NA, ItalieBrook Bookstore On Demand
Vendeur AbeBooks depuis 11 octobre 2022
Etat: Neuf
EUR 126,26
Quantité disponible : Plus de 20 disponibles
Ajouter au panierA propos de cet article
Questo è un articolo print on demand.
N° de réf. du vendeur adb2c05ebfb1b777ff507dde977d3c13
- Titre
- Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers (eng)
- Auteur
- Przigoda, Nils
- Éditeur
- Springer
- Année de publication
- 2018
- État de l'article
- new
- Reliure
- Couverture rigide
- Langue
- anglais
- ISBN à 10 chiffres
- 331972813X
- ISBN à 13 chiffres
- 9783319728131
- Poids de l'article
- 0,59 kilogramme
Demonstrates a detailed realization of the general flow using satisfiability solvers
Includes a case study that presents the possibilities of the state-of-the-art approaches
« Synopsis » peut appartenir à une autre édition de cet ouvrage.
À propos de l’auteur
Nils Przigoda is a system engineer at the Mobility Division of the Siemens AG, in Braunschweig, Germany. He received two Diploma degrees, one in mathematics and one in computer science, from the University of Bremen, Germany, in 2013. From 2013 to 2017, he did his doctorate in the Group for Computer Architecture at the University of Bremen and finished it in May 2017 with Dr. rer. nat. degree. Afterwards he switched from academia to industry by joining the Siemens AG in 2017. His research interests are in the design of reversible and quantum circuits as well as in the verification of formal models using SAT and SMT solvers. Nils Przigoda published several papers on international conferences such as ASP-DAC, DAC, MODELS and was Mathemacher des Monats (math maker of the month) as announced by the DMV (German Mathematical Society) in November, 2015.
Robert Wille is a full professor at the Johannes Kepler University Linz. From 2002 to 2006, Robert Wille studied computer science (Diploma) at the University of Bremen. After successfully completing his doctorate in 2009 (summa cum laude), he worked as postdoc at the University of Bremen and, since 2013, as Senior Researcher in the Cyber-Physical Systems department of the German Research Center for Artificial Intelligence (DFKI). Besides that, he served as lecturer at the University of Applied Science Bremen from 2010 to 2012 and was a guest professor for Technical Computer Science at the University of Potsdam in 2012 as well as for Embedded Systems at the Technical University of Dresden in 2013/2014. In 2014, he completed his habilitation and, since October 2015, he is a full professor at the Johannes Kepler University Linz and head of the Department for Integrated Circuit and System Design. Robert Wille's expertise is in the development of design technologies for various application areas - with a particular focus on the design, verification, and test of circuits and systems for conventional and emerging technologies.
Judith Przigoda (née Peters) is a system engineer at the OHB System AG. From 2007 to 2012, she studied computer science at the University of Lübeck, Germany, and received her Master degree in 2012. Afterwards, she moved to the University of Bremen for her doctorate studies. In 2015, she received the A. Richard Newton Young Student Fellow Award of the DAC. Later in 2015, she finished her doctorate (Dr.-Ing.). Her particular interests are embedded systems as well as their design and development. The specification of embedded systems as well as optimizations in the development process are parts of her research. In the recent years, she focused on timing issues in the formal specification of embedded systems. Since 2016, Judith Przigoda works at the satellite ground systems department of the OHB System AG, where her main focus are specifications and system design for satellite systems.
Rolf Drechsler received the Diploma and Dr. phil. nat. degrees in computer science from the Johann Wolfgang Goethe University in Frankfurt am Main, Frankfurt am Main, Germany, in 1992 and 1995, respectively. He worked at the Institute of Computer Science, Albert-Ludwigs University, Freiburg im Breisgau, Germany, from 1995 to 2000, and at the Corporate Technology Department, Siemens AG, Munich, Germany, from 2000 to 2001. Since October 2001, Rolf Drechsler is full professor and head of the Group of Computer Architecture, Institute of Computer Science, at the University of Bremen, Germany. In 2011, he additionally became the Director of the Cyber-Physical Systems Group at the German Research Center for Artificial Intelligence (DFKI) in Bremen. His current research interests include the development and design of data structures and algorithms with a focus on circuit and system design. He is an IEEE Fellow.
« A propos de ce titre » peut appartenir à une autre édition de cet ouvrage.
Brook Bookstore On Demand
Napoli, NA, Italie
Vendeur AbeBooks depuis 11 octobre 2022
Frais d'expédition de Italie vers Etats-Unis
| Article | 25 à 40 jours ouvrés | 60 à 60 jours ouvrés |
|---|---|---|
| Premier article | EUR 6,80 | EUR 511,00 |
Modes de paiement
Description de la boutique
Account dedicated to Print on Demand titles. Brook Bookstore offers a wide selection of books with a continuously updated catalog and fast shipments all over the world. We hold distribution rights with all of the publishers we promote and are in continuous search of new interesting titles to propose to our customers. We are part of Brandon Group SRL (an Italian company) and all of the orders are shipped from Europe. Depending on availability orders will be picked from our different warehouses. CONTACT US If you have any questions please do not hesitate to contact us sending a message to our store. We have a well prepared customer service team who will be happy to assist you. Our working hours are from Monday to Friday from 9:30 to 18:30 (CET, UTC +1) so messages received during the weekends might be responded with a slight delay but we guarantee you will get back to you as soon as possible. RETURNS If you want to return your order, please submit your request through Abebooks platform. Returns requests are managed case by case by our team and always in line with Abebooks policies: AbeBooks’ Return Policy guarantees that you can return any book for a refund within 30 days, when the return is due to an error on the bookseller’s part. When the motive of the return is not due to an error of the seller it is up to Brook Bookstore to accept the return or else after studying the case. CANCELLATION You can send a cancellation request to our customer service team while the package has not yet been shipped. After that we cannot ensure we can retrieve the parcel but we suggest you to get in touch with us in order to verify the case. INVOICE You can request the invoice to be issued together with the shipment of the order or, at the latest, in the same month of the shipment. …
Spécialité
Print on DemandProfil professionnel du vendeur
Brandon Group S.R.L.
Via Vannella Gaetani 27, Brandon Group
Napoli, NA Italie 80121
Conditions de vente
Brook Bookstore On Demand propose une large sélection de livres avec un catalogue constamment mis à jour et une livraison rapide dans le monde entier. Nous possédons les droits de distribution avec tous les éditeurs que nous promouvons et nous recherchons constamment de nouveaux titres intéressants à proposer à nos clients. Nous faisons partie du Brandon Group SRL (une société italienne) et toutes les commandes sont expédiées depuis l'Europe. En fonction des disponibilités, les commandes seront récupérées dans nos différents entrepôts.
Droit de rétractation
Si vous êtes un consommateur, vous pouvez exercer votre droit de rétractation sur le contrat conformément à ce qui suit. Le mot « consommateur » désigne toute personne physique agissant à des fins qui n'entrent pas dans le cadre de son activité commerciale, artisanale ou professionnelle.
Informations concernant le droit de rétractation
Droit statutaire de rétractation
Vous avez le droit d'exercer votre droit de rétractation sur ce contrat dans les 14 jours sans donner de raison.
Le délai de rétractation expirera au bout de 14 jours à compter du jour où vous-même, ou un tiers autre que le transporteur et désigné par vous, prendrez physiquement possession de la dernière marchandise, du dernier lot ou de la dernière pièce.
Pour exercer votre droit de rétractation, remplissez électroniquement et envoyez une déclaration claire sur notre site Web, sous « Vos achats » dans « Votre compte ». Nous vous communiquerons sans délai un accusé de réception de cette rétractation sur un support durable (par exemple, par e-mail).
Pour respecter le délai de rétractation, il vous suffit d'envoyer votre message concernant l'exercice de votre droit de rétractation avant l'expiration du délai de rétractation.
Effets de la rétractation
Si vous exercez votre droit de rétractation sur ce contrat, nous vous rembourserons tous les paiements que vous avez effectués, y compris les frais de livraison (à l'exception des frais supplémentaires résultant du choix d'un mode de livraison autre que le type de livraison standard le moins cher que nous proposons).
Nous pouvons déduire du remboursement la perte de valeur de toute marchandise livrée, si la perte est le résultat d'une manipulation inutile de votre part.
Nous effectuerons le remboursement dans les meilleurs délais, et au plus tard 14 jours après le jour où nous aurons été informés de votre décision d'exercer votre droit de rétractation sur ce contrat.
Nous effectuerons le remboursement en utilisant le même moyen de paiement que celui que vous avez utilisé pour la transaction initiale, sauf si vous en avez expressément convenu autrement ; en tout état de cause, aucuns frais ne vous seront facturés à la suite d'un tel remboursement.
Nous pouvons suspendre le remboursement jusqu'à ce que nous ayons reçu les marchandises ou que vous ayez fourni la preuve que vous avez renvoyé les marchandises, en fonction de la première éventualité.
Vous devez renvoyer les marchandises ou les remettre à Brook Bookstore On Demand, Bristol, United Kingdom, +39 3485885209, sans retard injustifié et, en tout état de cause, au plus tard 14 jours à compter du jour où vous nous avez communiqué votre décision de rétractation du présent contrat. Le délai est respecté si vous renvoyez les marchandises avant l'expiration du délai de 14 jours. Vous devrez prendre en charge les frais directs du renvoi des marchandises. Vous n'êtes responsable que de toute diminution de valeur des marchandises résultant d'une manipulation autre que celle nécessaire pour établir la nature, les caractéristiques et le fonctionnement des marchandises.
Exceptions au droit de rétractation
Le droit de rétractation ne s'applique pas à ce qui suit :
- Distribution de journaux, de revues ou de magazines, à l'exception des contrats d'abonnement ; et
- Fourniture d'un contenu numérique qui n'est pas fourni sur un support matériel (par exemple, sur un CD ou un DVD) si vous avez accepté, lors de votre commande, que nous puissions commencer à le livrer et que vous ne puissiez pas exercer votre droit de rétractation une fois la livraison commencée.