This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST).

Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g., precision, clarity, provability) with the advantages of testing (e.g., scalability, generality, applicability).

New essays by leading scholars on the most perplexing of modern writers, Franz Kafka. No other 20th-century writer of German-language literature has been as fully accepted into the canon of world literature as Franz Kafka. The unsettlingly, enigmatically surreal world of Kafka's novels and stories continues to fascinate readers and critics of each new generation, who in turn continue to find new readings. One thing has become clear: although all theories attempt to appropriate Kafka, there is no one key to his work. The challenge to criticshas been to present a strong point of view while taking account of previous Kafka research, a challenge that has been met by the contributors to this volume. Contributors: James Rolleston, Clayton Koelb, Walter H. Sokel, Judith Ryan, Russel A. Berman, Ritchie Robertson, Henry Sussman, Stanley Corngold, Bianca Theisen, Rolf J. Goebel, Richard T. Gray, Ruth V. Gross, Sander L. Gilman, John Zilcosky, Mark Harman James Rolleston is Professor Emeritus of German at Duke University.

In 1902, a nineteen-year-old aspiring poet named Franz Kappus wrote to Rilke, then twenty-six, seeking advice on his poetry. Kappus, a student at a military academy in Vienna similar to the one Rilke had attended, was about to embark on a career as an officer, for which he had little inclination. Touched by the innocence and forthrightness of the student, Rilke responded to Kappus letter and began an intermittent correspondence that would last until 1908.

"Letters to a Young Poet" collects the ten letters that Rilke wrote to Kappus. A book often encountered in adolescence, it speaks directly to the young. Rilke offers unguarded thoughts on such diverse subjects as creativity, solitude, self-reliance, living with uncertainty, the shallowness of irony, the uselessness of criticism, career choices, sex, love, God, and art. Lette"rs to a Young Poet "is, finally, a life manual. Art, Rilke tells the young poet in his final letter to him, is only another way of living.

With the same artistry that marks his widely acclaimed translations of Kafka s "The Castle "and" Amerika: The Missing Person, " Mark Harman captures the lyrical and spiritual dimensions of Rilke s prose. In his introduction, he provides biographical contexts for the reader and discusses the challenges of translating Rilke. This lovely hardcover edition makes a perfect gift for any young person starting out in life or for those interested in finding a clear articulation of Rilke s thoughts on life and art.