Algebraic foundations of systems specification

作     者：E. Astesiano H.-J. Kreowski B. Krieg-Bruckner (eds.). 

I S B N：(纸本) 3540637729 

出 版 社：Springer 

出 版 年：1999年

摘      要：From the Publisher: This book is a collection of high-quality contributions in the area of algebraic foundations of system specification, written by well-known experts. The contributions cover active topics and recent advances, and relate the work to other specification paradigms. Topics include institutions, partiality, specification semantics, structuring, refinement, specification languages, term rewriting, deduction, model-oriented specification, object-specification, concurrency, and the development process. All topics are clearly introduced, well illuminated with examples, and systematically developed.