Bücher veröffentlicht von Springer Berlin Heidelberg

The Ninth International Conference on Reliable Software Technologies, Ada- Europe 2004, took place in Palma, Spain, June 14-18, 2004. It was sponsored by Ada-Europe, the European federation of national Ada societies, and Ada- Spain, in cooperation with ACM SIGAda. It was organized by members of the University of the Balearic Islands (UIB). As in past years, the conference comprised a three-day technical program, during which the papers contained in these proceedings were presented, along with vendor presentations. The technical program was bracketed by two tutorial days, when the attendees had the opportunity to catch up on a variety of topics related to the ?eld, at both introductory and advanced levels. Furthermore, the conference was accompanied by an exhibition where vendors presented their products for supporting reliable-software development. Invited Speakers Theconferencepresentedfourdistinguishedspeakers,whodeliveredstate-of-t- art information on topics of great importance, both for now and for the future of software engineering: - S. Tucker Taft, SoftCheck Inc., USA Fixing software before it breaks: using static analysis to help solve the so- ware quality quagmire - Martin Gogolla, University of Bremen, Germany Bene?ts and problems of formal methods - Antoni Oliv' e, Polytechnical University of Catalonia, Spain On the role of conceptual schemas in information systems' development - Stephen Vinoski, IONA Technologies in Waltham, USA Can middleware be reliable? Wewouldliketoexpressoursinceregratitudetothesedistinguishedspeakers, well known to the community, for sharing their insights with the conference participants. Submitted Papers Alargenumberofpapersweresubmitted,fromasmanyas15di?erentcountries.

Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer systems. Usually, our systems appear to work successfully, but there are sometimes serious, and often minor, errors. Validated computing is one essential technology to achieve increased software reliability. Formal - gor in the de?nition of data types, the computer arithmetic, in algorithm design, and in program execution allows us to guarantee that the stated problem has (or does not have) a solution in an enclosing interval we compute. If the enclosure is narrow, we are certain that the result can be used. Otherwise, we have a clear warning that the uncertainty of input values might be large and the algorithm and the model have to be improved. The use of interval data types and al- rithms with controlled rounding and result veri?cation capture uncertainty in modeling and problem formulation, in model parameter estimation, in algorithm truncation, in operation round-o?, and in model interpretation. The techniques of validated computing have proven their merits in many scienti?c and engineering applications. They are based on solid and interesting theoretical studies in mathematics and computer science. Contributions from ?elds including real, complex and functional analysis, semigroups, probability, statistics,fuzzyintervalanalysis,fuzzylogic,automaticdi?erentiation,computer hardware, operating systems, compiler construction, programming languages, object-oriented modeling, parallel processing, and software engineering are all essential.

In allen klinischen Disziplinen der Medizin werden Benzodiazepine therapeutisch eingesetzt. Diese Entwicklung war nicht vorauszusehen, als vor 25 Jahren das erste Benzodiazepin-Derivat (Chlordiazepoxid) als "e;Ataraktikum"e;, als "e;Tran- quilizer"e; in der Psychiatrie eingefuhrt wurde. Inzwischen gehoren die zahlreichen Benzodiazepine und wirkungsahnliche, strukturverwandte Pharmaka weltweit zu den am haufigsten verordneten Arznei- mitteln. Das ursprungliche Indikationsgebiet der Benzodiazepine bei psychiatri- schen Patienten - die sogenannte Anxiolyse - ist langst nur noch ein Teilbereich der vielfaltigen Anwendungsmoglichkeiten fur dieses Arzneimittel. In einigen Indikationsgebieten (z. B. als Schlafmittel) haben die Benzodiazepine inzwischen altere Medikamente (z. B. Barbiturate) vollig zu Recht sehr weitgehend verdrangt. Das Urteil uber Nutzen und Risiken der Benzodiazepine hat sich in den letzten Jahren immer wieder einmal geandert. Jetzt sind die Meinungen oft so kontrovers, da Benzodiazepine im Widerstreit vollig unterschiedlicher Ansichten stehen. Das hangt damit zusammen, da man aus verschiedenen Perspektiven zu durchaus divergierenden Ansichten kommen kann. So wird der in der Praxis tatige Arzt womoglich anders urteilen als der Kliniker; der Nervenarzt kann zu einem anderen Urteil kommen als die Arzte anderer Fachdisziplinen; der Anasthesist, der Suchtexperte, der klinische Pharmakologe, der Schlafforscher, der Epileptologe, der Psychotherapeut und der Toxikologe haben oft weit voneinander abweichende, manchmal sogar vollig kontrare Ansichten uber die therapeutische Bedeutung der Benzodiazepine - uber deren Nutzen und deren Risiko. Aber nicht nur die verschiedenen fachlichen Perspektiven konnen zu unter- schiedlichen Ansichten fuhren; auch aus der Perspektive eines einzelnen Fachs haben sich innerhalb der vergangenen 25 Jahre immer wieder neue, sich durchaus wandelnde Einschatzungen der Benzodiazepine ergeben.

