| 期刊全称 | Algebraic Foundations of Systems Specification | | 影响因子2023 | Egidio Astesiano,Hans-Jörg Kreowski,Bernd Krieg-Br | | 视频video | | | 发行地址 | Important material for postgraduate courses on formal specification for software development.Fundamental knowledge and the state of the art in algebraic specification.Includes supplementary material: | | 学科分类 | IFIP State-of-the-Art Reports | | 图书封面 |  | | 影响因子 | The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the requirements. To achieve and to guarantee correct systems, the need of formal methods with rigorous semantics and the possibility of verification is widely accepted. Algebraic specification is a software engineering approach of this perspective. When Liskov and Zilles, Guttag and the ADJ-group with Goguen, Thatch er, Wagner and Wright introduced the basic ideas of algebraic specification in the mid seventies in the U. S. A. and Canada, they initiated a very successful and still flourishing new area. In the late seventies, algebraic specification became a major research topic also in many European countries. Originally, the algebraic framework was intended for the mathematical foundation of ab stract data types and the formal development of first-order applicative pro grams. Meanwhile, the range of applications has been extended to the precise specification of complete software systems, the uniform definition of syntax and semantics of programming | | Pindex | Book 1999 |
The information of publication is updating
|
|
发表于 2025-3-21 18:22:24
