Related Books

Formal Foundations for Software Engineering Methods
Language: en
Pages: 308
Authors: Heinrich Hußmann
Categories: Computers
Type: BOOK - Published: 1997-09-23 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

In this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the
Foundations of Algebraic Specification and Formal Software Development
Language: en
Pages: 594
Authors: Donald Sannella
Categories: Computers
Type: BOOK - Published: 2012-01-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating
Formal Methods for Software Engineering
Language: en
Pages: 538
Authors: Markus Roggenbach
Categories: Computers
Type: BOOK - Published: 2022-06-22 - Publisher: Springer Nature

DOWNLOAD EBOOK

Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a fo
Foundations of Software Engineering
Language: en
Pages: 770
Authors: Ashfaque Ahmed
Categories: Computers
Type: BOOK - Published: 2016-08-25 - Publisher: CRC Press

DOWNLOAD EBOOK

The best way to learn software engineering is by understanding its core and peripheral areas. Foundations of Software Engineering provides in-depth coverage of
Software Engineering Foundations
Language: en
Pages: 1488
Authors: Yingxu Wang
Categories: Computers
Type: BOOK - Published: 2007-08-09 - Publisher: CRC Press

DOWNLOAD EBOOK

A groundbreaking book in this field, Software Engineering Foundations: A Software Science Perspective integrates the latest research, methodologies, and their a