The Cambridge Introduction to French Poetry is a comprehensive survey of French poetry. The poets discussed - all quoted in the original, followed by an English translation - belong to every period from the eleventh century to the present, and include Francophone authors from areas other than France.  Meer

Alphard is a design for a programming system that supports the abstraction and verification techniques required by modern program'ming methodology. During the language design process, we were concerned simultaneously with problems of methodology, correctness, and efficiency.  Meer

The Cambridge Introduction to French Poetry is a comprehensive survey of French poetry. The poets discussed - all quoted in the original, followed by an English translation - belong to every period from the eleventh century to the present, and include Francophone authors from areas other than France.  Meer

Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized its key role in enabling the development of self-adaptive systems that are able to adapt to internal faults, changing requirements, and evolving environments.  Meer