A logical approach to system construction

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

Volumn 1030, Issue , 1996, Pages 30-47

  Hill, Gillian ^a,b  

^a CITY UNIVERSITY   (United Kingdom)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

REUSABILITY; SEMANTICS; SPECIFICATIONS;

BUILDING OPERATIONS; COMPLEX ENGINEERING SYSTEM; CRAIG INTERPOLATION; LOGICAL APPROACHES; STRUCTURE AND PROPERTIES; SYSTEM CONFIGURATIONS; SYSTEM CONSTRUCTION; SYSTEMS CONFIGURATION;

SYSTEM THEORY;

EID: 84948973339     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0034748     Document Type: Conference Paper

References (7)

1. T. Gergely and L. Ury. First order programming theories. In W. Brauer, G. Rozenburg, and A. Saloma, editors, EATCS Monographs on Theoretical Computer Science, Volume 24. Springer-Verlag, 1991.
2. G. Hill. Category theory for the configuration of complex systems. In T. Rus M. Nivat, C Rattray and G. Scollo, editors, Algebraic Methodology and Software Technology, Entschede, 1993, pages 193-200. Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, The Netherlands, 21-25 June 1993, Springer-Verlag, 1994. Workshops in Computing series.
3. G. Hill. The configuration of complex systems. In T. Ören, editor, CAST '94 Lecture Notes. Fourth International Workshop on Computer Aided Systems Technology, University of Ottawa, Ottawa, Ontario, Canada, 16-20 May, 1994. to be published in 1995 by Springer-Verlag.
4. G. Hill. Constructing specifications and modules in a KZ-doctrine. In C. L. Hankin, I. Mackie, and R. Nagarajan, editors, Theory and Formal Methods'94. Proceedings of the Second Imperial College, Department of Computing, Workshop on Theory and Formal Methods, September 1994. to be published by IC-press, World Scientific Publishing.
5. G. Hill. A Language for System Configuration. PhD thesis, Department of Computing, Imperial College, University of London, 1994. draft.
6. S. Takahashi and Y. Takahara. Logical approach to systems theory. Technical report, Tokyo Institute of Technology, Japan, 1994.
7. W. M. Turski and T. S. E. Maibaum. The Specification of Computer Programs. International Computer Science Series. Addison Wesley, 1987.