Proceedings Ninth Asia-Pacific Software Engineering Conference. ASPEC 2002

The following topics are dealt with: Requirements engineering; components; design; formal specification analysis; education; model checking; human computer interaction; software design and architecture; formal methods and components; software maintenance; software process; formal methods and design; server-based applications; review and testing; measurement; documentation; management and knowledge-based approaches.

Efficient Data Management with Applications to IoT

The Internet of Things (IoT) consists of a worldwide “network of networks,” composed by billions of interconnected heterogeneous devices denoted as things or “Smart Objects” (SOs). Significant research efforts have been dedicated to port the experience gained in the design of the Internet to the IoT, with the goal of maximizing interoperability, using the Internet Protocol (IP) and designing specific protocols like the Constrained Application Protocol (CoAP), which have been widely accepted as drivers for the effective evolution of the IoT. This first wave of standardization can be considered successfully concluded and we can assume that communication with and between SOs is no longer an issue. At this time, to favor the widespread adoption of the IoT, it is crucial to provide mechanisms that facilitate IoT data management and the development of services enabling a real interaction with things. Several reference IoT scenarios have real-time or predictable latency requirements, dealing with billions of device collecting and sending an enormous quantity of data. These features create a new need for architectures specifically designed to handle this scenario, hear denoted as “Big Stream”. In this thesis a new Big Stream Listener-based Graph architecture is proposed. Another important step, is to build more applications around the Web model, bringing about the Web of Things (WoT). As several IoT testbeds have been focused on evaluating lower-layer communication aspects, this thesis proposes a new WoT Testbed aiming at allowing developers to work with a high level of abstraction, without worrying about low-level details. Finally, an innovative SOs-driven User Interface (UI) generation paradigm for mobile applications in heterogeneous IoT networks is proposed, to simplify interactions between users and things.

Computer-aided-design of saturated magnetic lenses for electron microscopes

In the last few years, there has been considerable interest in using saturated magnetic objective lenses in high resolution electron microscopes. Such lenses, in present commercial electron microscopes, are energized either by conventional or superconducting coils. Very little work, however, has been reported on the use of conventional coils in saturated magnetic electron lenses. The present investigation has been concerned with the design of high flux density saturated objective lenses of both single and double polepiece types which may be energized by conventional coils and in some cases by superconducting coils. Such coils have the advantage of being small and capable of carrying high current densities. The present work has been carried out with the aid of several computer programs based on the finite element method. The effect of the shape and position of the energizing coil on the electron optical parameter has been investigated. Electron optical properties such as chromatic and spherical aberration have been studies in detail for saturated single and double polepiece lenses. Several high flux density coils of different shapes have been investigated. The choice of the most favourable coil shape and position subject to the operational requirements, has been studied in some detail. The focal properties of such optimised lenses have been computed and compared.

Computer aided design and manufacture for three dimensional milling

Advances in both computer technology and the necessary mathematical models capable of capturing the geometry of arbitarily shaped objects has led to the development in this thesis of a surface generation package called 'IBSCURF' aimed at providing a more economically viable solution to free-form surface manufacture. A suit of computer programs written in FORTRAN 77 has been developed to provide computer aids for every aspect of work in designing and machining free-form surfaces. A vector-valued parametric method was used for shape description and a lofting technique employed for the construction of the surface. The development of the package 'IBSCURF' consists of two phases. The first deals with CAD. The design process commences in defining the cross-sections which are represented by uniform B-spline curves as approximations to give polygons. The order of the curve and the position and number of the polygon vertices can be used as parameters for the modification to achieve the required curves. When the definitions of the sectional curves is complete, the surface is interpolated over them by cubic cardinal splines. To use the CAD function of the package to design a mould for a plastic handle, a mathematical model was developed. To facilitate the integration of design and machining using the mathematical representation of the surface, the second phase of the package is concerned with CAM which enables the generation of tool offset positions for ball-nosed cutters and a general post-processor has been developed which automatically generates NC tape programs for any CNC milling machine. The two phases of these programs have been successfully implemented, as a CAD/CAM package for free-form surfaces on the VAX 11/750 super-minicomputer with graphics facilities for displaying drawings interactively on the terminal screen. The development of this package has been beneficial in all aspects of design and machining of free form surfaces.

Computer aided design and analysis of cold formed sections

