Related Books

Specifying Software
Language: en
Pages: 308
Authors: R. D. Tennent
Categories: Computers
Type: BOOK - Published: 2002-02-25 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Provides an innovative hands-on introduction to techniques for specifying the behaviour of software components. It is primarily intended for use as a text book
Specifying Systems
Language: en
Pages: 392
Authors: Leslie Lamport
Categories: Computers
Type: BOOK - Published: 2003 - Publisher: Addison-Wesley Professional

DOWNLOAD EBOOK

Both a tutorial on specifying systems and a complete reference to TLA, this is the distillation of 25 years of work by a renowned computer scientist. Divided in
Specification by Example
Language: en
Pages: 346
Authors: Gojko Adzic
Categories: Computers
Type: BOOK - Published: 2011-06-02 - Publisher: Simon and Schuster

DOWNLOAD EBOOK

Summary Specification by Example is an emerging practice for creating software based on realistic examples, bridging the communication gap between business stak
UML Components
Language: en
Pages: 216
Authors: John Cheesman
Categories: Computers
Type: BOOK - Published: 2001 - Publisher: Addison-Wesley Professional

DOWNLOAD EBOOK

The UML was conceived and first implemented as a language for describing the design of object-oriented programs. Its widespread adoption and inherent flexibilit
Software Requirement Patterns
Language: en
Pages: 384
Authors: Stephen Withall
Categories: Computers
Type: BOOK - Published: 2007-06-13 - Publisher: Pearson Education

DOWNLOAD EBOOK

Learn proven, real-world techniques for specifying software requirements with this practical reference. It details 30 requirement “patterns” offering realis