by Leslie Lamport
Publisher: Addison-Wesley Professional 2002
Number of pages: 382
This book shows how to write unambiguous specifications of complex computer systems. The first part provides an introduction to specification, explaining how to describe the behavioral properties of a system. The second part covers liveness and fairness, real-time properties, and composition. Final two parts provide a complete reference manual for the TLA+ language and tools, as well as a handy mini-manual.
Home page url
Download or read it online for free here:
by Shane Pinder - InTech
The book surveys the disciplines that inhabit the study and practice of human-computer interaction. The authors are passionate advocates of innovative applications, novel approaches, and modern advances in this exciting and developing field.
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.
by Abdelrahman Osman Elfaki - InTech
The Software Product Line (SPL) is an emerging methodology for developing software products. There are two hot issues in the SPL: modelling and the analysis of the SPL. Variability modelling techniques have been developed to assist engineers ...
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.