The configuration of complex systems

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

Volumn 1105, Issue , 1996, Pages 46-64

  Hill, Gillian ^a  

^a CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957865094     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61478-8_67     Document Type: Conference Paper

References (20)

1. 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.
2. R. M. Burstall and J. A. Goguen. The semantics of Clear, a specification language. In Abstract Software Specifications, LNCS 86. Springer-Verlag, 1979.
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, W. Fey, H. Hansen, M. Lowe, and F. Papisi-Presicce. Algebraic theory of modular specification development. Technical report, Technical University, Berlin, 1987.
6. 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.
7. N. Fenton and G. Hill. Systems Construction and Analysis: A Mathematical and Logical Framework. McGraw-Hill International (UK), 1993.
8. J. Goguen. Categorical foundations for general systems theory. In Advances in Cybernetics and Systems Research, pages 121-130. Transcripta books, 1973.
9. J. Goguen. Principles of parameterized programming. Technical report, Stanford University, August 1987. Draft Version.
10. 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.
11. G. Hill. A Language for System Configuration. PhD thesis, Department of Computing, Imperial College, University of London, 1994. draft.
12. T. Maibaum, J. Fiadeiro, and M. Sadler. Stepwise program development in Π institutions. Technical report, Imperial College, November 1990.
13. T. S. E. Maibaum and W. M. Turski. On what exactly is going on when software is developed step-by-step. In Proceedings of 7th International Conference on Software Engineering, pages 528-533, 1984.
14. B. Meyer. Reusability: The case for object-oriented design. IEEE Software, pages 50-63, March 1987.
15. M. Stefik and D. Bobrow. Object-oriented programming: Themes and variations. The AI Magazine, 6(4), 1986. Winter.
16. W. M. Turski and T. S. E. Maibaum. The Specification of Computer Programs. International Computer Science Series. Addison Wesley, 1987.
17. P. A. S. Veloso. Program development as theory manipulations. Technical report, PUC/RJ Departamento de Informatica, Rio de Janeiro, Brazil, May 1985. Series: Monografias em Ciencia da Computacao No4/85.
18. H. Weber and H. Ehrig. Specification of modular systems. IEEE Transaction on Software Engineering, SE-12:786-798, June 1986.
19. P. Wegner. The object-oriented classification paradigm. In Research Directions in Object-Oriented Programming, pages 479-560. MIT Press, 1987.
20. M. Wirsing. Algebraic description of reusable software components. Technical report, University of Passau, 1987. Draft Version.