Towards an Evolutionary Formal Software-Development Using CASL-Reference-Cited by-同舟云学术

Towards an Evolutionary Formal Software-Development Using CASL

Published:2000 Issue: Volume: Page:73-88
ISSN:0302-9743
Container-title:Recent Trends in Algebraic Development Techniques
language:
Short-container-title:

Author:

Autexier Serge,Hutter Dieter,Mantel Heiko,Schairer Axel

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-44616-3_5

Reference11 articles.

1. Lecture Notes in Artificial Intelligence;S. Autexier,1999

2. CoFI Language Design Task Group. The common algebraic specification language ( Casl) – summary, 1998. Version 1.0 and additional Note S-9 on Semantics, available from http://www.brics.dk/Projects/CoFI

3. Cerioli, M., Meseguer, J.: May I borrow your logic? Theoretical Computer Science 173(2), 311–347 (1997)

4. Diaconescu, R., Goguen, J., Stefaneas, P.: Logical support for modularization. In: Huet, G., Plotkin, G. (eds.) Workshop on Logical Frameworks (1991)

5. Hennicker, R., Wirsing, M., Bidoit, M.: Proof systems for structured specifications with observability operators. Theoretical Computer Science 173(2), 393–443 (1997)

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

1. Morphism Equality in Theory Graphs;Lecture Notes in Computer Science;2023

2. Diagram Combinators in MMT;Lecture Notes in Computer Science;2019

3. Structuring Theories with Implicit Morphisms;Recent Trends in Algebraic Development Techniques;2019

4. A Proof Theoretic Interpretation of Model Theoretic Hiding;Recent Trends in Algebraic Development Techniques;2012

5. Towards Logical Frameworks in the Heterogeneous Tool Set Hets;Recent Trends in Algebraic Development Techniques;2012