Key software specification methods are introduced in this practical approach that applies learned techniques to real-life situations. Each method is introduced through a series of questions asked by an imaginary user and presented with the same invoicing-system example, allowing readers to compare and contrast each method. Among the techniques covered are B, Estelle, LOTOS, SAZ, OMT, SDL, TLA+, UML, VHDL, and Z.
<b>Praise from the Reviewers:</b> <p> "The practicality of the subject in a real-world situation distinguishes this book from others available on the market."<br> —<b>Professor Behrouz Far</b>, University of Calgary <p> "This book could replace the computer organization texts now in use that every CS and CpE student must take. . . . It is much needed, well written, and thoughtful."<br> —<b>Professor Larry Bernstein</b>, Stevens Institute of Technology <p> <b>A distinctive, educational text onsoftware performance and scalability</b> <p> This is the first book to take a quantitative approach to the subject of software performance and scalability. It brings together three unique perspectives to demonstrate how your products can be optimized and tuned for the best possible performance and scalability: <ul> <li> <div><b>The Basics</b>—introduces the computer hardware and software architectures that predetermine the performance and scalability of a software product as well as the principles of measuring the performance and scalability of a software product</div> <li> <div><b>Queuing Theory</b>—helps you learn the performance laws and queuing models for interpreting the underlying physics behind software performance and scalability, supplemented with ready-to-apply techniques for improving the performance and scalability of a software system</div> <li> <div><b>API Profiling</b>—shows you how to design more efficient algorithms and achieve optimized performance and scalability, aided by adopting an API profiling framework (perfBasic) built on the concept of a performance map for drilling down performance root causes at the API level</div> </ul> <p> <i>Software Performance and Scalability</i> gives you a specialized skill set that will enable you to design and build performance into your products with immediate, measurable improvements. Complemented with real-world case studies, it is an indispensable resource for software developers, quality and performance assurance engineers, architects, and managers. It is anideal text for university courses related to computer and software performance evaluation and can also be used to supplement a course in computer organization or in queuing theory for upper-division and graduate computer science students. <p>
An effective, quantitative approach for estimating and managing software projects<br> <br> <br> How many people do I need? When will the quality be good enough for commercial sale? Can this really be done in two weeks? Rather than relying on instinct, the authors of Software Measurement and Estimation offer a new, tested approach that includes the quantitative tools, data, and knowledge needed to make sound estimations.<br> <br> The text begins with the foundations of measurement, identifies the appropriate metrics, and then focuses on techniques and tools for estimating the effort needed to reach a given level of quality and performance for a software project. All the factors that impact estimations are thoroughly examined, giving you the tools needed to regularly adjust and improve your estimations to complete a project on time, within budget, and at an expected level of quality.<br> <br> This text includes several features that have proven to be successful in making the material accessible and easy to master:<br> * Simple, straightforward style and logical presentation and organization enables you to build a solid foundation of theory and techniques to tackle complex estimations<br> * Examples, provided throughout the text, illustrate how to use theory to solve real-world problems<br> * Projects, included in each chapter, enable you to apply your newfound knowledge and skills<br> * Techniques for effective communication of quantitative data help you convey your findings and recommendations to peers and management<br> <br> Software Measurement and Estimation: A Practical Approach allows practicing software engineers and managers to better estimate, manage, and effectively communicate the plans and progress of their software projects. With its classroom-tested features, this is an excellent textbook for advanced undergraduate-level and graduate students in computer science and software engineering.<br> <br> An Instructor Support FTP site is available from the Wiley editorial department.
Buy Software Articles
Buy Software Books