An architecture for complex systems

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

Volumn 1333, Issue , 1997, Pages 189-201

  Hill, Gitlian ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

HIERARCHICAL SYSTEMS; REUSABILITY; SYSTEM THEORY;

MATHEMATICAL APPROACH; STRUCTURED SYSTEMS; SYSTEM COMPONENTS;

COMPUTER ARCHITECTURE;

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

References (21)

1. J. A. Bergstra, J. Heering, and P. Ktint. Module algebra. Journal of the A CM, 37(2):335-372, April 1990.
2. R. A. Burstall and J. A. Goguen. An informal introduction to specifications using Clear. In Boyer and Moore, editors, The Correctness Problem in Computer Science. Academic Press, 1981.
3. H. Ehrig, W. Fey, H. Hansen, M. Lowe, and D. Jacobs. Algebraic concepts for software configuration development. Technical Report 88-19, Technical University, Berlin, August 1988.
4. H. Ehrig, W. Fey, H. Hansen, M. Lowe, D. Jacobs, and A. Langen. Algebraic specification of modules and configuration families. Technical Report 88-17, Technical University, Berlin, August 1988.
5. H. Ehrig, F. Papisi-Presicce, W. Fey, and E. K. Blum. Algebraic theory of module specifications with constraints. In Proceedings MFCS LNCS 233, pages 59-77, 1986.
6. J. Goguen. Principles of parameterized programming. Technical report, Stanford University, August 1987. Draft Version.
7. 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.
8. 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, pages 219-236. Proceedings of the Second Imperial College, Department of Computing, Workshop on Theory and Formal Methods, Imperial College Press, distributed by World Scientific Publishing Co. ISBN 1-86094-003-X, September 1995.
9. G. Hill. The configuration of complex systems. In Tuncer I. Ören and George J. Klir, editors, Computer Aided Systems Theory--CAST ’94 Selected Papers, pages 46-64. Fourth International Workshop, Ottawa, Ontario, Canada, May 1994, Springer-Verlag ISBN 3-540-61478-8, May 1996.
10. G. Hill. A logical approach to systems construction. In Rudolph Albrecht and Franz Pichler, editors, Proceedings of EUROCAST ’95 LNCS 1030, pages 30-47. Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, May 1995, Springer-Verlag, January 1996.
11. G. Hill. A categorical workspace for system configuration. In S. Jourdan A. Edalat and G. McCusker, editors, Advances in Theory and Formal Methods of Computing. Proceedings of the Third Imperial College Workshop, Christchurch, Oxford 1-3 April 1996, published by hnperial College Press, distributed by "World Scientific Publishing Co., 1997.
12. P. Hruschka. Towards an object oriented method for system architecture design. IEEE Transactions on Software Engineering, 1990.
13. T. Lehmann and J. Loeckx. The specification language of OBSCURE. in D. Sannella and A. Tarlecki, editors, Recent Trends.in Data Type Specifications, LNCS 332, pages 131-153. Springer-Verlag, Saarbrucken, 1988.
14. B. Liskov and S. Zilles. An introduction to formal specifications of data abstractions. In Raymond T. Yeh, editor, Current Trends in Programming Methodology, Volume 1:Software Specification and Design, pages 1-32.:Prentice Hall, 1977.
15. S. MacLane. Categories for the Working Mathematician. Springer-Verlag, 1971.
16. B. Meyer. Reusability: The case for object-oriented design. IEEE Software, pages 50-63, March 1987.
17. B. Meyer. Object-Oriented Software Construction. Prentice-Hall International, 1988.
18. D. Sannella. Semantics, Implementation and Pragmatics of Clear, A Program Specification Language. PhD thesis, Department of Computer Science, University of Edinburgh, 1982. Thesis CST-17-82.
19. M. Stefik and D. Bobrow. Object-oriented programming: Themes and variations. The A: Magazine, 6(4), 1986. Winter.
20. S. Takahashi and Y. Takahara. Logical approach to systems theory. Technical report, Tokyo Institute of Technology, Japan, 1994.
21. W. M. Turski and T S E. Maibaum. The Specification of Computer Programs. International Computer Science Series. Addison Wesley, 1987.