This book constitutes the refereed proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97),

This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 resear

The correct development of large / com plex pieces of software demands a thorough structuring of the design process. In a first phase the requirements engineeri

1 In a number of recent presentations – most notably at FME’96 –oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted t

This book constitutes the revised refereed summary of the results presented during the European IST/FET proactive initiative's Global Computing workshop, GC 200