Compositional verification for object-Z

This paper presents a framework for compositional verification of Object-Z specifications. Its key feature is a proof rule based on decomposition of hierarchical Object-Z models. For each component in the hierarchy local properties are proven in a single proof step. However, we do not consider components in isolation. Instead, components are envisaged in the context of the referencing super-component and proof steps involve assumptions on properties of the sub-components. The framework is defined for Linear Temporal Logic (LTL)

Sketch design drawing, Hill House, Chapel Hill, Brisbane

Sketch floor plan and diagrams.

Sketch design drawing, Hill House, Chapel Hill, Brisbane

Three-dimensional projection sketch showing roof forms and wall finishes.

Hydraulic Design of Stepped Spillways and Downstream Energy Dissipators for Embankment Dams

In recent years, the design flows of many dams were re-evaluated, often resulting in discharges larger than the original design. In many cases, the occurrence of the revised flows could result in dam overtopping because of insufficient storage and spillway capacity. An experimental study was conducted herein to gain a better understanding of the flow properties in stepped chutes with slopes typical of embankment dams. The work was based upon a Froude similitude in large-size experimental facilities. A total of 10 configurations were tested including smooth steps, steps equipped with devices to enhance energy dissipation and rough steps. The present results yield a new design procedure. The design method includes some key issues not foreseen in prior studies : e.g., gradually varied flow, type of flow regime, flow resistance. It is believed that the outcomes are valid for a wide range of chute geometry and flow conditions typical of embankment chutes.

Design, Science and Conceptual Analysis

Philosophers expend considerable effort on the analysis of concepts, but the value of such work is not widely appreciated. This paper principally analyses some arguments, beliefs, and presuppositions about the nature of design and the relations between design and science common in the literature to illustrate this point, and to contribute to the foundations of design theory.

Research, knowledge and design

The discussion about relations between research and design has a number of strands, and presumably motivations. Putting aside the question whether or not design or “creative endeavour” should be counted as research, for reasons to do with institutional recognition or reward, the question remains how, if at all, is design research? This question is unlikely to have attracted much interest but for matters external to Architecture within the modern university. But Architecture as a discipline now needs to understand research much better than in the past when ‘research’ was whatever went on in building science, history or people/environment studies. In this paper, I begin with some common assumptions about design, considered in relation to research, and suggest how the former can constitute or be a mode of the latter. Central to this consideration is an understanding of research as the production of publicly available knowledge. The method is that of conceptual analysis which is much more fruitful than is usually appreciated. This work is part of a larger project in philosophy of design, in roughly the analytical tradition.

'Living together on one's own': Cohousing for older people - an example from Denmark and The Netherlands

‘Living together on one’s own’ is the seemingly contradictory expression of the National Association of Housing Communities for Elderly People (LVGO) in The Netherlands which in fact captures the essence of cohousing. Cohousing is a novel kind of neighbourhood, housing a novel form of intentional community, which began to take shape in Denmark in the early to mid-1960s and, independently, in The Netherlands a few years later. The inventors of cohousing wanted to live in a much more communal or community-oriented neighbourhood than was usual, but they wanted to do so without sacrificing the privacy of individual families or households and their dwellings. Could they have their cake and eat it too? It would seem so. What is cohousing for older people (op-cohousing)? Op-cohousing is essentially no different, except for the differences in outlook or expectations, experience, interests and abilities that a particular, exclusively older, group of people have brought to this housing type. I discuss and analyse several communities in both countries.