CoFI: The common framework initiative for algebraic specification and development-Reference-Cited by-同舟云学术

CoFI: The common framework initiative for algebraic specification and development

Published:1997 Issue: Volume: Page:115-137
ISSN:0302-9743
Container-title:TAPSOFT '97: Theory and Practice of Software Development
language:
Short-container-title:

Author:

Mosses Peter D.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0030591

Reference10 articles.

1. C. Alexander. A Timeless Way of Building. Oxford University Press, 1979.

2. M. Bidoit, C. Choppy, and F. Voisin. Interchange format for inter-operability of tools and translation. In Haveraaen et al. [6], pages 102–124.

3. M. Bidoit, H.-J. Kreowski, P. Lescanne, F. Orejas, and D. Sannella, editors. Algebraic System Specification and Software Development, volume 501 of Lecture Notes in Computer Science. Springer-Verlag, 1991.

4. CoFI. CASL: The CoFI algebraic specification language, tentative design: Language summary. Notes Series NS-96-15, BRICS, Department of Computer Science, University of Aarhus, 1996.

5. J. A. Goguen and J. Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Technical Report SRI-CSL-89-10, Computer Science Lab., SRI International, 1989.

Cited by 37 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Logics for Software Engineering;Texts in Theoretical Computer Science. An EATCS Series;2022

2. Casl — the Common Algebraic Specification Language;Logics of Specification Languages;2007-12-05

3. Towards MultiMedia Instruction in Safe and Secure Systems;Lecture Notes in Computer Science;2005

4. Foundations of Heterogeneous Specification;Recent Trends in Algebraic Development Techniques;2003

5. From Formal Techniques to Well-Founded Software Development Methods;Formal Methods at the Crossroads. From Panacea to Foundational Support;2003