Related Books
Language: en
Pages: 308
Pages: 308
Type: BOOK - Published: 1997-09-23 - Publisher: Springer Science & Business Media
In this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the
Language: en
Pages: 538
Pages: 538
Type: BOOK - Published: 2022-06-22 - Publisher: Springer Nature
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a fo
Language: en
Pages: 594
Pages: 594
Type: BOOK - Published: 2012-01-05 - Publisher: Springer Science & Business Media
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating
Language: en
Pages: 1488
Pages: 1488
Type: BOOK - Published: 2007-08-09 - Publisher: CRC Press
A groundbreaking book in this field, Software Engineering Foundations: A Software Science Perspective integrates the latest research, methodologies, and their a
Language: en
Pages: 770
Pages: 770
Type: BOOK - Published: 2016-08-25 - Publisher: CRC Press
The best way to learn software engineering is by understanding its core and peripheral areas. Foundations of Software Engineering provides in-depth coverage of