Gillian Hill  Home/Search
Context Related
| soi.city.ac.uk/papers/95/cs959.ps theory.doc.ic.ac.uk/~gah...cast94.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: web.cs.city.ac.uk/b...authors.cgi (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Foundational work from logic and category theory is applied to the practical problem of constructing complex engineering systems from their component parts. System configuration involves keeping the history of system construction and is carried out by applying combinators to recursively defined system components. The results of configuration are represented precisely by constructing diagrams in a three-dimensional development space. A new and simple module concept is defined to manage the... (Update)
Context of citations to this paper: More
.... for configuration in [6] The possible relationships between the component parts of systems are identified at an intuitive level in [5] in order to choose appropriate high level combinators for configuration. The high level combinators are then formally defined in terms...
Cited by: More
Constructing Specifications and Modules in a KZ-Doctrine - Hill (1994) (Correct)
Similar documents (at the sentence level):
15.2%: System Configuration As A Mathematical And Logical Framework For.. - Hill (Correct)
Active bibliography (related documents): More All
1.4: A Simple and Precise Module Concept: solving a real problem in .. - Gillian Hill (Correct)
0.8: Algebraic System Specification and Development.. - Cerioli, Gogolla, .. (1997) (Correct)
0.6: Category Theory for the Configuration of Complex Systems - Hill (Correct)
Similar documents based on text: More All
0.1: Temporal Theories as Modularisation Units for Concurrent.. - Fiadeiro, Maibaum (1992) (Correct)
0.1: Institution Morphisms - Goguen, Rosu (2001) (Correct)
0.1: On the Emergence of Properties in Component-Based Systems - Fiadeiro (1996) (Correct)
BibTeX entry: (Update)
G. Hill. The configuration of complex systems. In T. Oren, editor, CAST '94 Lecture Notes. Fourth International Workshop on Computer Aided Systems Technology, University of Ottawa, Ottawa, Ontario, Canada, 16--20 May, 1994. http://citeseer.ist.psu.edu/hill94configuration.html More
@inproceedings{ hill94configuration,
author = "Gillian Hill",
title = "The Configuration of Complex Systems",
booktitle = "{CAST}",
pages = "46--64",
year = "1994",
url = "citeseer.ist.psu.edu/hill94configuration.html" }
Citations (may not include all citations):61 Object-oriented programming: Themes and variations (context) - Stefik, Bobrow - 1986
56 Reusability: The case for object-oriented design (context) - Meyer - 1987
51 Principles of parameterized programming (context) - Goguen - 1987
37 The object-orientedclassification paradigm (context) - Wegner - 1987
35 a specification language (context) - Burstall, Goguen et al. - 1979
30 Categorical foundations for general systems theory (context) - Goguen - 1973
24 An informal introduction to specifications using Clear (context) - Burstall, Goguen - 1981
12 IEEE Transaction on Software Engineering (context) - Weber, Ehrig et al. - 1986
11 Program development as theory manipulations (context) - Veloso - 1985
11 Systems Construction and Analysis: A Mathematical and Logica.. (context) - Fenton, Hill - 1993
7 A Language for System Configuration (context) - Hill - 1994
6 Algebraic description of reusable software components (context) - Wirsing - 1987
5 International Computer Science Series (context) - Turski, Maibaum et al. - 1987
5 Stepwise program development in \Pi institutions (context) - Maibaum, Fiadeiro et al. - 1990
3 Algebraic theory of module specifications with constraints (context) - Ehrig, Papisi-Presicce et al. - 1986
3 Algebraic theory of modular specification development (context) - Ehrig, Fey et al. - 1987
2 On what exactly is going on when software is developed step-.. (context) - Maibaum, Turski - 1984
2 Algebraic specification of modules and configuration familie.. (context) - Ehrig, Fey et al. - 1988
2 Algebraic concepts for software configuration development (context) - Ehrig, Fey et al. - 1988
Documents on the same site (http://web.cs.city.ac.uk/bibliography/cs/authors.cgi): More
Fair Hierarchical Constraint Logic Programming - Jampel, Gilbert (1994) (Correct)
The CBIC: Architectural support for message passing or shared .. - Whitcroft, Osmon (1992) (Correct)
Category Theory for the Configuration of Complex Systems - Hill (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC