Related Books
Language: en
Pages: 308
Pages: 308
Type: BOOK - Published: 2002-02-25 - Publisher: Cambridge University Press
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
Language: en
Pages: 392
Pages: 392
Type: BOOK - Published: 2003 - Publisher: Addison-Wesley Professional
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
Language: en
Pages: 384
Pages: 384
Type: BOOK - Published: 2007-06-13 - Publisher: Pearson Education
Learn proven, real-world techniques for specifying software requirements with this practical reference. It details 30 requirement “patterns” offering realis
Language: en
Pages: 216
Pages: 216
Type: BOOK - Published: 2001 - Publisher: Addison-Wesley Professional
The UML was conceived and first implemented as a language for describing the design of object-oriented programs. Its widespread adoption and inherent flexibilit
Language: en
Pages: 1050
Pages: 1050
Type: BOOK - Published: 1982 - Publisher:
