The article commences with an overview of the development of planning theory and culminates in an evaluation of scenarios of the relationship between the individual and the spatial environment. Andreas Faludi's book 'Planning ...

Provinces in South Africa have formulated one or more Spatial Development Initiatives (SDIs) to unlock potential and improve socio-economic conditions in their areas of jurisdiction. This paper provides an overview of these SDIs.

Technology adoption has been studied from a variety of perspectives. Information systems, Sociology and Human- Computer Interaction researchers have come up with various models incorporating factors and phases to predict ...

In this paper the tenability of anti-patterns in Human-Computer Interaction is explored. Patterns have been accepted as being useful in software development and more recently also in Human-Computer Interaction. A concerted ...

Technology adoption models specify a pathway of technology acceptance from external variables to beliefs, intentions, adoption and actual usage. Mobile phone adoption has been studied from a variety of perspectives, ...

A condensed specification of a multi-level marketing enterprise in the Z specification language is presented and a number of proof obligations that result from operations on the state is stated. The feasibility of using ...

The atomic physics relevant to gaseous nebulae is critically examined using modelling software with particular emphasis on radio recombination lines (RRLs). The theoretical spectral line intensities can be deduced if we ...

E-commerce has increased substantially, as e-retailers engage with consumers online. Users require more than products and quality service; they also expect a good user experience. User experience is affected by branding, ...

The Established Strategy for drawing up a Z specification document focuses on a more abstract activity of specification, namely, how to combine schemas but is largely silent about how to construct a schema. Schema ...

The specification of enterprise information systems using formal specification languages enables the formal verification of these systems. Reasoning about the properties of a formal specification is a tedious task that can ...