Software Specification Methods

Software Specification Methods provides the formal methods practitioner with a survey of the key software specification methods. This book is intended for industrial and commercial practitioners who need to expand their knowledge of software specification methods.