The New Software Engineering
by Sue Conger
Publisher: Global Text Project 2008
Number of pages: 831
This book discusses the software engineer's project related knowledge and theoretical background in order to facilitate and speed the process by which novices become experts. It covers project planning, project life cycles, methodologies, technologies, techniques, tools, languages, testing, ancillary technologies (e.g., database), and computer-aided software engineering (CASE). For each topic, alternatives, benefits and disadvantages are discussed.
Download or read it online for free here:
by C.A.R. Hoare - Prentice Hall
CSP is a language for describing patterns of interaction. It is supported by an elegant mathematical theory, a set of proof tools, and an extensive literature. The book is an excellent introduction to the language, and also to the mathematical theory.
by Leslie Lamport - Addison-Wesley Professional
This book shows how to write unambiguous specifications of complex computer systems. It provides a complete reference manual for the TLA+, the language developed by the author for writing simple and elegant specifications of algorithms and protocols.
by Mathias Ekstedt - Industrial Info Systems
This book is the result of innumerable longwinded, oftentimes unnecessarily complicated, discussions between the authors on the nature of software engineering, machines, minds, design, software, engineering, organizations and more.
by Eve Andersson, Philip Greenspun, Andrew Grumet - The MIT Press
After completing this course on server-based Internet applications software, students who start with only the knowledge of how to write and debug a computer program will have learned how to build web-based applications on the scale of Amazon.com.