You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
None
Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the early development phases of a system, though. The di?erent testing phases can also bene?t from them to ease the p- duction and application of e?ective and e?cient tests. Many still regard formal methods and testing as an odd combination. Formal methods traditionally aim at verifying and proving correctness (a typical academic activity), while testing shows only the presence of errors (this is what practitioners do). Nonetheless, there is an increasing interest in the use of formal methods in softw...
This book constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th International Workshop on Formal Approaches to Testing of Software, FATES 2008, jointly held in Tokyo, Japan, in June 2008. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from initially 58 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. They are organized in topical sections on general software testing, testing continuous and real-time systems, network testing, test generation, concurrent system testing, and applications of testing.
None
Zwischen 1969 und 1973 entstand im Zentrum Ost-Berlins ein einzigartiger Hochhauskiez. In die markanten Neubauten auf der Fischerinsel zogen neben kinderreichen Familien vor allem Künstler, Wissenschaftler, Funktionäre und Diplomaten ein – DDR-Alltag traf hier auf Prominenz und Extravaganz. Auch die Familie von Andreas Ulrich lebte eine Zeitlang auf der Fischerinsel. Fünf Jahrzehnte später begibt sich der Journalist auf die Suche nach seinen einstigen Mitschülern, um herauszufinden, was aus ihnen geworden ist. Die Recherchen führen ihn weit über Berlin hinaus und offenbaren bewegende und außergewöhnliche Lebensgeschichten.
Die Torstraße verbindet die Friedrichstraße im Westen mit der Prenzlauer Allee im Osten. Wie in kaum einer anderen Straße ist hier noch die brüchige Geschichte Berlins greifbar. Am Beispiel des Hauses Nr. 94 geht Andreas Ulrich den Spuren der Vergangenheit nach: Ob Agentin oder Konditor, ob Bankräuber oder Näherin, ob Super-Model oder Parteisekretär – das Haus und seine Bewohner haben viel erlebt: Dramatisches und Komisches, Absurdes und Unglaubliches.
This book constitutes the refereed proceedings of the 15th International Conference on the Quality of Information and Communications Technology, QUATIC 2022, held in Talavera de la Reina, Spain, in September 2022. The 18 full papers and 3 short papers were carefully reviewed and selected from 54 submissions. The papers are organized in topical sections: smart and advanced systems; verification and validation; skills and education; industrial experiences and applications; safety, security and privacy.
Ellermann examines the development of immigration policies in four democracies from the postwar era to the present.
Ein Mafia-Killer bricht sein Schweigen: Authentische Einblicke in die unbarmherzige Welt des organisierten Verbrechens. Mit einem neuen Vorwort endlich wieder als Taschenbuch lieferbar Wer gegen die Omertà, das Schweigegelübde, verstößt, ist so gut wie tot. Doch Giorgio Basile, der Mann, den sie »Engelsgesicht« nannten, lebt. Der Sohn italienischer Gastarbeiter wuchs im Ruhrgebiet auf und soll rund 30 Menschen auf dem Gewissen haben. Als deutsche Fahnder ihn 1998 fassen, redet er. In schonungsloser Offenheit schildert er sein Leben und seine Taten. Mit seiner Beichte und als Kronzeuge in aufsehenerregenden Mafia-Prozessen hat er viele alte Freunde vor Gericht gebracht. Heute lebt der ehemalige Profikiller unter einer neuen Identität in Italien. Andreas Ulrich bietet einen seltenen und spannenden Einblick in die Welt des organisierten Verbrechens. Der SPIEGEL-Bestseller mit einem neuen Vorwort (und erstmals auch als E-Book). Schonungslose Abrechnung mit dem Mythos Mafia, spannend wie ein Thriller! Die wahre Geschichte des berühmt-berüchtigten Mafiakillers aus dem Ruhrpott. Für alle Fans von Mafiaserien wie »Die Sopranos« und »Suburra«.