Composing Model-Based Analysis Tools
Venduto da moluna, Greven, Germania
Venditore AbeBooks dal 9 luglio 2020
Nuovi - Brossura
Condizione: Nuovo
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Aggiungere al carrelloVenduto da moluna, Greven, Germania
Venditore AbeBooks dal 9 luglio 2020
Condizione: Nuovo
Quantità: Più di 20 disponibili
Aggiungere al carrelloDieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-d.
Codice articolo 753226101
This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering. It is based on the Dagstuhl Seminar 19481 „Composing Model-Based Analysis Tools“, which was held November 24 to 29, 2019, at Schloss Dagstuhl, Germany, where current challenges, their background and concepts to address them were discussed.
The book is structured in two parts, and organized around five fundamental core aspects of the subject: (1) the composition of languages, models and analyses; (2) the integration and orchestration of analysis tools; (3) the continual analysis of models; (4) the exploitation of results; and (5) the way to handle uncertainty in model-based developments. After a chapter on foundations and common terminology and a chapter on challenges in the field, one chapter is devoted toeach of the above five core aspects in the first part of the book. These core chapters are accompanied by additional case studies in the second part of the book, in which specific tools and experiences are presented in more detail to illustrate the concepts and ideas previously introduced.
The book mainly targets researchers in the fields of software engineering and formal methods as well as software engineers from industry with basic familiarity with quality properties, model-driven engineering and analysis tools. From reading the book, researchers will receive an overview of the state-of-the-art and current challenges, research directions, and recent concepts, while practitioners will be interested to learn about concrete tools and practical applications in the context of case studies.
Robert Heinrich holds the interim professorship (Professurvertretung) for a full professorship in software engineering at Karlsruhe Institute of Technology (KIT). He heads the Quality-driven System Evolution research group at KIT and the mobility lab at Competence Center for Applied Security Technology (KASTEL). His research interests include software engineering and evolution with a special focus on model-based analysis of several quality properties for heterogeneous systems.
Francisco Durán is Full Professor at the Department of Computer Science of the University of Málaga, Spain. His main research topics are formal methods in software engineering, with a focus on the analysis of complex systems and their compositionality.
Carolyn Talcott is a Program Director and leader of the Symbolic Systems Technology group at SRI International in Menlo Park, CA, USA. Her work, published in more than 130 articles, falls under the general heading of formal reasoning about distributed cyber-physical and biological systems.
Steffen Zschaler is a Reader in Software Engineering in the Department of Informatics at King's College London, UK. He also directs MDENet, the expert network for model-driven engineering. His research is in model-driven engineering with a particular focus on the foundations of modularity and the optimization of non-functional properties.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Visita la pagina della libreria
Avviso di revoca/
Condizioni Generali di Contratto e informazioni per i clienti/
Informativa sulla privacy
Diritto di recesso per consumatori
(Il consumatore è qualsiasi persona fisica che conclude un negozio giuridico per scopi che non possono essere attribuiti alla sua attività professionale nè commerciale nè autonoma.)
Informativa sul diritto di recesso
Diritto di recesso
Il presente contratto può essere rescisso entro 1 mese senza obbligo di specificarne i motivi.
Il termine di revoca è di 1...
Avviso di revoca/
Condizioni Generali di Contratto e informazioni per i clienti/
Informativa sulla privacy
Diritto di recesso per consumatori
(Il consumatore è qualsiasi persona fisica che conclude un negozio giuridico per scopi che non possono essere attribuiti alla sua attività professionale nè commerciale nè autonoma.)
Informativa sul diritto di recesso
Diritto di recesso
Il presente contratto può essere rescisso entro 1 mese senza obbligo di specificarne i motivi.
Il termine di revoca è di 1 mese a partire dalla data
in cui voi o un terzo da voi nominato, che non è il trasportatore, avete o ha preso in consegna la merce, qualora abbiate ordinato una o più merci nell'ambito di un ordine unico e queste merci vengano consegnate in un unica fornitura;
in cui voi o un terzo da voi nominato, che non è il trasportatore, avete o ha preso in consegna l'ultima merce, qualora abbiate ordinato più merci nell'ambito di un ordine unico e queste vengano consegnate separatamente;
in cui voi o un terzo da voi nominato, che non è il trasportatore, avete o ha preso in consegna l'ultima fornitura parziale o l'ultimo pezzo, qualora abbiate ordinato una merce che viene consegnata in diverse forniture parziali o pezzi;
Per esercitare il vostro diritto di recesso, dovete informarci (Moluna GmbH, Münsterstr. 105, 48268 Greven, Numero di telefono: 02571/5 69 89 33, Numero di fax: 02571/5 69 89 30, Indirizzo E-Mail: abe@moluna.de) mediante una dichiarazione univoca (p. es. una lettera postale, un fax o una e-mail) relativa alla vostra decisione di rescindere il contratto. A tale proposito potete utilizzare il facsimile del modello di lettera di revoca allegato che però non è prescritto.
Al fine dell'osservanza del termine di revoca è sufficiente che la comunicazione relativa all'esercizio del diritto di recesso venga spedita prima della scadenza del termine di revoca.
Conseguenze del recesso
Qualora rescindiate il presente contratto, abbiamo l'obbligo di restituirvi tutti i pagamenti che abbiamo ricevuto da voi, comprese le spese di spedizione (eccetto i costi aggiuntivi che risultano dal fatto che abbiate scelto un termine di consegna diverso dalla consegna standard più vantaggiosa da noi offerta), immediatamente e al più tardi entro 14 giorni dalla data in cui ci è pervenuta la comunicazione relativa alla vostra revoca del presente contratto. Per questa restituzione utilizziamo la stessa modalità di pagamento che avete usato al momento della transazione originaria, salvo diversamente concordato esplicitamente; in nessun caso vi verranno addebitati costi per tale restituzione.
Noi possiamo rifiutare di restituire il pagamento fino a quando abbiamo ricevuto la merce oppure fino a quando ci portate la prova che avete spedito indietro la merce, a seconda di qual è il momento antecedente.
Voi dovete spedirci o consegnarci la merce immediatamente e in ogni caso al più tardi entro 14 giorni a partire dalla data in cui ci informate circa la revoca del presente contratto . Il termine viene concesso se spedite la merce prima della scadenza del termine di 14 giorni.
Voi assumete i costi indiretti della restituzione delle merci.
Voi siete responsabili per eventuali perdite di valore delle merci, solo se tale perdita è riconducibile un trattamento delle stesse non necessario al fine del controllo della consistenza, delle caratteristiche e della modalità di funzionamento.
Motivi di esclusione o cancellazione
Il diritto di revoca non è previsto per contratti
relativi alla fornitura di merci che non sono prefabbricate e per la produzione delle quali è determinante una scelta o determinazione individuale da parte del consumatore oppure che sono evidentemente adattate alle esigenze personali del consumatore;
relativi alla fornitura di merci che si deteriorano rapidamente o la cui data di scadenza verrebbe rapidamente superata;
relativi a bevande alcoliche il cui presso è stato concordato al momento della stipula del contratto, ma che potrebbero essere consegnate al più presto 30 giorni dalla data della stipula del contratto e il valore attuale delle quali dipende dalle oscillazioni sul mercato sulle quali l'imprenditore non ha influsso;
relativi alla fornitura di giornali, riviste o illustrati, ad eccezione di contratti di abbonamento.
Il diritto di revoca decade prima del tempo per contratti
relativi alla fornitura di merci che, per motivi della tutela della salute o di igiene, non sono adatti alla restituzione, se il sigillo è stato rimosso dopo la consegna;
relativi alla fornitura di merci, se questi dopo la consegna sono stati mischiati con altri beni in modo inseparabile a causa della loro consistenza;
relativi alla fornitura di registrazioni audio o video o software di computer in una confezione sigillata, se il sigillo è stato rimosso dopo la consegna.
Fac simile modello di revoca
(Qualora desideriate rescindere il contratto, vi preghiamo di restituire il presente modulo debitamente compilato.)
Alla Moluna GmbH, Engberdingdamm 27, 48268 Greven, Numero di fax: 02571/5 69 89 30, Indirizzo e-mail: abe@moluna.de :
Con la presente io sottoscritto/noi sottoscritti rescindo/rescindiamo il contratto da me/da noi stipulato in relazione all'acquisto delle seguenti merci ()/
all'esecuzione dei seguenti servizi ()
Ordinati il ()/ ricevuti il ()
Nome del consumatore
Indirizzo del consumatore
Firma del consumatore (solo in caso di comunicazione cartacea)
Data
(*) Sbarrare le indicazioni non corrispondenti.
II. Kundeninformationen
Moluna GmbH
Engberdingdamm 27
48268 Greven
Deutschland
Telefon: 02571/5698933
E-Mail: abe@moluna.de
Wir sind nicht bereit und nicht verpflichtet, an Streitbeilegungsverfahren vor Verbraucherschlichtungsstellen teilzunehmen.
Die technischen Schritte zum Vertragsschluss, der Vertragsschluss selbst und die Korrekturmöglichkeiten erfolgen nach Maßgabe der Regelungen "Zustandekommen des Vertrages" unserer Allgemeinen Geschäftsbedingungen (Teil I.).
3.1. Vertragssprache ist deutsch .
3.2. Der vollständige Vertragstext wird von uns nicht gespeichert. Vor Absenden der Bestellung können die Vertragsdaten über die Druckfunktion des Browsers ausgedruckt oder elektronisch gesichert werden. Nach Zugang der Bestellung bei uns werden die Bestelldaten, die gesetzlich vorgeschriebenen Informationen bei Fernabsatzverträgen und die Allgemeinen Geschäftsbedingungen nochmals per E-Mail an Sie übersandt.
Die wesentlichen Merkmale der Ware und/oder Dienstleistung finden sich im jeweiligen Angebot.
5.1. Die in den jeweiligen Angeboten angeführten Preise sowie die Versandkosten stellen Gesamtpreise dar. Sie beinhalten alle Preisbestandteile einschließlich aller anfallenden Steuern.
5.2. Die anfallenden Versandkosten sind nicht im Kaufpreis enthalten. Sie sind über eine entsprechend bezeichnete Schaltfläche auf unserer Internetpräsenz oder im jeweiligen Angebot aufrufbar, werden im Laufe des Bestellvorganges gesondert ausgewiesen und sind von Ihnen zusätzlich zu tragen, soweit nicht die versandkostenfreie Lieferung zugesagt ist.
5.3. Die Ihnen zur Verfügung stehenden Zahlungsarten sind unter einer entsprechend bezeichneten Schaltfläche auf unserer Internetpräsenz oder im jeweiligen Angebot ausgewiesen.
5.4. Soweit bei den einzelnen Zahlungsarten nicht anders angegeben, sind die Zahlungsansprüche aus dem geschlossenen Vertrag sofort zur Zahlung fällig.
6.1. Die Lieferbedingungen, der Liefertermin sowie gegebenenfalls bestehende Lieferbeschränkungen finden sich unter einer entsprechend bezeichneten Schaltfläche auf unserer Internetpräsenz oder im jeweiligen Angebot.
Soweit im jeweiligen Angebot oder unter der entsprechend bezeichneten Schaltfläche keine andere Frist angegeben ist, erfolgt die Lieferung der Ware innerhalb von 3-5 Tagen nach Vertragsschluss (bei vereinbarter Vorauszahlung jedoch erst nach dem Zeitpunkt Ihrer Zahlungsanweisung).
6.2. Soweit Sie Verbraucher sind ist gesetzlich geregelt, dass die Gefahr des zufälligen Untergangs und der zufälligen Verschlechterung der verkauften Sache während der Versendung erst mit der Übergabe der Ware an Sie übergeht, unabhängig davon, ob die Versendung versichert oder unversichert erfolgt. Dies gilt nicht, wenn Sie eigenständig ein nicht vom Unternehmer benanntes Transportunternehmen oder eine sonst zur Ausführung der Versendung bestimmte Person beauftragt haben.
Sind Sie Unternehmer, erfolgt die Lieferung und Versendung auf Ihre Gefahr.
Die Mängelhaftung richtet sich nach der Regelung "Gewährleistung" in unseren Allgemeinen Geschäftsbedingungen (Teil I).
letzte Aktualisierung: 23.10.2019
| Quantità dell?ordine | Da 26 a 60 giorni lavorativi | Da 26 a 60 giorni lavorativi |
|---|---|---|
| Primo articolo | EUR 48.99 | EUR 48.99 |
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.