Heterogeneous development graphs and heterogeneous borrowing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2303, Issue , 2002, Pages 326-341

  Mossakowski, Till ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; CALCULATIONS; EMPOWERMENT OF PERSONNEL; FORMAL LOGIC; GRAPHIC METHODS; SEMANTICS; SPECIFICATIONS;

FORMAL PROGRAM DEVELOPMENT; HIGHER ORDER LOGIC; MANAGEMENT OF CHANGE; PROOF CALCULUS; PROOF THEORY; SOFTWARE SYSTEMS; STRUCTURED SPECIFICATION;

COMPUTER CIRCUITS;

EID: 84948961705     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45931-6_23     Document Type: Conference Paper

References (21)

1. D. Ancona, M. Cerioli, and E. Zucca. Extending Casl by late binding. In C. Choppy, D. Bert, and P. Mosses, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT’99, Bonas, France, volume 1827 of Lecture Notes in Computer Science. Springer-Verlag, 2000.
2. E. Astesiano, H.-J. Kreowski, and B. Krieg-Brückner. Algebraic Foundations of Systems Specification. Springer, 1999.
3. S. Autexier, D. Hutter, H. Mantel, and A. Schairer. Towards an evolutionary formal software-development using Casl. In C. Choppy and D. Bert, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT’99, Bonas, France, volume 1827 of Lecture Notes in Computer Science, pages 73–88. Springer-Verlag, 2000.
4. S. Autexier and T. Mossakowski. Integrating HOL-Casl into the development graph manager Maya. FroCoS 2002, to appear.
5. H. Baumeister and A. Zamulin. State-based extension of Casl. In Proceedings IFM 2000, volume 1945 of Lecture Notes in Computer Science. Springer-Verlag, 2000.
6. T. Borzyszkowski. Logical systems for structured specifications. Theoretical Computer Science, to appear.
7. C. Caleiro, P. Mateus, J. Ramos, and A. Sernadas. Combining logics: Parchments revisited. In M. Cerioli and G. Reggio, editors, Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT’01, Genova, Italy, Lecture Notes in Computer Science. Springer-Verlag. To appear.
8. M. Cerioli and J. Meseguer. May I borrow your logic? (transporting logical structures along maps). Theoretical Computer Science, 173:311–347, 1997.
9. R. Diaconescu. Grothendieck institutions. Applied categorical structures. to appear.
10. J. A. Goguen and R. M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39:95–146, 1992. Predecessor in: LNCS 164, 221–256, 1984.
11. J. Meseguer. General logics. In Logic Colloquium 87, pages 275–329. North Holland, 1989.
12. T. Mossakowski. Relating Casl with other specification languages: the institution level. Theoretical Computer Science. To appear.
13. T. Mossakowski, S. Autexier, and D. Hutter. Extending development graphs with hiding. In H. Hußmann, editor, Fundamental Approaches to Software Engineering, volume 2029 of Lecture Notes in Computer Science, pages 269–283. Springer- Verlag, 2001.
14. T. Mossakowski, A. Haxthausen, and B. Krieg-Brückner. Subsorted partial higherorder logic as an extension of Casl. In C. Choppy, D. Bert, and P. Mosses, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT’99, Bonas, France, volume 1827 of Lecture Notes in Computer Science, pages 126–145. Springer-Verlag, 2000.
15. T. Mossakowski and B. Klin. Institution independent static analysis for Casl. In M. Ceriolo and G. Reggio, editors, Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT’01, Genova, Italy, Lecture Notes in Computer Science. Springer-Verlag. To appear.
16. T. Mossakowski, A. Tarlecki, and W. PawMlowski. Combining and representing logical systems using model-theoretic parchments. In F. Parisi Presicce, editor, Recent trends in algebraic development techniques. Proc. 12th International Workshop, volume 1376 of Lecture Notes in Computer Science, pages 349–364. Springer, 1998.
17. P. D. Mosses. CoFI: The Common Framework Initiative for Algebraic Specification and Development. In TAPSOFT ’97, Proc. Intl. Symp. on Theory and Practice of Software Development, volume 1214 of LNCS, pages 115–137. Springer-Verlag, 1997.
18. G. Reggio and L. Repetto. Casl-CHART: a combination of statecharts and of the algebraic specification language Casl. In Proc. AMAST 2000, volume 1816 of Lecture Notes in Computer Science. Springer Verlag, 2000.
19. L. Schröder and T. Mossakowski. HasCasl: Towards integrated specification and development of Haskell programs. Submitted.
20. A. Tarlecki. Moving between logical systems. In M. Haveraaen, O. Owe, and O.-J. Dahl, editors, Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, volume 1130 of Lecture Notes in Computer Science, pages 478–502. Springer Verlag, 1996.
21. A. Tarlecki. Towards heterogeneous specifications. In D. Gabbay and M. d. Rijke, editors, Frontiers of Combining Systems 2, 1998, Studies in Logic and Computation, pages 337–360. Research Studies Press, 2000.