登入選單
返回Google圖書搜尋
Algebraic Specification Techniques and Tools for Software Development
Ingo ClassenHartmut EhrigDietmar Wolz
其他書名
The ACT Approach
出版World Scientific, 1993
主題Computers / GeneralComputers / Computer ScienceComputers / Software Development & Engineering / General
ISBN98102122759789810212278
URLhttp://books.google.com.hk/books?id=Y_7nltgY2K0C&hl=&source=gbs_api
EBookSAMPLE
註釋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.