Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Generative Programming and Component Engineering
This book constitutes the refereed proceedings of the Third International Conference on Generative Programming and Component Engineering, GPCE 2004, held in Vancouver, Canada in October 2004. The 25 revised full papers presented together with abstracts of 2 invited talks were carefully reviewed and selected from 75 submissions. The papers are organized in topical sections on aspect-orientation, staged programming, types for meta-programming, meta-programming, model-driven approaches, product lines, and domain-specific languages and generation.
Model Checking Software
This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.
Anti-Inflammatory Drug Discovery
A comprehensive review of recent medicinal chemistry approaches to a variety of important therapeutic targets and a key reference for those interested in the prosecution of modern drug discovery programs directed at anti-inflammatory mechanisms of action.
Herbal Products
Herbal Products: Toxicology and Clinical Pharmacology, Second Edition builds on the informative foundation laid by its predecessor. This fully revised and expanded second edition boasts more than 200 new references that document efficacy studies and adverse effects and four new chapters devoted to dietary products. Practitioners and researchers will find that this volume is a comprehensive resource for objective clinical information.
Integration of Software Specification Techniques for Applications in Engineering
This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004. The 25 revised full papers presented together with 6 section introductions by the volume editors were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on reference case study production automation, reference case study traffic control systems, petri nets and related approaches in engineering, charts, verification, and integration modeling.
The Inhibitor Index
Metabolic inhibitors and receptor antagonists are indispensable tools for the molecular life scientist. By blocking specific enzymes or receptor-mediated signal transduction cascades, they simplify the analysis of complex cellular processes especially when it is essential to demonstrate that a process of interest is functionally linked to a particular enzyme or receptor. From antibiotics to statins, modern medicine relies on the reliability and ease-of-use of enzyme- and receptor-directed inhibitors and antagonists.The Inhibitor Index is a comprehensive, curated compendium of over 7,800 enzyme inhibitors and receptor antagonists, including many toxins, poisons, and metabolic uncouplers.
Molecular and Biotechnological Advancements in Hypericum Species
Hypericum is an important genus of the family Hypericaceae and includes almost 500 species of herbs, shrubs and trees. Being the home for many important bioactive compounds, these species have a long traditional value as medicinal plants. Currently, several species of this genus have been used in ailments as knowledge-based medicine in many countries. In the recent past, several pharmacological studies have been performed using crude extracts to evaluate the traditional knowledge. Results of those studies have revealed that Hypericum extract exert multiple pharmacological properties including antidepressant, antimicrobial, antitumor and wound healing effects. Phytochemical analyses revealed ...
Story Driven Modeling als agile Vorgehensmethode für das Internet der Dinge in Lehre und Praxis
SDM4IoT ist eine Entwicklungsmethode für das Internet der Dinge (IoT). Sie setzt auf die Story-getriebene Modellierungsmethode (SDM) für Softwareentwicklung auf. SDM4IoT eignet sich unabhängig von der Programmiersprache oder Plattform für eine breite, heterogene Palette an Anwendungen, Technologien und Hardware. Wesentliches Element zur Spezifikation und Entwurf sind dabei Szenarien, die textuell und graphisch konkrete Benutzerabläufe beschreiben. Elemente des IoT-Systems, auch Hardware, werden in Objektdiagrammen dargestellt. Prototyping und iterative Integration ermöglichen früh validierbare Ergebnisse. Die SDM4IoT-Methode wurde an elf Fallstudien aus verschiedenen Anwendungsbereichen untersucht und im Hochschul-Lehrbetrieb evaluiert. Zwei praxisbezogene Forschungsprojekte zeigen die Anwendbarkeit auf den industriellen Kontext. In Kombination mit einer agilen Vorgehensmethode eignet sich SDM4IoT besonders für die sich technologisch schnell wandelnde IoT-Anwendungsdomäne.
Story Driven Modeling
If you would ask us, whether this is just another book about modeling, we would probably feel inclined to say: yes and no. Yes, it is a lot about modeling, but no, it is also about programming, methodological software design, and rapid prototyping via methods from model driven engineering. It will also be one of the first complete references and teaching guides for Story Driven Modeling. Story Driven Modeling is an agile software development method using objects and scenarios and special modeling steps to facilitate system analysis and design. Most parts of this book can be done with pencil and paper and with standard UML tools and standard software development environments. However, some st...
