Model-Based Testing for Embedded Systems
Langue : anglais
Edité par Taylor & Francis Inc Sep 2011, 2011
Série : Livre 7 sur 7 - Computational Analysis, Synthesis, and Design of Dynamic Systems
- Livre relié
- Neuf

Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Vendeur AbeBooks depuis 14 août 2006
Etat: Neuf
EUR 379,51
Quantité disponible : 2 disponibles
Ajouter au panierA propos de cet article
Neuware.
N° de réf. du vendeur 9781439818459
- Titre
- Model-Based Testing for Embedded Systems
- Auteur
- Justyna (Harvard University Zander
- Éditeur
- Taylor & Francis Inc Sep 2011
- Année de publication
- 2011
- État de l'article
- Neu
- Reliure
- Buch
- Langue
- anglais
- ISBN à 10 chiffres
- 1439818452
- ISBN à 13 chiffres
- 9781439818459
- Poids de l'article
- 1 442 grammes
- Dimensions
- 261x184x36 mm
- Série
- Livre 7 sur 7: Computational Analysis, Synthesis, and Design of Dynamic Systems
What the experts have to say about Model-Based Testing for Embedded Systems:
"This book is exactly what is needed at the exact right time in this fast-growing area. From its beginnings over 10 years ago of deriving tests from UML statecharts, model-based testing has matured into a topic with both breadth and depth. Testing embedded systems is a natural application of MBT, and this book hits the nail exactly on the head. Numerous topics are presented clearly, thoroughly, and concisely in this cutting-edge book. The authors are world-class leading experts in this area and teach us well-used and validated techniques, along with new ideas for solving hard problems.
"It is rare that a book can take recent research advances and present them in a form ready for practical use, but this book accomplishes that and more. I am anxious to recommend this in my consulting and to teach a new class to my students."
—Dr. Jeff Offutt, professor of software engineering, George Mason University, Fairfax, Virginia, USA
"This handbook is the best resource I am aware of on the automated testing of embedded systems. It is thorough, comprehensive, and authoritative. It covers all important technical and scientific aspects but also provides highly interesting insights into the state of practice of model-based testing for embedded systems."
—Dr. Lionel C. Briand, IEEE Fellow, Simula Research Laboratory, Lysaker, Norway, and professor at the University of Oslo, Norway
"As model-based testing is entering the mainstream, such a comprehensive and intelligible book is a must-read for anyone looking for more information about improved testing methods for embedded systems. Illustrated with numerous aspects of these techniques from many contributors, it gives a clear picture of what the state of the art is today."
—Dr. Bruno Legeard, CTO of Smartesting, professor of Software Engineering at the University of Franche-Comté, Besançon, France, and co-author of Practical Model-Based Testing
« Synopsis » peut appartenir à une autre édition de cet ouvrage.
À propos de l’auteur
Justyna Zander is a postdoctoral research scientist at Harvard University (Harvard Humanitarian Initiative) in Cambridge (Boston Area) MA, USA (since 2009) and Project Manager at the Fraunhofer Institute for Open Communication Systems in Berlin, Germany (since 2004).
She holds Ph.D. (2008) and M.Sc. (2005), both in the fields of Computer Science and Electrical Engineering from Technical University Berlin in Germany, B.Sc. (2004) in Computer Science, and B.Sc. in Environmental Protection and Management from Gdansk University of Technology in Poland (2003).
She graduated from the Singularity University, Mountain View, CA, USA as one of the forty participants selected from 1200 applications in 2009. For her scientific efforts Dr. Zander received grants and scholarships from such institutions as Polish Prime Ministry (1999-2000), Polish Ministry of Education and Sport awarded to 0.04% students in Poland (2001–2004), German Academic Exchange Service (2002), European Union (2003-2004), Hertie Foundation (2004-2005), IFIP TC6 (2005), IEEE (2006), Siemens (2007), Metodos y Tecnologia (2008), Singularity University (2009), and Fraunhofer Gesellschaft (2009-2010). Her doctoral thesis on model-based testing was supported by the German National Academic Foundation with a grant awarded to 0.31% students in Germany (2005-2008).
Ina Schieferdecker studied Mathematical Computer Science at Humboldt-University Berlin and did her Ph.D. in 1994 at Technical University Berlin on performance-extended specifications and analysis of Quality of Service characteristics. Since 1997, she is heading the Competence Center for Testing, Interoperability and Performance (TIP) at the Fraunhofer Institute on Open Communication Systems (FOKUS), Berlin and is heading now the Competence Center Modelling and Testing for System and Service Solutions (MOTION).
She is Professor on Engineering and Testing of Telecommunication Systems at Technical University Berlin since 2003.
Prof. Schieferdecker works since 1994 in the area of design, analysis, testing and evaluation of communication systems using specification-based techniques like Unified Modeling Language, Message Sequence Charts and Testing and Test Control Notation (TTCN-3). Prof. Schieferdecker authored many scientific publications in the area of system development and testing. She is co-founder of the Testing Technologies IST GmbH, Berlin and member of the German Testing Board. She received in 2004 the Alfried Krupp von Bohlen und Halbach Award for Young Professors and became member of the German Academy of Technical Sciences in 2009. Her work on this book has partially being supported by the Alfried Krupp von Bohlen und Halbach Stiftung.
Pieter J. Mosterman is a Senior Research Scientist at MathWorks in Natick, MA where he works on core Simulink® simulation and code generation technologies and an Adjunct Professor at the School of Computer Science of McGill University. Before, he was a Research Associate at the German Aerospace Center (DLR) in Oberpfaffenhofen. He has a Ph.D. degree in Electrical and Computer Engineering from Vanderbilt University in Nashville, TN, and a M.Sc. degree in Electrical Engineering from the University of Twente, Netherlands. His primary research interests are in Computer Automated Multiparadigm Modeling (CAMPAM) with principal applications in design automation, training systems, and fault detection, isolation, and reconfiguration. He designed the Electronics Laboratory Simulator, nominated for The Computerworld Smithsonian Award by Microsoft Corporation in 1994. In 2003, he was awarded the IMechE Donald Julius Groen Prize for a paper on HyBrSim, a hybrid bond graph modeling and simulation environment. Prof. Mosterman received the The Society for Modeling and Simulation International (SCS) Distinguished Service Award in 2009 for his services as Editor-in-Chief of SIMULATION: Transactions of SCS. Dr. Mosterman is or was involved as Associate Editor with the International Journal of Critical Computer Based Systems, the Journal of Defense Modeling and Simulation, the International Journal of Control and Automation, Applied Intelligence, and IEEE Transactions on Control Systems Technology (TCST).
« A propos de ce titre » peut appartenir à une autre édition de cet ouvrage.
AHA-BUCH GmbH
Einbeck, Allemagne
Vendeur AbeBooks depuis 14 août 2006
Frais d'expédition de Allemagne vers Etats-Unis
| Article | 7 à 10 jours ouvrés | 5 à 7 jours ouvrés |
|---|---|---|
| Premier article | EUR 45,09 | EUR 62,30 |
Modes de paiement
- Chèque
- Paypal
- Virement bancaire
Description de la boutique
Das Unternehmen AHA-BUCH GmbH: Seit der Gründung von AHA-BUCH im Juli 2005 ist unser Hauptziel, zufriedenen Kunden so schnell und so preisgünstig wie möglich ihren Bücherwunsch zu erfüllen. Unsere Firma beschäftigt 16 Mitarbeiter, die nur ein Ziel kennen: den Kunden und seine Wünsche! Auf über 3700 m2 Fläche haben wir über 100.000 Bücher, Modernes Antiquariat und Spiele auf Lager.
Spécialité
Kinderbücher & Kinderhör Casetten, German Books, Software, Natur & Tiere, Ratgeber, Sachbücher, Englische Bücher, Medizin & Gesundheit, Universität & StudiumProfil professionnel du vendeur
AHA-BUCH GmbH
Garlebsen 48
Einbeck, Allemagne 37574
Empreinte
Informations sur le vendeur:
AHA-BUCH GmbH
représenté par le directeur général Christel Glass
Garlebsen 48
37574 Einbeck
Alemagne
Téléphone: 055639996039
Fax: 055639995974
E-Mail: abebooks@aha-buch.de
USt-IdNr.: DE261904229
inscrit à Registre du commerce Amtsgerichtes Göttingen
Handelsregisternummer HRB 200691
Modes alternatifs de règlement des différends :
La Commission européenne fournit une plate-forme de règlement extrajudiciaire des litiges en ligne (plate-forme ODR), accessible sous https://ec.europa.eu/odr.
Nous sommes membres de l’initiative « FairCommerce » depuis le 25.05.2018.
Pour plus d’informations, voir www.fair-commerce.de.
Conditions de vente
Conditions générales et informations client
I. Conditions générales
§ 1 Dispositions de base
(1) Les conditions générales suivantes s’appliquent à tous les contrats que vous concluez avec nous en tant que fournisseur (AHA-BUCH GmbH) via les plateformes Internet AbeBooks et/ou ZVAB. Sauf accord contraire, l’inclusion de l’une de vos propres conditions générales que vous utilisez sera contestée
(2) Un consommateur au sens des règlements suivants est toute personne physique qui conclut une transaction juridique à des fins qui ne peuvent être attribuées principalement ni à son activité commerciale ni à son activité professionnelle indépendante. Un entrepreneur est toute personne physique ou morale ou une société de personnes ayant la capacité juridique qui, lors de la conclusion d’une transaction juridique, agit dans l’exercice de son activité professionnelle ou commerciale indépendante.
§ 2 Conclusion du contrat
(1) L’objet du contrat est la vente de marchandises.
(2) Si un article est répertorié par nous sur AbeBooks ou ZVAB, l’activation de la page d’offre sur AbeBooks ou ZVAB constitue l’offre ferme de conclure un contrat dans les conditions contenues dans la page de l’article.
(3) Le contrat est conclu via le système de panier d’achat en ligne comme suit:
Les marchandises destinées à l’achat sont stockées dans le « panier ». Via le bouton correspondant dans la barre de navigation, vous pouvez appeler le « panier » et y apporter des modifications à tout moment. Après avoir appelé la page « Commander » et entré les données personnelles ainsi que les conditions de paiement et d’expédition, toutes les données de commande seront à nouveau affichées sur la page d’aperçu de la commande. Avant d’envoyer la commande, vous avez la possibilité de vérifier à nouveau toutes les informations, de les modifier (également via la fonction « retour » du navigateur Internet) ou d’annuler l’achat. En soumettant la commande via le bouton « Acheter maintenant », vous déclarez l’acceptation de l’offre de manière juridiquement contraignante, par laquelle le contrat est conclu.
(4) Le traitement de la commande et la transmission de toutes les informations nécessaires à la conclusion du contrat sont partiellement automatisés par e-mail. Vous devez donc vous assurer que l’adresse e-mail que vous avez stockée chez nous est correcte, que la réception des e-mails est techniquement assurée et, en particulier, que les filtres anti-spam ne l’empêchent pas.
§ 3 Droit de réserve, réserve de propriété
(1) Vous ne pouvez exercer un droit de rétention que s’il s’agit de réclamations découlant de la même relation contractuelle.
(2) Les marchandises restent notre propriété jusqu’au paiement intégral du prix d’achat.
§ 4 Garantie
(1) Les droits de garantie légaux existent.
(2) Dans le cas de marchandises d’occasion, la période de garantie est d’un an à compter de la livraison de l’article, s’écartant de la réglementation légale. Le raccourcissement du délai ne s’applique pas :
- les dommages causés de manière fautive qui nous sont imputables par une atteinte à la vie, à l’intégrité physique ou à la santé et, dans le cas d’autres dommages causés intentionnellement ou par négligence grave;
- dans la mesure où nous avons dissimulé frauduleusement le défaut ou assumé une garantie pour la qualité de l’article.
(3) En tant que consommateur, il vous est demandé de vérifier l’article immédiatement après la livraison pour l’exhaustivité, les défauts évidents et les dommages de transport et de nous informer, ainsi que le transitaire, de toute réclamation dès que possible. Si vous ne vous y conformez pas, cela n’aura aucun effet sur vos demandes de garantie légales.
§ 5 Choix de la loi, lieu d’exécution, for
- Le droit allemand s’applique. Dans le cas des consommateurs, ce choix de loi ne s’applique que dans la mesure où il ne retire pas la protection offerte par les dispositions impératives de la loi de l’État de résidence habituelle du consommateur (principe de faveur).
(2) Le lieu d’exécution de tous les services découlant des relations commerciales existantes avec nous ainsi que le lieu de juridiction est notre siège social, dans la mesure où vous n’êtes pas un consommateur, mais un commerçant, une personne morale de droit public ou un fonds spécial de droit public. Il en va de même si vous n’avez pas de for général en Allemagne ou dans l’UE ou si le domicile ou la résidence habituelle n’est pas connu au moment de l’introduction de l’action. Le droit de faire appel devant le tribunal d’un autre lieu de juridiction légal n’en est pas affecté.
(3) Les dispositions de la Convention des Nations Unies sur les contrats de vente internationale de marchandises ne s’appliquent expressément pas.
- Identité du Vendeur
AHA-BUCH GmbH
Garlebsen 48
D-37574 Einbeck
Allemagne
Téléphone: 055639996039
Courriel : abebooks@aha-buch.de
Modes alternatifs de règlement des différends :
La Commission européenne fournit une plate-forme de règlement extrajudiciaire des litiges en ligne (plate-forme ODR), accessible sous https://ec.europa.eu/odr.
- Informations sur la conclusion du contrat
Les étapes techniques pour la conclusion du contrat, la conclusion du contrat lui-même et les options de correction sont effectuées conformément aux dispositions « Conclusion du contrat » de nos conditions générales (partie I.).
- Langue du contrat, stockage du texte du contrat
3.1. La langue du contrat est l’allemand.
3.2. Le texte complet du contrat ne sera pas stocké par nous. Avant l’envoi de la commande, les données du contrat peuvent être imprimées ou enregistrées électroniquement via la fonction d’impression du navigateur. Après réception de la commande par nous, les données de commande, les informations légalement prescrites pour les contrats à distance et les conditions générales vous seront envoyées à nouveau par e-mail.
- Caractéristiques essentielles des produits ou des services
Les caractéristiques essentielles des biens et/ou services peuvent être trouvées dans l’offre respective.
- Prix et conditions de paiement
5.1. Les prix indiqués dans les offres respectives ainsi que les frais d’expédition représentent les prix totaux. Ils comprennent tous les éléments de prix, y compris toutes les taxes applicables.
5.2. Les frais d’expédition encourus ne sont pas inclus dans le prix d’achat. Ils peuvent être appelés via un bouton correspondant sur notre site Web ou dans l’offre respective, sont affichés séparément au cours du processus de commande et sont à votre charge en plus, sauf si la livraison gratuite a été promise.
5.3. Si la livraison est effectuée dans des pays en dehors de l’Union européenne, nous pouvons encourir des coûts supplémentaires dont nous ne sommes pas responsables, tels que des droits de douane, des taxes ou des frais de transfert d’argent (frais de transfert ou de change des établissements de crédit), qui sont à votre charge. Tous les frais encourus pour le transfert d’argent seront également à votre charge dans les cas où la livraison est effectuée dans un État membre de l’UE, mais que le paiement a été initié en dehors de l’Union européenne.
5.4. Les modes de paiement à votre disposition sont indiqués sous un bouton correspondant sur notre site Web ou dans l’offre correspondante.
5.5. Sauf indication contraire pour les différents modes de paiement, les demandes de paiement du contrat conclu sont immédiatement exigibles.
- Conditions de livraison
6.1. Les conditions de livraison, la date de livraison et, le cas échéant, les restrictions de livraison existantes peuvent être trouvées sous un bouton correspondant sur notre site Web ou dans l’offre respective.
Dans la mesure où aucun autre délai n’est spécifié dans l’offre respective ou sous le bouton correspondant, la livraison des marchandises aura lieu dans les 3 à 5 jours suivant la conclusion du contrat (dans le cas d’un paiement anticipé convenu, cependant, uniquement après le moment de votre instruction de paiement).
6.2. Dans la mesure où vous êtes un consommateur, il est réglementé par la loi que le risque de perte accidentelle et de détérioration accidentelle de l’article vendu lors de l’expédition ne vous est transféré qu’à la remise des marchandises, que l’envoi soit assuré ou non assuré. Cela ne s’applique pas si vous avez mandaté de manière indépendante une entreprise de transport non nommée par l’entrepreneur ou une personne autrement désignée pour effectuer l’expédition.
- Responsabilité légale pour les défauts
La responsabilité pour les défauts est régie par la disposition « Garantie » de nos Conditions Générales (Partie I).
dernière mise à jour : 07/12/2017
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 à AHA-BUCH GmbH, Einbeck, Germany, 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.
Conditions d'expédition
Nous expédions votre commande après les avoir reçues
pour les articles disponibles au plus tard 24 heures,
pour les articles avec un approvisionnement de nuit au plus tard 48 heures.
Dans le cas où nous devons commander un article auprès de notre fournisseur, notre délai d’expédition dépend de la date de réception des articles, mais les articles seront expédiés le jour même.
Notre objectif est d’envoyer les articles commandés de la manière la plus rapide, mais aussi la plus efficace et la plus sécurisée à nos clients.
Confidentialité et sécurité
Politique de confidentialité
Sauf indication contraire ci-dessous, la fourniture de vos données personnelles n’est ni requise par la loi ou le contrat, ni nécessaire à la conclusion d’un contrat. Vous n’êtes pas obligé de fournir les données. Ne pas fournir cela n’aura aucune conséquence. Cela ne s’applique que si aucune autre information n’est fournie dans les opérations de traitement ultérieures. « Données personnelles » désigne toute information relative à une personne physique identifiée ou identifiable.
Collecte, traitement et utilisation des données personnelles pour les commandes Lors de la commande, nous collectons et utilisons vos données personnelles uniquement dans la mesure nécessaire à l’exécution et au traitement de votre commande et au traitement de vos demandes. La fourniture des données est nécessaire à la conclusion du contrat. Le défaut de fournir cette disposition signifie qu’aucun contrat ne peut être conclu. Le traitement est effectué sur la base de l’article 6, paragraphe 1, point b) du RGPD et est nécessaire à l’exécution d’un contrat avec vous. Vos données ne seront pas transmises à des tiers sans votre consentement exprès. Seuls nos partenaires de service, dont nous avons besoin pour traiter la relation contractuelle ou les prestataires de services que nous utilisons dans le cadre du traitement des commandes, en sont exclus. Outre les destinataires nommés dans les clauses respectives de la présente déclaration de protection des données, il s’agit, par exemple, des destinataires des catégories suivantes: prestataires de services d’expédition, prestataires de services de paiement, prestataires de services de gestion des marchandises, prestataires de services de traitement des commandes, hébergeurs Web, fournisseurs de services informatiques et marchands dropshipping. Dans tous les cas, nous respectons strictement les exigences légales. La portée de la transmission des données est limitée au minimum.
Durée de stockage
Après l’achèvement du contrat, les données seront d’abord stockées pendant la durée de la période de garantie, puis en tenant compte des délais de conservation légaux, en particulier fiscaux et commerciaux, puis supprimées après l’expiration de la période, sauf si vous avez consenti à un traitement et à une utilisation ultérieurs.
Droits de la personne concernée
Si les exigences légales sont remplies, vous disposez des droits suivants en vertu des articles 15 à 20 du RGPD : Droit à l’information, à la rectification, à l’effacement, à la limitation du traitement, à la portabilité des données.
En outre, conformément à l’article 21, paragraphe 1, du RGPD, vous avez le droit de vous opposer au traitement basé sur l’article 6, paragraphe 1, point f du RGPD et au traitement à des fins de marketing direct.
Contactez-nous sur demande. Les coordonnées se trouvent dans nos mentions légales.
Droit d’introduire une réclamation auprès de l’autorité de contrôle
Conformément à l’article 77 du RGPD, vous avez le droit de déposer une plainte auprès de l’autorité de contrôle si vous estimez que le traitement de vos données personnelles n’est pas légal.
dernière mise à jour : 25/04/2018