The work reported in this thesis is concerned with the improvement and expansion of the assistance given to the designer by the computer in the design of cold formed sections. The main contributions have been in four areas, which have consequently led to the fifth, the development of a methodology to optimise designs. This methodology can be considered an `Expert Design System' for cold formed sections. A different method of determining section properties of profiles was introduced, using the properties of line and circular elements. Graphics were introduced to show the outline of the profile on screen. The analysis of beam loading has been expanded to beam loading conditions where the number of supports, point loads, and uniform distributive loads can be specified by the designer. The profile can then be checked for suitability for the specified type of loading. Artificial Intelligence concepts have been introduced to give the designer decision support from the computer, in combination with the computer aided design facilities. The more complex decision support was adopted through the use of production rules. All the support was based on the British standards. A method has been introduced, by which the appropriate use of stiffeners can be determined and consequently designed by the designer. Finally, the methodology by which the designer is given assistance from the computer, without constraining the designer, was developed. This methodology gives advice to the designer on possible methods of improving the design, but allows the designer to reject that option, and analyse the profile accordingly. The methodology enables optimisation to be achieved by the designer, designing variety of profiles for a particular loading, and determining which one is best suited.

Computer aided design and manufacture of form-rolls

Cold roll forming of thin-walled sections is a very useful process in the sheet metal industry. However, the conventional method for the design and manufacture of form-rolls, the special tooling used in the cold roll forming process, is a very time consuming and skill demanding exercise. This thesis describes the establishment of a stand-alone minicomputer based CAD/CAM system for assisting the design and manufacture of form-rolls. The work was undertaken in collaboration with a leading manufacturer of thin-walled sections. A package of computer programs have been developed to provide computer aids for every aspect of work in form-roll design and manufacture. The programs have been successfully implemented, as an integrated CAD/CAM software system, on the ICL PERQ minicomputer with graphics facilities. Thus, the developed CAD/CAM system is a single-user workstation, with software facilities to help the user to perform the conventional roll design activities including the design of the finished section, the flower pattern, and the form-rolls. A roll editor program can then be used to modify, if required, the computer generated roll profiles. As far as manufacturing is concerned, a special-purpose roll machining program and postprocessor can be used in conjunction to generate the NC control part-programs for the production of form-rolls by NC turning. Graphics facilities have been incorporated into the CAD/CAM software programs to display drawings interactively on the computer screen throughout all stages of execution of the CAD/CAM software. It has been found that computerisation can shorten the lead time in all activities dealing with the design and manufacture of form-rolls, and small or medium size manufacturing companies can gain benefits from the CAD/CM! technology by developing, according to its own specification, a tailor-made CAD/CAM software system on a low cost minicomputer.

Computer-aided design, synthesis and screening of potential anti-microbial compounds

The work presented in this thesis falls into three main categories: The design and synthesis of potential anti-tuberculosis drugs targeting a mycobacterial esterase and the enzyme dUTPase; synthesis and anti-microbial SAR studies on a set of carboxamidrazones; synthesis and anti-microbial SAR studies on a set of thiosem icarbazones.

Social and organizational impacts of emerging mobile devices:evaluating use

As mobile devices become increasingly diverse and continue to shrink in size and weight, their portability is enhanced but, unfortunately, their usability tends to suffer. Ultimately, the usability of mobile technologies determines their future success in terms of end-user acceptance and, thereafter, adoption and social impact. Widespread acceptance will not, however, be achieved if users’ interaction with mobile technology amounts to a negative experience. Mobile user interfaces need to be designed to meet the functional and sensory needs of users. Social and Organizational Impacts of Emerging Mobile Devices: Evaluating Use focuses on human-computer interaction related to the innovation and research in the design, evaluation, and use of innovative handheld, mobile, and wearable technologies in order to broaden the overall body of knowledge regarding such issues. It aims to provide an international forum for researchers, educators, and practitioners to advance knowledge and practice in all facets of design and evaluation of human interaction with mobile technologies.

Modeling naturalistic argumentation in research literatures:representation and interaction design issues

This article characterizes key weaknesses in the ability of current digital libraries to support scholarly inquiry, and as a way to address these, proposes computational services grounded in semiformal models of the naturalistic argumentation commonly found in research literatures. It is argued that a design priority is to balance formal expressiveness with usability, making it critical to coevolve the modeling scheme with appropriate user interfaces for argument construction and analysis. We specify the requirements for an argument modeling scheme for use by untrained researchers and describe the resulting ontology, contrasting it with other domain modeling and semantic web approaches, before discussing passive and intelligent user interfaces designed to support analysts in the construction, navigation, and analysis of scholarly argument structures in a Web-based environment. © 2007 Wiley Periodicals, Inc. Int J Int Syst 22: 17–47, 2007.

Designing a mobile diet diary application with and for older adults with AMD:a case ctudy

Age-Related Macular Degeneration (AMD) is the UK’s leading cause of severe visual impairment amongst the elderly. It accounts for 16,000 blind/partial sight registrations per year and is the leading cause of blindness among people aged 55 years and older in western countries (Bressler, 2004). Our research aims to design and develop a self-monitoring, ability-reactive technology (SMART) for users with AMD to support their dietary-based AMD risk mitigation and progression retardation over time. In this paper, we reflect on our experience of adapting and applying a participatory design (PD) approach to support the effective design of our application with and for older adults with AMD. We introduce the outcome of a series of PD sessions with older adults with AMD - that is, a paper prototype of our proposed application which focuses on accessibility for our target users - and discuss implications for the eventual prototype development

Older adults with AMD as co-designers of an assistive mobile application

In the UK, 20% of people aged 75 years and over are living with sight loss and age-related macular degeneration (AMD) is the most common cause of sight loss in the UK, impacting nearly 10% of those over 80; regrettably, these fgures are expected to increase in coming decades as the population ages (RNIB, 2012). This paper reports on the authors' design activities conducted for the purpose of informing the development of an assistive self-monitoring, ability-reactive technology (SMART) for older adults with AMD. The authors refect on their experience of adopting and adapting the PICTIVE (Plastic Interface for Collaborative Technology Initiatives through Video Exploration) participatory design approach (Muller, 1992) to support effective design with and for their special needs user group, refect on participants' views of being part of the process, and discuss the design themes identifed via their PD activities.

Themed Issue on Mobile HCI @ iHCI

In the UK, 20% of people aged 75 years and over are living with sight loss and age-related macular degeneration (AMD) is the most common cause of sight loss in the UK, impacting nearly 10% of those over 80; regrettably, these figures are expected to increase in coming decades as the population ages (RNIB, 2012). This paper reports on the authors' design activities conducted for the purpose of informing the development of an assistive self-monitoring, ability-reactive technology (SMART) for older adults with AMD. The authors reflect on their experience of adopting and adapting the PICTIVE (Plastic Interface for Collaborative Technology Initiatives through Video Exploration) participatory design approach (Muller, 1992) to support effective design with and for their special needs user group, reflect on participants' views of being part of the process, and discuss the design themes identified via their PD activities.