Publisher's Synopsis
This book aims at a broad coverage of an eclectic subject. Topics covered range from the technically challenging formal specifications to managerial issues such as quality and team organization, to HCI aspects. The author's approach to the material and organization of the chapters is based on years of experience teaching the software life cycle itself and all the satellite subjects which make up the practice of developing and working on large scale software projects.