Howard Haughton – författare
Visar alla böcker från författaren Howard Haughton. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
1 268 kr
Tillfälligt slut
This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners. Extensive examples of all development life-cycle stages are given, including animation, proof, design and code generation in C. Two large case studies and exercises with solutions are provided.The authors have extensive experience in teaching B and in its industrial application to high integrity systems. The book uses the B Toolkit to support the text, but it is also relevant to users of alternative toolsets for B.
668 kr
Tillfälligt slut
This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners. Extensive examples of all development life-cycle stages are given, including animation, proof, design and code generation in C. Two large case studies and exercises with solutions are provided.The authors have extensive experience in teaching B and in its industrial application to high integrity systems. The book uses the B Toolkit to support the text, but it is also relevant to users of alternative toolsets for B.
485 kr
Skickas inom 10-15 vardagar
In this textbook the authors introduce the important concepts of the financial software domain, and motivate the use of an agile software engineering approach for the development of financial software. They describe the role of software in defining financial models and in computing results from these models. Practical examples from bond pricing, yield curve estimation, share price analysis and valuation of derivative securities are given to illustrate the process of financial software engineering.Financial Software Engineering also includes a number of case studies based on typical financial engineering problems:*Internal rate of return calculation for bonds* Macaulay duration calculation for bonds* Bootstrapping of interest rates* Estimation of share price volatility* Technical analysis of share prices* Re-engineering Matlab to C#* Yield curve estimation* Derivative security pricing* Risk analysis of CDOsThe book is suitable for undergraduate and postgraduate study, and for practitioners who wish to extend their knowledge of software engineering techniques for financial applications