title: Formal models for user interface design artefacts

authors: Bowen, Judy

subjects: formal methods

abstract: There are many different ways of building software applications and of tackling the problems of understanding the system to be built, designing that system and finally implementing the design. One approach is to use formal methods, which we can generalise as meaning we follow a process which uses some formal language to specify the behaviour of the intended system, techniques such as theorem proving or model-checking to ensure the specification is valid (i.e., meets the requirements and has been shown, perhaps by proof or other means of inspection, to have the properties the client requires of it) and a refinement process to transform the specification into an implementation. Conversely, the approach we take may be less structured and rely on informal techniques. The design stage may involve jotting down ideas on paper, brainstorming with users etc. We may use prototyping to transform these ideas into working software and get users to test the implementation to find problems. Formal methods have been shown to be beneficial in describing the functionality of systems, what we may call application logic, and underlying system behaviour. Informal techniques, however, have also been shown to be useful in the design of the user interface to systems. Given that both styles of development are beneficial to different parts of the system we would like to be able to use both approaches in one integrated software development process. Their differences, however, make this a challenging objective. In this paper we describe models and techniques which allow us to incorporate informal design artefacts into a formal software development process.

text: Formal models for user interface design artefacts There are many different ways of building software applications and of tackling the problems of understanding the system to be built, designing that system and finally implementing the design. One approach is to use formal methods, which we can generalise as meaning we follow a process which uses some formal language to specify the behaviour of the intended system, techniques such as theorem proving or model-checking to ensure the specification is valid (i.e., meets the requirements and has been shown, perhaps by proof or other means of inspection, to have the properties the client requires of it) and a refinement process to transform the specification into an implementation. Conversely, the approach we take may be less structured and rely on informal techniques. The design stage may involve jotting down ideas on paper, brainstorming with users etc. We may use prototyping to transform these ideas into working software and get users to test the implementation to find problems. Formal methods have been shown to be beneficial in describing the functionality of systems, what we may call application logic, and underlying system behaviour. Informal techniques, however, have also been shown to be useful in the design of the user interface to systems. Given that both styles of development are beneficial to different parts of the system we would like to be able to use both approaches in one integrated software development process. Their differences, however, make this a challenging objective. In this paper we describe models and techniques which allow us to incorporate informal design artefacts into a formal software development process.

year: 2008

title: Evaluating power in development programmes

authors: Simon-Kumar, Rachel

subjects: discourse

abstract: SINCE the mid-1990s, there has been a growing interest in, and use of discourse theories within development studies to understand contexts of power inequalities between individuals, groups and institutions. Banded together, several genres of scholarship which can be considered ‘discourse theories’ have emerged – post-development, post-positivist policy analysis, critical/sub-altern theorisations, post-structuralism, post-modernism and their feminist variants, among others – all of which draw some, if not the main bulk, of their core ideas from the perspectives derived by Michel Foucault (1926-1984) and his social/ linguistic/philosophical analyses.

text: Evaluating power in development programmes SINCE the mid-1990s, there has been a growing interest in, and use of discourse theories within development studies to understand contexts of power inequalities between individuals, groups and institutions. Banded together, several genres of scholarship which can be considered ‘discourse theories’ have emerged – post-development, post-positivist policy analysis, critical/sub-altern theorisations, post-structuralism, post-modernism and their feminist variants, among others – all of which draw some, if not the main bulk, of their core ideas from the perspectives derived by Michel Foucault (1926-1984) and his social/ linguistic/philosophical analyses.

year: 2007

title: Constructing strategies for sustainable development the communitarian way

authors: Arunachalam, Murugesh

subjects: communities

abstract: Purpose – The paper aims to draw on recommendations of Agenda 21 and communitarian theory to examine collaboration between local district community and local authorities to formulate strategies for the sustainable development of the Taupo district. 
Design/methodology/approach – The paper adopts an interpretative methodology based on philosophical hermeneutic to understand collaboration between local community and local authorities in the Taupo district. Empirical data for this interpretive study comprise public documents, interview transcripts and minutes of meetings attended by the researchers. The paper begins interpretation of empirical data with pre-understanding of communitarian theory and Agenda 21. 
Findings – The findings indicate that historical and political factors and diversity of interests in the community affect processes and outcomes of collaboration. Local authorities play a crucial role in bringing together various groups in the Taupo community which are segregated by diversity of interests, especially between Maori and non-Maori community groups. Without local authority facilitation, the Taupo community may remain segregated; inhibited by lack of information; and not having the opportunity to participate in sustainable development. Community participation in the Taupo district is at an infancy stage and collaboration intended to empower communities may result in local authorities recentralising their positions. 
Originality/value – The paper integrates theory and practice and provides valuable insights for statutory agencies seeking to implement the recommendations of Agenda 21 regarding community participation in sustainable development.

text: Constructing strategies for sustainable development the communitarian way Purpose – The paper aims to draw on recommendations of Agenda 21 and communitarian theory to examine collaboration between local district community and local authorities to formulate strategies for the sustainable development of the Taupo district. 
Design/methodology/approach – The paper adopts an interpretative methodology based on philosophical hermeneutic to understand collaboration between local community and local authorities in the Taupo district. Empirical data for this interpretive study comprise public documents, interview transcripts and minutes of meetings attended by the researchers. The paper begins interpretation of empirical data with pre-understanding of communitarian theory and Agenda 21. 
Findings – The findings indicate that historical and political factors and diversity of interests in the community affect processes and outcomes of collaboration. Local authorities play a crucial role in bringing together various groups in the Taupo community which are segregated by diversity of interests, especially between Maori and non-Maori community groups. Without local authority facilitation, the Taupo community may remain segregated; inhibited by lack of information; and not having the opportunity to participate in sustainable development. Community participation in the Taupo district is at an infancy stage and collaboration intended to empower communities may result in local authorities recentralising their positions. 
Originality/value – The paper integrates theory and practice and provides valuable insights for statutory agencies seeking to implement the recommendations of Agenda 21 regarding community participation in sustainable development.

year: 2010