The development graph manager MAYA

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

Volumn 2422, Issue , 2002, Pages 495-501

  Autexier, Serge ^a   Hutter, Dieter ^a   Mossakowski, Till ^b   Schairer, Axel ^a  

^a DKFI GmbH   (Germany)

^b UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84944074785     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45719-4_34     Document Type: Conference Paper

References (10)

1. S. Autexier, D. Hutter, H. Mantel, and A. Schairer. Towards an evolutionary formal software-development using Casl. In Recent Developments in Algebraic Development Techniques, WADT’99, Bonas, France, Springer LNCS 1827, 2000. 495, 497
2. S. Autexier, T. Mossakowski. Integrating HOLCASL into the Development Graph Manager MAYA. In A. Armando (Ed.) Frontiers of Combining Systems (Fro- CoS’02), Santa Margherita Ligure, Italy, Springer LNAI, April, 2002. 499
3. CoFI Language Design Task Group. The Common Algebraic Specification Language (Casl) – Summary, Version 1.0 and additional Note S-9 on Semantics, available from http://www.cofi.info, 1998. 495
4. D. Hutter. Management of change in verification systems. In Proceedings 15th IEEE International Conference on Automated Software Engineering, ASE-2000, pages 23–34. IEEE Computer Society, 2000. 495
5. S. Autexier, D. Hutter, H. Mantel, A. Schairer: System Description: INKA 5.0 - A Logic Voyager. In H. Ganzinger, CADE-16, Springer, LNAI 1632, 1999. 496
6. T. Mossakowski. Heterogeneous development graphs and heterogeneous borrowing. In M. Nielsen (Ed.) Foundations of Software Science and Computation Structures (FOSSACS02), Grenoble, France, Springer LNCS, April, 2002. 500
7. T. Mossakowski, S. Autexier, and D. Hutter. Extending development graphs with hiding. In A. Konermann, editor, Proceedings of Fundamental Approaches to Software Engineering (FASE2001). Springer, LNCS 2029, 2001. 500
8. L. C. Paulson. Isabelle - A Generic Theorem Prover, Springer LNCS 828, 1994. 496
9. J. Siekmann et al. LOUI: Lovely OMEGA user interface. Formal Aspects of Computing, 3(11): 326-342, 1999. 500
10. D. Hutter et. al. Verification Support Environment (VSE), Journal of High Integrity Systems, Vol. 1, pages 523–530, 1996. 495