摘要: The ESPRIT Basic Research Working Group COMPASS has brought together most European scientists in the area of algebraic specification methods an effort to consolidate and integrate theoretical basis apply it software technology. approach treats not just syntactic aspects interfaces but supports precise semantics generic reusable system components, providing formal conceptual for their stepwise correct development.
springer.com
sci-hub.st 参考文章(6)
Algebraic system specification and development Springer-Verlag New York, Inc.. ,(1991) , 10.1007/BFB0018512
C. Choppy, M. Bidoit, Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers Springer-Verlag. ,(1993)
M. Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella, Algebraic System Specification and Development: A Survey and Annotated Bibliography ,(1991)
Recent Trends in Data Type Specification Springer Berlin Heidelberg. ,(1996) , 10.1007/3-540-61629-2
Recent Trends in Data Type Specification Springer Berlin Heidelberg. ,(1993) , 10.1007/3-540-56379-2
Algebraic Foundations of Systems Specification Springer-Verlag New York, Inc.. ,(1999) , 10.1007/978-3-642-59851-7