Algebraic Specification in Casl

H Baumeister, D Bert - Software Specification Methods: An Overview Using a … - Springer
Two main principles underlie the algebraic specification technology. The first one is
representation independence. This means that data representation is not known and does …
被引用次数：15 相关文章

[引用][C] Algebraic specification in CASL

H Baumeister, D Bert - … specification Methods: An Overview Using a …, 2006 - orbit.dtu.dk
Algebraic specification in CASL — Welcome to DTU Research Database Skip to main
navigation Skip to search Skip to main content Welcome to DTU Research Database Home …

Algebraic Specification in Casl

H Baumeister, D Bert - Software Specification Methods: An Overview Using a … - Springer
12 Algebraic Specification in CASL Page 1 12 Algebraic Specification in CASL Hubert
Baumeister and Didier Bert 12.1 Overview of the CASL Notation The acronym CASL stands for …

[引用][C] Algebraic specification in CASL

H Baumeister, D Bert - 2006 - imm.dtu.dk

[引用][C] Algebraic specification in CASL

H Baumeister, D Bert - … specification methods: an overview using a case …, 2001 - dl.acm.org
Algebraic specification in CASL | Software specification methods skip to main content ACM
Digital Library home ACM home Google, Inc. (search) Advanced Search Browse About Sign …

[引用][C] Algebraic specification in {CASL}

H Baumeister, D Bert - Software specification Methods: An Overview Using a … - imm.dtu.dk