The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusability. These methods are introduced by parameterized and module specifications through practical examples and case studies using algebraic specification languages and tools developed at TU Berlin.

Algebraic Specification Techniques and Tools for Software Development: The ACT Approach (Amast Computing)

Computers & Technology

Ehrig, Hartmut

Claben, Ingo

Wolz, Dietmar

Computer Science

World Scientific Publishing Company

See the best price to sell, buy, or rent books by Claben, Ingo. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Claben, Ingo

See the best price to sell, buy, or rent books by Claben, Ingo. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Algebraic Specification Techniques and Tools for Software Development: The ACT Approach (Amast Computing)