Practical Tips for Software-Intensive Student Projects
by Damith C. Rajapakse
This book contains a collection of practical tips - byte sized observations and lessons learned - gathered from the authors' software engineering experience and from many excellent books/articles on the topic. However, it does not intend to cover software engineering theory. The book is meant for students following software engineering project courses. It is usually hard for students to apply previously learned theories in a practical context. This is an attempt to help such students. Today's students have very little time for reading supplementary texts. That is why we try to keep this as short as possible.
Home page url
Download or read it online for free here:
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 Noam Nisan, Shimon Schocken - MIT Press
The book exposes students to a significant body of computer science knowledge, gained through a series of hardware and software construction tasks. These tasks demonstrate how theoretical and applied techniques are used in practice.
by Cliff B. Jones and Robert C. F. Shaw - Prentice Hall
This book covers the case studies on the application of the most widely known formal methods in software development, the Vienna Development Method. VDM was developed in an industrial environment but has also evoked considerable academic research.
by Linda Landis, et al.
Guidelines for an organized approach to software development, based on studies conducted by the Software Engineering Laboratory, an organization sponsored by the NASA/GSFC. It describes methods for each phase of a software development life cycle.