1m vorliegenden Bericht tiber Software-Fehlertoleranz und -Zuverlassigkeit wird ein Problemkreis aus dem weitgefacherten Themenkomplex der Fehlertoleranz in Rechensystemen aufgegriffen, der in den letzten Jahren zunehmend an Bedeutung und Interesse gewonnen hat. Wahrend in der Vergangenheit ein Schwerpunkt der Fehlertoleranz-Konzepte und -Realisierungen darin lag, die Zuverlassigkeit von Rechensystemen durch MaBnahmen gegen den Ausfall von Hardware-Komponenten zu erhohen, wachst zusehends der Bedarf, auch Software in diese Bemtihungen mit einzubeziehen. Mit dem Einsatz von Rechensystemen in verschiedensten Bereichen steigen auch die Zahl und das AusmaB kritischer Anwendungen und somit die Anforderungen an die Zuverlassigkeit der eingesetzten Software. Techniken, die es gestatten, fehlerfreie, fehlertolerante und robuste Software zu erstellen, kommt daher eine neue Schltisselfunktion ftir zuklinftige Systeme zu. Bevor man jedoch spezielle Fragestellungen der Software-Fehlertoleranz und Software-Zuverlassigkeit angeht, erscheint es wichtig, den Stand der Technik in Theorie und Praxis zu erfassen und eine Bestandsaufnahme von laufenden Aktivitaten zu versuchen. Dieser Band gibt einen ersten Uberblick und will eine Basis ftir weitere Diskussionen schaffen. Er entstand im wesentlichen aus Beitragen zu einem Workshop an der Hochschule in Bremerhaven. Ziel des Workshops war der Informationsaustausch und die Diskussion zum oben erwahnten Problemkreis und zu verwandten Themen. Es nahmen 63 Fachleute aus den Bereichen Lehre, Forschung und Industrie teil.

Synergetics may be considered as an interdisciplinary effort dealing with the gene- ral problem of how science can cope with complex systems. The preceding symposia on synergetics were devoted to systems of physics, chemistry and partly also biolo- gy and sociology. It was possible to develop adequate concepts to describe and even to calculate evolving macroscopic spatial, temporal, and functional structures which emerge through self-organization of the individual parts of the systems under con- sideration. This book contains the invited papers presented at the Symposium on the Synerge- tics of the brain, Schloss Elmau, Bavaria, May 2 to 7, 1983. The inclusion of this topic in the synergetics enterprise represents a big step towards a treatment of complex systems. Most probably the human brain is the most complex system we know of. As the organizers believe, this symposium provides the reader with a good cross section of experimental results and theoretical approaches to cope with the complex problems of structure and function of the brain. It was generally felt that such a joint meeting between experimentalists and theoreticians is of great importance for future development of this field. Modern experimental methods, e. g. multielectrode derivations allow or will allow us, in short, to collect huge amounts of data. Simi- larly high-speed computers will flood us with an enormous number of outputs once the basic model equations have been chosen.

Welcome to Aachen and to the First European Simulation Congress ESC83, a triennial international conference jointly promoted by ASIM/GI, DBSS, SIMS and UKSC. ESC83 is organized by ASIM/GI,. supported by SCS and IMACS, and sponsored by NGI (section for simulation). It takes place at the Karman Auditorium of the Aachen Technical Univer- sity, FRG. The aim of ESC83 is to cover all aspects of modeling and simulation in theory and practice, to promote the exchange of knowlewdge and experience between different international research groups in this field, and to strengthen the international contact between developers and users of modeling and simulation techniques. On the occasion of the Congress people of scientific and engineering disciplines will meet to discuss the state of the art and future activities and developments. A large number of contributed papers has been strictly examined and selected by the Scientific Committee to guarantee a high international standard. The book contains the accepted papers that will be presented at the Congress. The papers have been classified according to the following keywords.

Das Buch vermittelt psychosomatisches Verst{ndnis f}r dennicht speziell ausgebildeten Arzt ebenso wie die wichtigstenTechniken zur Erkennung und Behandlung psychosomatischerErkrankungen. Betont wird dabei die Einheit vonPsyche undSoma, wie sie in besonderem Masse dem niedergelassenen Arzt,dem Hausarzt bei der Mehrzahl seiner Patienten begegnet.