Related Books
Language: en
Pages: 243
Pages: 243
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
The correct development of large / com plex pieces of software demands a thorough structuring of the design process. In a first phase the requirements engineeri
Language: en
Pages: 348
Pages: 348
Type: BOOK - Published: 2014 - Publisher:
In the Guide to the Software Engineering Body of Knowledge (SWEBOK(R) Guide), the IEEE Computer Society establishes a baseline for the body of knowledge for the
Language: en
Pages: 602
Pages: 602
Type: BOOK - Published: 2003-06-29 - Publisher: Springer
This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2
Language: en
Pages: 573
Pages: 573
Type: BOOK - Published: 2011-03-29 - Publisher: Springer
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemor
Language: en
Pages: 443
Pages: 443
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Making systems easier to use implies increasingly complex management of communication between users and applications. An increasing part of the application prog
