Operating deficits and community housing: policy options for reversing the trend (2009)
The original aims of this project were to: • clarify the impact of Community Housing Organisation operating deficits on the potential growth and development of an expanded community housing sector...
Financial outcomes of community housing organisations (2009)
Community housing organisations in Australia recorded a surplus in the three years to 2005-06. To achieve low costs, many used voluntary labour, received discounted rates, and did not provide for...
Operating deficits and community housing: policy options for reversing the trend (2009)
The original aims of this project were to: • clarify the impact of Community Housing Organisation operating deficits on the potential growth and development of an expanded community housing sector...
Financial outcomes of community housing organisations (2009)
Community housing organisations in Australia recorded a surplus in the three years to 2005-06. To achieve low costs, many used voluntary labour, received discounted rates, and did not provide for...
1. An Introduction and History of Software Architectures, Components, and Reuse (2008)
Leonor Barroca, Jon Hall, Patrick Hall
Software components and architectures are gaining considerable support as the way
The High Level Petri Box Calculus: Basic Concepts (2007)
We describe a generic high level Petri Net model for concurrent systems, in which is defined Causal, Choice and Concurrent Composition, Relabelling, Refinement and Recursion. We give a full...
An early version of the Z Standard included the deductive system W for reasoning about Z specifications. Later versions contain a different deductive system. In this paper we sketch a proof that W is...
Arguing safety with Problem oriented Software Engineering (2007)
Hall, Jon, Mannering, Derek, Rapanotti, Lucia
Standards demand that assurance cases support safety critical developments. It is widely acknowledged, however, that the current practice of post-hoc assurance-that the product is built and only then...
Towards Normal Design for Safety-Critical Systems (2007)
Mannering, Derek, Hall, Jon, Rapanotti, Lucia
Normal design is, essentially, when an engineer knows that the design they are working on will work. Routine ‘traditional’ engineering works through normal design. Software engineering has more...
Operating deficits and public housing: policy options for reversing the trend: 2005/06 update (2007)
Public housing: shifting client profiles and public housing revenues (2007)
This report documents and quantifies the recent historical impact of changing client profiles in South Australia and Victoria; forecasts public housing recurrent income given existing allocation...
The financial impact of welfare targeting in public housing (2007)
Greater targeting of housing and greater access to concessional rents cost public housing authorities around $200 million in 2004-05 compared with the mid-1990s, according to this Research and Policy...
Public housing: shifting client profiles and public housing revenues (2007)
This report documents and quantifies the recent historical impact of changing client profiles in South Australia and Victoria; forecasts public housing recurrent income given existing allocation...
The financial impact of welfare targeting in public housing (2007)
Greater targeting of housing and greater access to concessional rents cost public housing authorities around $200 million in 2004-05 compared with the mid-1990s, according to this Research and Policy...
Operating deficits and public housing: policy options for reversing the trend: 2005/06 update (2007)
Government-assisted or sponsored public housing represents a key component of affordable housing in Australia, yet at end of the 2005/06 financial year the total stock of public housing has again...
Problem Reduction: a systematic technique for deriving Specifications from Requirements (2006)
Rapanotti, Lucia, Hall, Jon, Li, Zhi
Software problems – problems whose solution is software-intensive – come in many forms. Given that software and computers are deeply embedded in society, one general characteristic of software...
ISO 27001 - Information Security Management Systems (2006)
About the book: Modern IT managers are confronted with an overwhelming number of management frameworks, methods and methodologies – making it difficult to see the wood for the trees. In addition...
Introducing regulatory compliance (2006)
About the book: This book presents the most interesting talks given at ISSE 2006 - the forum for the interdisciplinary discussion of how to adequately secure electronic business processes. The topics...
Jon Hall and Mike Berry assess current arrangements for funding Indigenous housing and outline the major issues to be considered in reforming these arrangements.
Jon Hall and Mike Berry assess current arrangements for funding Indigenous housing and outline the major issues to be considered in reforming these arrangements.
Problem frames for socio-technical systems (2005)
About the book: The so called information society is being shaped by products and services that either contain software as the core element, are themselves software, or have been designed and...
Towards capturing change in socio-technical systems requirements (2005)
John Brier, Lucia Rapanotti, Jon Hall
Abstract. Within organisations, business processes are increasingly supported by socio-technical systems — combinations of people and technologies working synergistically. In the commercial sector...
A Requirements-based Framework for the Analysis of Socio-technical System Behaviour (2003)
Requirements Engineering's theoretical and practical developments typically look forward to the future (i.e. a system to be built). Under certain conditions, however, they can also be used for the...
Extending low-cost remote evaluation with synchronous communication (2002)
Dunckley, Lynne, Rapanotti, Lucia, Hall, Jon
About the book: This volume contains the full papers presented at HCI 2002, the 16th annual conference of the British HCI Group. The idea of making systems memorable is one of the ways in which they...
l Targetting PLDs for high-level High Integrity Systems Development (2002)
Adrian Hilton, Jon G. Hall, Walton Hall, Adrian Hilton, Jon Hall
Abstract. Combined hardware/software systems are increasingly being used for safety-critical systems, with hardware taking processing load off the software. We have produced a design template that...
Educational JavaBeans: a requirements-driven architecture (2001)
In this paper we investigate, through a case study, the development of a software architecture that is compatible with a system’s high-level requirements. The case study is an example of an...
Lyceum: the system and its architecture (2000)
Jon G. Hall, Walton Hall, Lucia Rapanotti, Lucia Rapanotti, Jon Hall
Lyceum is an audio and visual conferencing system for the Internet. Using Lyceum participants can exchange audio messages and share visual applications in real-time. The system is under development...
A Strategic Profiler for Glasgow Parallel Haskell (1998)
David J. King, Jon Hall, Phil Trinder
. Execution profiling plays a crucial part in the performanceimproving process for parallel functional programs. This paper presents the design, implementation, and use of a new execution time...
Social Evasion and Aristocratic Manners in Cicero's De Oratore (1996)
American Journal of Philology - Volume 117, Number 1 (Whole Number 465), Spring 1996
A Model for a Causal Logic for Requirements Engineering (1996)
Jonathan Moffett, Jon Hall, Andrew Coombes, John Mcdermid
The language of causation is natural for the specification of requirements for complex systems. The paper provides a vocabulary of causal specification expressions, suitable for describing and...
An Axiomatic Theory of StateCharts (1996)
Jon Hall, Axiomatic Theory Statecharts
this paper we develop a mapping from a subset of Statecharts into ERTL which provides for the formal verification of properties of Statecharts, under the StateMate model. BAe --- In Strict Confidence
A Model for a Causal Logic for Requirements Engineering (1996)
Jonathan Moffett, J G Hall, Jon Hall, Andrew Coombes, John Mcdermid
The language of causation is natural for the specification of requirements for complex systems. The paper provides a vocabulary of causal specification expressions, suitable for describing and...
ERTL: An extension to RTL for requirements analysis for hybrid systems (1995)
Real Time Logic, RTL, was introduced by Jahanian and Mok in [5] as a formalism for reasoning about the absolute timing properties of real-time systems. The need for RTL came from a perceived...
A six degree of freedom hand controller--[microform] /--by Jon Hall Backenstose. (1991)
Includes vita.
Léon Blum, the Socialist Party, and the origins of the popular front in France. (1965)
Thesis (M.A.)--Northern Illinois University, 1965.
Dudley, Samuel C., Chang, Nancy, Hall, Jon, Lipkind, Gregory, Fozzard, Harry A., French, Robert J.
Voltage-gated Na+ channels underlie the electrical activity of most excitable cells, and these channels are the targets of many antiarrhythmic, anticonvulsant, and local anesthetic drugs. The channel...