Publish Date: 2006
Internet Resource: Please Login to download book
This book considers the potential and limitations of the various mathematical approaches and thereby aims to give a balanced view of the usability of each mathematical approach. Written with both student and professional in mind, this book assists the reader in applying mathematical methods to solve practical problems that are relevant to software engineers. It is suitable for coursework or self-study and there is helpful material on tools to support the various mathematical approaches.
Subject: Computer Science, Cleanroom, Dijkstra, Formal Methods, Hoare, Irish VDM, Logic, Mathematics, Software Engineering, Software Engineering Mathematics, Software Quality, Technology Transfer, UML, Unified Modeling Language (UML), VDM, modeling