Singapore: Springer, 2021. — 104 p. This book presents the basic concepts of software reliability growth models (SRGMs), ranging from fundamental to advanced level. It discusses SRGM based on the non-homogeneous Poisson process (NHPP), which has been a quite successful tool in practical software reliability engineering. These models consider the debugging process as a counting...
Morgan Kaufmann, 2016. — 415 p. — ISBN: 978-0-12-802301-3. This book presents novel and high-quality research related approaches that relate the quality of software architecture to system requirements, system architecture and enterprise-architecture, or software testing. Modern software has become complex and adaptable due to the emergence of globalization and new software...
No Starch Press, 2011. — 208 p. — ISBN10: 1593273851; ISBN13: 978-1593273859. Seemingly simple bugs can have drastic consequences, allowing attackers to compromise systems, escalate local privileges, and otherwise wreak havoc on a system. A Bug Hunter's Diary follows security expert Tobias Klein as he tracks down and exploits bugs in some of the world's most popular software,...
Manning Publications, 2015. — 192 p. — ISBN13: 978-1617291357. Software Development Metrics is a handbook for anyone who needs to track and guide software development and delivery at the team level, such as project managers and team leads. New development practices, including "agile" methodologies like Scrum, have redefined which measurements are most meaningful and under what...
Addison-Wesley Professional, 2003. — 608 p. — ISBN10: 0321773713, ISBN13: 978-0321773715. The SPIN Model Checker is used for both teaching software verification techniques, and for validating large scale applications. The growing number of users has created a need for a more comprehensive user guide and a standard reference manual that describes the most recent version of the...
Manning Publications, 2017. — 480 p. Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris, a language designed to support type-driven development. About the Technology Stop fighting type errors!...
Комментарии