Das V-Modell® XT ist das durch die Bundesverwaltung verpflichtend vorgeschriebene Vorgehensmodell für die Entwicklung von IT-Systemen. Das Buch bietet einen kompakten Einstieg in die neue model 1.3. Es behandelt die Änderungen gegenüber der Vorgängerversion, die wesentlichen Konzepte des V-Modell® XT und die Bereiche Projektmanagement und Qualitätssicherung. most sensible Practices und Hinweise zur Bewältigung typischer Aufgabenstellungen im V-Modell® XT runden das Buch ab.
By Norbert Korte, Rolf H. Möhring (auth.), Gottfried Tinhofer, Gunther Schmidt (eds.)
Graph-theoretic strategies are built by way of desktop scientists so one can version algorithms, nets, rewriting structures, dispensed platforms, parallelism, geometric and structure techniques. Their complexity is studied less than a variety of randomness assumptions. This quantity comprises contributions to the 12th of a sequence of annual workshops designed to collect researchers utilizing graph-theoretic equipment. Its function is to broadcast rising new advancements from and to a range of program fields. the themes lined comprise: Graph Grammars, Graph Manipulation, Nets, Complexity concerns, Algorithmic and community concerns, Outerplanar Graphs, Graph Isomorphism, Parallelism and allotted platforms, Graphs and Geometry, Randomness issues, functions in Chemistry, particular Algorithms. N
By Angel Pasqual Del Pobil, Miguel Angel Serna
This ebook is dedicated to the improvement of enough spatial representations for robotic movement making plans. Drawing upon complex heuristic suggestions from AI and computational geometry, the authors introduce a common version for spatial illustration of actual gadgets. This version is then utilized to 2 key difficulties in clever robotics: collision detection and movement making plans. additionally, the applying to genuine robotic hands is stored constantly in brain, rather than facing simplified models.
This monograph is outfitted upon Angel del Pobil's PhD thesis which used to be chosen because the winner of the 1992 Award of the Spanish Royal Academy of medical professionals.
By Evangelia Antonakos (auth.), Sergei N. Artemov, Anil Nerode (eds.)
This booklet constitutes the refereed court cases of the overseas Symposium on Logical Foundations of laptop technology, LFCS 2007, held in big apple, new york, united states in June 2007.
The quantity provides 36 revised refereed papers conscientiously chosen via this system committee. It addresses all present points of common sense in laptop technology, together with positive arithmetic and sort thought, logical foundations of programming, logical points of computational complexity, common sense programming and constraints, computerized deduction and interactive theorem proving, logical tools in protocol and application verification and in software specification and extraction, area idea logics, logical foundations of database idea, equational good judgment and time period rewriting, lambda and combinatory calculi, specific good judgment and topological semantics, linear common sense, epistemic and temporal logics, clever and a number of agent process logics, logics of evidence and justification, nonmonotonic reasoning, common sense in video game idea and social software program, common sense of hybrid platforms, disbursed process logics, procedure layout logics, in addition to different logics in machine science.
By D.P. Landau, S.P. Lewis, H.-B. Schüttler
This prestige record good points the latest advancements within the box, spanning quite a lot of topical parts within the machine simulation of condensed matter/materials physics. either demonstrated and new subject matters are incorporated, starting from the statistical mechanics of classical magnetic spin versions to digital constitution calculations, quantum simulations, and simulations of sentimental condensed subject. The booklet offers new actual effects in addition to novel tools of simulation and knowledge research. Highlights of this quantity contain a variety of facets of non-equilibrium statistical mechanics, stories of houses of actual fabrics utilizing either classical version simulations and digital constitution calculations, and using machine simulations in educating.
By Don Batory (auth.), Christian Lengauer, Don Batory, Charles Consel, Martin Odersky (eds.)
Program iteration holds the promise of supporting to bridge the distance among application-level challenge options and effective implementations on the point of brand new resource courses as written in C or Java. therefore, application new release can considerably give a contribution to lowering creation price and time-to-market in destiny software program creation, whereas enhancing the standard and balance of the product.
This ebook is ready domain-specific software new release; it's the end result of a Dagstuhl seminar at the subject held in March 2003. After an introductory preface via the quantity editors, the 18 conscientiously reviewed revised complete papers awarded are prepared into topical sections on
- surveys of domain-specific programming technologies
- domain-specific programming languages
- device help for software generation
- domain-specific ideas for software optimization
By Igor Kotenko, Victor Skormin
This publication constitutes the refereed complaints of the fifth foreign convention on Mathematical tools, types, and Architectures for laptop community safety, MMM-ACNS 2010, held in St. Petersburg, Russia in September 2010. The sixteen revised complete papers and six revised brief papers offered jointly with five invited papers have been conscientiously reviewed and chosen from a complete of fifty four submissions. The papers are geared up in topical sections on defense modeling and covert channels, protection rules and formal research of defense homes, authentication, authorization, entry keep an eye on and public key cryptography, intrusion and malware detection, safety of multi-agent structures and software program defense, in addition to. adaptive defense, defense research and virtualization.