by A. Bijlsma, B.J. Heeren, E.E. Roubtsova, S. Stuurman
Publisher: FTA 2011
Number of pages: 162
The central theme of this course book is balancing the concerns and requirements of stakeholders, combining these into an architecture proposal by employing known tactics and patterns, producing a description of the architecture that can be communicated and analysed, and evaluating the resulting architecture's qualities.
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 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 Sue Conger - Global Text Project
The book discusses software engineer's project related knowledge and theoretical background. It covers project planning, project life cycles, methodologies, technologies, techniques, tools, languages, testing, databases, and CASE.
by Johannes Sametinger - Springer
The book explains what is software reuse, what benefits to expect, different forms of software reuse, software components, different kinds of components, examples of successful component reuse, introduction to software engineering, and more.