Development graphs - Proof management for structured specifications

Journal of Logic and Algebraic Programming

Volumn 67, Issue 1-2, 2006, Pages 114-145

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

^a UNIVERSITY OF BREMEN   (Germany)

^b DKFI GmbH   (Germany)

Author keywords

Algebraic specification; Institutions; Proof calculus; Structuring

Indexed keywords

ALGEBRA; COMPUTER SCIENCE; DATA STRUCTURES; DIFFERENTIATION (CALCULUS); INFORMATION MANAGEMENT; SEMANTICS; SPECIFICATIONS;

ALGEBRAIC SPECIFICATION; PROOF CALCULUS; STRUCTURING;

GRAPH THEORY;

EID: 33644636474     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2005.09.005     Document Type: Article

References (23)

1. J. Adámek, and J. Rosický Locally Presentable and Accessible Categories 1994 Cambridge University Press
2. S. Autexier, D. Hutter, H. Mantel, and A. Schairer System description: Inka 5.0-a logic voyager H. Ganzinger Proceedings of CADE-16, Trento, Italy LNAI vol. 1632 1999 Springer-Verlag
3. S. Autexier, D. Hutter, H. Mantel, A. Schairer, Towards an evolutionary formal software-development using Casl, in: C. Choppy, D. Bert (Eds.), Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, Lecture Notes in Computer Science, vol. 1827, Springer-Verlag, 2000, pp. 73-88.
4. S. Autexier, T. Mossakowski, Integrating HOL-Casl into the development graph manager Maya, in: A. Armando (Ed.), Frontiers of Combining Systems, 4th International Workshop, Lecture Notes in Computer Science, vol. 2309, Springer-Verlag, 2002, pp. 2-17.
5. J. Bergstra, J. Heering, and P. Klint Module algebra J. ACM 37 2 1990 335 372
6. T. Borzyszkowski Logical systems for structured specifications Theor. Comput. Sci. 286 2002 197 245
7. R. Diaconescu, J. Goguen, P. Stefaneas, Logical support for modularisation, in: G. Huet, G. Plotkin (Eds.), Proceedings of a Workshop on Logical Frameworks, 1991.
8. F. Durán, A reflective module algebra with applications to the Maude language, PhD thesis, Universidad de Málaga, Spain, June 1999. Available from: 〈 http://maude.csl.sri.com/papers 〉.
9. F. Durán, and J. Meseguer Structured theories and institutions Theor. Comput. Sci. 309 1-3 2003 357 380
10. J.A. Goguen, and R.M. Burstall Institutions: abstract model theory for specification and programming J. Associat. Comput. Mach. 39 1992 95 146 Predecessor in: LNCS 164, 221-256, 1984
11. R. Hennicker, M. Wirsing, and M. Bidoit Proof systems for structured specifications with observability operators Theor. Comput. Sci. 173 2 1997 393 443
12. D. Hutter, B. Langenstein, C. Sengler, J.H. Siekmann, W. Stephan, and A. Wolpers Verification support environment High Integrity Syst. 1 6 1996 523 530
13. J. Meseguer General logics Logic Colloquium 87 1989 North-Holland 275 329
14. T. Mossakowski, The heterogeneous tool set. Available from: 〈 http://www.tzi.de/cofi/hets 〉, University of Bremen.
15. T. Mossakowski Comorphism-based Grothendieck logics K. Diks W. Rytter Mathematical foundations of computer science LNCS vol. 2420 2002 Springer 593 604
16. T. Mossakowski, Heterogeneous specification and the heterogeneous tool set, Habilitation thesis, University of Bremen, 2005.
17. T. Mossakowski, S. Autexier, and D. Hutter Extending development graphs with hiding H. Hußmann Fundamental Approaches to Software Engineering Lecture Notes in Computer Science vol. 2029 2001 Springer-Verlag 269 283
18. T. Mossakowski, P. Hoffman, S. Autexier, D. Hutter. Casl proof calculus, in: [19], pp. 273-359, 2004.
19. P.D. Mosses (Ed.), Casl-the common algebraic specification language, Reference Manual, Lecture Notes in Computer Science, vol. 2960, Springer, 2004.
20. G. Rosu, and J. Goguen Composing hidden information modules over inclusive institutions O. Owe S. Krogdahl T. Lyche From Object-Orientation to Formal Methods. Essays in Memory of Ole-Johan Dahl Lecture Notes in Computer Science vol. 2635 2004 Springer 96 123
21. D. Sannella, and A. Tarlecki Specifications in an arbitrary institution Informat. Comput. 76 1988 165 210
22. D. Sannella, and A. Tarlecki Essential concepts of algebraic specification and program development Formal Aspects Comput. 9 1997 229 269
23. L. Schröder, T. Mossakowski, A. Tarlecki, P. Hoffman, and B. Klin Amalgamation in the semantics of CASL Theor. Comput. Sci. 331 1 2005 215 247