Algebraic specification techniques and tools for software development : the ACT approach

Author(s)

• Claßen, Ingo
• Ehrig, Hartmut
• Wolz, Dietmar

Bibliographic Information

Algebraic specification techniques and tools for software development : the ACT approach

Ingo Claßen, Hartmut Ehrig, Dietmar Wolz

（AMAST series in computing / managing editor: T. Rus ; advisory board; A. Arnold ... [et al.], v. 1）

World Scientific, c1993

Note

Includes bibliographies

Description and Table of Contents

Description

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.

Table of Contents

• Algebraic specfication as formal method for software development
• ACT one - a language for parameterized specification
• ACT two - a language for module specification
• the ACT environment. Appendix: algebraic concepts and operational semantics.

by "Nielsen BookData"

Details

• NCID: BA21651066
• ISBN:
  • 9810212275
• Country Code: si
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Singapore
• Pages/Volumes: xvi, 237 p.
• Size: 23 cm
• Parent Bibliography ID:
  • BA21651292