Completeness of a logical system for structured specifications-Reference-Cited by-同舟云学术

Completeness of a logical system for structured specifications

Published:1998 Issue: Volume: Page:107-121
ISSN:0302-9743
Container-title:Recent Trends in Algebraic Development Techniques
language:
Short-container-title:

Author:

Borzyszkowski Tomasz

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-64299-4_29.pdf

Reference15 articles.

1. J. L. Bell, M. Machover. A course in mathematical logic. North-Holland, 1986.

2. J. A. Bergstra, J. Heering, P. Klint. Module algebra. Journal of the ACM, 37(2):335–372, April 1990.

3. M. V. Cengarle. Formal Specifications with High-Order Parameterization. Ph.D. thesis, Institut für Informatik, Ludwig-Maximilians-Universität Müenchen, 1994.

4. R. Diaconescu, J. Goguen, P. Stefaneas. Logical Support for Modularization. In: G. Huet, G. Plotkin, editors Logical Environments, Proceedings of a Workshop held in Edinburgh, Scotland, May 1991, Cambridge University Press, pages 83–130, 1993.

5. J. Farrés Casals. Verification in ASL and Related Specification Languages. Ph.D. thesis, report CST-92-92, Dept. of Computer Science, University of Edinburgh, 1992.

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

1. Composing Hidden Information Modules over Inclusive Institutions;From Object-Orientation to Formal Methods;2004

2. Verifying Generative Casl Architectural Specifications;Recent Trends in Algebraic Development Techniques;2003

3. On the Integration of Observability and Reachability Concepts;Lecture Notes in Computer Science;2002

4. Verifying Architectural Specifications;Recent Trends in Algebraic Development Techniques;2002

5. Moving Specification Structures Between Logical Systems;Recent Trends in Algebraic Development Techniques;1999