Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Lingua: inglese
Editore: Springer, 2019
- Brossura
- Nuovo
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Venditore AbeBooks dal 25 marzo 2015
Condizione: Nuovo
EUR 184,01
Quantità: Più di 20 disponibili
Aggiungi al carrelloDescrizione dell’articolo da parte del venditore
In English.
Codice articolo ria9783319892146_new
- Titolo
- Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
- Autore
- Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf
- Editore
- Springer
- Anno di pubblicazione
- 2019
- Condizione
- New
- Rilegatura
- Brossura
- Lingua
- inglese
- ISBN 10
- 3319892142
- ISBN 13
- 9783319892146
- Peso dell'articolo
- 530 grammi
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
"Riassunto" può appartenere a un’altra edizione di questo titolo.
Informazioni sull’autore
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.
"Descrizione articolo" può appartenere a un’altra edizione di questo titolo.
Ria Christie Collections
Uxbridge, Regno Unito
Venditore AbeBooks dal 25 marzo 2015
Tariffe di spedizione da Regno Unito a U.S.A.
| Articolo | Da 6 a 12 giorni lavorativi | Da 6 a 12 giorni lavorativi |
|---|---|---|
| Primo articolo | EUR 13,28 | EUR 15,29 |
Metodi di pagamento
Descrizione dello Store
Hello! Ria Christie Collections is an online venture that was initially set up in 2012 to sell books. We do not have a physical high street store. We are professional online booksellers. We only sell brand new books in perfect condition that we source from various suppliers and the publishers. Primarily, our aim is to provide an excellent service to all our customers. We always work as a team to achieve this. Our other objectives are to: 1. Ensure that all our products reach their destination quickly in a safe and secure manner 2. Answer to all our customer queries within 24 hours 3. Ensure that our customers are happy with their purchases 4. Provide all the items at a competitive price 5. Always listen to our customers Ria Christie Collections is not a registered company. It is a Sole Trader venture. Other key information is shown below: Contact Person Name: Rakesh Luchmun (Mr) Storefront Name: Ria Christie Collections Place of Establishment Address: Suite B; ARUN House; ARUN Building Arundel Road Uxbridge UB8 2RR United Kingdom E-Mail Address: riachristie@hotmail.co.uk VAT Number: GB 160 5650 25 We always work hard and aim to comply with all of Abebooks Policies. If you have any issues, please do not hesitate to write to us whether before or after a purchase. We promise to reply to you promptly and, in any case, within 24 hours. Thank you kindly! Yours sincerely Mr Rakesh Luchmun (Founder) and the Ria Christie Collections Team…
Specializzazione
Educational books, Textbooks, Fiction, Non- fictionInformazioni sull’azienda del venditore
Ryefield Investments Limited
175 Pield Heath Road
Uxbridge, Regno Unito UB8 3NL
Condizioni di vendita
All Returns and Refund are as per Abebooks policies.
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 Ria Christie Collections, Uxbridge, United Kingdom, 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
Orders usually ship within 2 business days. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required. Thank you!