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.

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).

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.

No other writer of German-language literature in the 20th century has been as fully accepted into the canon of world literature as Franz Kafka. The unsettlingly, enigmatically surreal world depicted in 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 wholly clear: although all theories attempt to appropriate Kafka, there is no one key to his work. The challenge to critics has 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. The essays follow an introduction by the editor,and include: Clayton Koelb on the controversial question of Kafka editions; Walter H. Sokel on a life of reading--and writing about--Kafka; Judith Ryan on the early stories; Russell A. Berman on tradition and betrayal in `The Judgment'; Ritchie Robertson on anti-Christian elements in `The Judgment,' `The Metamorphosis,' and the aphorisms; Henry Sussman on Kafka's evolving aesthetics; Stanley Corngold on The Trial; Bianca Theisen on Kafka's use of circus motifs in the stories `Up in the Gallery' and `First Sorrow'; Rolf J. Goebel on the connection of Kafka's The Missing Person, `In the Penal Colony,' and `The Great Wall of China' to postcolonial critique; Richard T. Gray on the semiotics and aesthetics of `In the Penal Colony'; Ruth V. Gross on the `enigmatics' of the short fiction; Sander L. Gilman on Kafka's Jewishness and the story `The Country Doctor'; John Zilcosky on the colonial visionsin The Castle; Mark Harman on the variants to The Castle and what they tell us about Kafka's writing process; and Clayton Koelb on Kafka's rhetoric in the late stories `Josephine the Singer' and `The Burrow.' James Rolleston is Emeritus Professor of German at Duke University and has written widely on topics in modern German literature.