Extending development graphs with hiding

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

Volumn 2029, Issue , 2001, Pages 269-283

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

^a UNIVERSITY OF BREMEN   (Germany)

^b SAARLAND UNIVERSITY   (Germany)

^c DKFI GmbH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EMPOWERMENT OF PERSONNEL; GRAPHIC METHODS; SEMANTICS; SPECIFICATIONS;

CONSERVATIVE EXTENSIONS; FORMAL PROGRAM DEVELOPMENT; LOGICAL SYSTEM; MANAGEMENT OF CHANGE; PROOF RULES; SET OF RULES; STRUCTURED SPECIFICATION;

SOFTWARE ENGINEERING;

EID: 84944233030     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45314-8_20     Document Type: Conference Paper

References (16)

1. S. Autexier, D. Hutter, H. Mantel, and A. Schairer. Towards an evolutionary formal software-development using CASL. In C. Choppy, D. Bert, and P. Mosses, (Eds.), Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, LNCS 1827, page 73-88, Springer-Verlag, 2000.
2. S. Autexier, D. Hutter, H. Mantel, A. Schairer. System Description: Inka 5.0 - A Logic Voyager. In H. Ganzinger, (Ed.), Proceedings of CADE-16, Trento, Italy, LNAI 1632, Springer-Verlag, 1999.
3. J. Adámek, J. Rosický. Locally Presentable and Accessible Categories, Cambridge University Press, 1994.
4. T. Borzyszkowski. Logical systems for structured specifications. Theoretical Computer Science. To appear.
5. 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.brics.dk/Projects/CoFI, 1998.
6. M. Cerioli, J. Meseguer. May I borrow your logic?, Theoretical Computer Science, 173:311-347, 1997.
7. R. Diaconescu, J. Goguen, P. Stefaneas. Logical support for modularization, In G. Huet, G. Plotkin, (Eds), Workshop on Logical Frameworks, 1991.
8. 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.
9. R. Hennicker, M. Wirsing, M. Bidoit. Proof systems for structured specifications with observability operators, Theoretical Computer Science, 173(2):393-443, 1997.
10. R. Harper, D. Sannella, A. Tarlecki. Structured presentations and logic representations, In Annals of Pure and Applied Logic, 67:113-160, 1994.
11. J. Meseguer. General logics, In Logic Colloquium 87, pages 275-329, North Holland, 1989.
12. T. Mossakowski, Kolyang, B. Krieg-Brückner. Static semantic analysis and theorem proving for CASL, In 12th Workshop on Algebraic Development Techniques, Tarquinia, LNCS 1376, pages 333-348, Springer- Verlag, 1998.
13. D. Sannella, A. Tarlecki. Specifications in an arbitrary institution, Information and Computation, 76(2-3):165-210, 1988.
14. D. Sannella, A. Tarlecki. Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations, 19th ICALP, Springer, LNCS 623, pages 656-671, Springer-Verlag, 1992.
15. L. Schröder, T. Mossakowski, P. Hoffman, B. Klin, and A. Tarlecki. Semantics for architectural specifications in CASL, In H. Hußmann, (Ed.), Proceedings of Fundamental Approaches to Software Engineering (FASE 2001), Genova, Italy, 2001.
16. D. Hutter, et al. Verification Support Environment (VSE), Journal of High Integrity Systems, Vol. 1, pages 523-530, 1996.