Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)

Software Metrics: A Rigorous and Practical Approach, Third Edition (Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series)

The Software Developer

Free Software for PDAs: Architecture and software development for PDAs

Software Development in Practice