Rechenanlagen kommen inzwischen in nahezu allen Bereichen des tiiglichen Lebens zum Einsatz. Die Abhiingigkeiten vom zuverliissigen Betrieb der Anlagen haben im entsprechenden Umfang zugenommen. Ganze Industriezweige sind ohne Rechnerunterstiitzung nicht mehr arbeitsfllhig. Vor diesem Hintergrund gewinnt neben anderen QualitlitssicherungsmaBnahmen die Test- und Priifphase bei der Entwicklung von Softwaresystemen zunehmend an Bedeutung. Angeregt durch den Besuch von Tagungen in England und den USA, die sich ausschlieBlich mit dem Test von Softwaresystemen besch!iftigten, habe ich die Organisation eines Arbeitstreffens iibemommen, an dem Testinteressierte aus Deutschland teilnahmen. In anderen Liindem gibt es bereits Gruppen, die mehrmals im Jahr zusanunenkommen und Probleme des Softwaretests bearbeiten. Auf einem ersten Treffen von Testinteressierten im Juni 1991 ist beschlossen worden, regelmiiBige Treffen zu organisieren und den Arbeitskreis Testen, Analysieren und Verijizieren von Software in der Fachgruppe Software-Engineering in der Gesellschaft fi.ir Informatik zu grunden. Der vorliegende Band enthiilt ausge- wiihlte Beitriige vom ersten und zweiten Treffen des Arbeitskreises und gibt so einen guten Uberblick iiber die gegenwiirtigen Aktivitliten zum Thema Testen von Progranunen im deutschsprachigen Raum. 1m Arbeitskreis sind derzeit 50 Personen aktiv tiitig, wobei etwa zwei Drittel aus der Industrie und ein Drittel von Forschungsinstituten und Universitiiten kommen. Dieses Verhiiltnis zeigt auch die zunehmende Bedeutung der Softwarepriifung in der industriellen Entwicklung. Neben dem Testen von Softwaresystemen geh1lrt auch deren Analyse zu den QualitiitssicherungsmaBnah- men. Sie ist sogar oft unabdingbare Voraussetzung, urn iiberhaupt einen Test durchfiihren zu k1lnnen.

Professional testing of software is an essential task that requires a profound knowledge of testing techniques. The International Software Testing Qualifications Board (ISTQB) has developed a universally accepted, international qualification scheme aimed at software and system testing professionals, and has created the Syllabi and Tests for the Certified Tester. Today, hundreds of thousands of people have taken the ISTQB certification exams. The authors of Software Testing Foundations, 5th Edition, are among the creators of the Certified Tester Syllabus and are currently active in the ISTQB. This thoroughly revised and updated fifth edition covers the Foundations Level (entry level) and teaches the most important methods of software testing. It is designed for self-study and provides the information necessary to pass the Certified Tester Foundations Level exam, as defined by the ISTQB. Also in this new edition, technical terms have been precisely stated according to the ISTQB glossary. Topics covered: Fundamentals of Testing Testing and the Software Lifecycle Static and Dynamic Testing Techniques Test Management Test Tools

Software Testing Foundations, 4th Edition provides the information necessary to pass the Certified Tester-Foundations Level exam, version 2011, as defined by the ISTQB; uses a format designed for self-study; and defines technical terms according to the updated ISTQB glossary. Professional testing of software is an essential task that requires a profound knowledge of testing techniques. The International Software Testing Qualifications Board (ISTQB) has developed a universally accepted, international qualification scheme aimed at software and system testing professionals, and has created the Syllabi and Tests for the "Certified Tester." Today about 300,000 people have taken the ISTQB certification exams. The authors of Software Testing Foundations, 4th Edition, are among the creators of the Certified Tester Syllabus and are currently active in the ISTQB. This thoroughly revised and updated fourth edition covers the "Foundations Level" (entry level) and teaches the most important methods of software testing. It is designed for self-study and provides the information necessary to pass the Certified Tester-Foundations Level exam, version 2011, as defined by the ISTQB. Also in this new edition, technical terms have been precisely stated according to the recently revised and updated ISTQB glossary. Topics covered: Fundamentals of Testing Testing and the Software Lifecycle Static and Dynamic Testing Techniques Test Management Test Tools Also mentioned are some updates to the syllabus that are due in 2015.

Der vierte Workshop "Software Engineering im Unterricht der Hochschulen (SEUH)" findet am 23. und 24. Februar 1995 in Bremen statt. Nachdem die ersten beiden Workshops dem Erfahrungsaustausch auf breiter Basis dienten und im dritten die Anforderungen aus der Industrie im Vordergrund standen, konzentriert sich der Workshop in Bremen auf die Themen "Einsatz von CASE-Werkzeugen in der Aus- bildung", "Vermittlung von Teamarbeitund individuelle Bewertung" und "Objektorientiertes Vorgehen bei der Softwareentwicklung". Gerade das letztge- nannte Thema im Kontext der bisherigen herkommlichen Systementwicklung sorgt fUr Diskussionsstoff. FUr den eingeladenen Vortrag zum Thema "Software Engineering oder wie bauen wir Modelle?" konnten wir Otthein Herzog von der Universitat Bremen gewinnen. Aufgrund des frUhzeitigen Redaktionsschlusses fUr den Tagungsband konnte nur eine Kurzfassung des Vortrags aufgenommen werden. Den organisatorischen Rahmen dieses Workshops bilden emeut die GI-Fachgruppen 2.1.1 (Software Engineering) und 4.3.1 (Requirements Engineering) sowie das German Chapter of the ACM. Die Mitglieder des Programmkomitees waren: Ulrich Breymann (Hochschule Bremen), Peter Forbrig (Universitat Rostock), Barbara Paech (Technische Univer- sitat MUnchen), Jorg Raasch (Fachhochschule Hamburg), GUnter Riedewald (Universitat Rostock) und Andreas Spillner (Hochschule Bremen). Wir danken der Hochschule Bremen und der Gesellschaft der Freunde der technischen Fachbereiche der Hochschule Bremen (GdF) fUr die UnterstUtzung und Gewahrung von ZuschUssen zur DurchfUhrung des Workshops.

Phylogenetic combinatorics is a branch of discrete applied mathematics concerned with the combinatorial description and analysis of phylogenetic trees and related mathematical structures such as phylogenetic networks and tight spans. Based on a natural conceptual framework, the book focuses on the interrelationship between the principal options for encoding phylogenetic trees: split systems, quartet systems and metrics. Such encodings provide useful options for analyzing and manipulating phylogenetic trees and networks, and are at the basis of much of phylogenetic data processing. This book highlights how each one provides a unique perspective for viewing and perceiving the combinatorial structure of a phylogenetic tree and is, simultaneously, a rich source for combinatorial analysis and theory building. Graduate students and researchers in mathematics and computer science will enjoy exploring this fascinating new area and learn how mathematics may be used to help solve topical problems arising in evolutionary biology.