title: Analysing Reverse Engineering Techniques for Interactive Systems

authors: Lin, Feifei (Amy)

subjects: Reverse engineering techniques

abstract: Reverse engineering is the process of discovering a model of a software system by analyzing its structure and functions. Reverse engineering techniques applied to interactive software applications (e.g. applications with user interfaces (UIs)) are very important and significant, as they can help engineers to detect defects in the software and then improve or complete them. There are several approaches, and many different tools, which are able to reverse-engineer software applications into formal models. These can be classified into two main types: dynamic tools and static tools. Dynamic tools interact with the application to find out the run-time behaviours of the software, simulating the actions of a user to explore the system’s state space, whereas static tools focus on static structure and architecture by analysing the code and documents. Reverse engineering techniques are not common for interactive software systems, but nowadays more and more organizations recognize the importance of interactive systems, as the trend in software used in computers is for applications with graphical user interfaces. This has in turn led to a developing interest in reverse engineering tools for such systems. 

Many reverse engineering tools generate very big models which make analysis slow and resource intensive. The reason for this is the large amount of information that is generated by the existing reverse engineering techniques. Slicing is one possible technique which helps with reducing un-necessary information for building models of software systems. This project focuses on static analysis and slicing, and considers how they can aid reverse engineering techniques for interactive systems, particularly with respect to the generation of a particular set of models, Presentation Models (PModels) and Presentation Interaction Models (PIMs).

text: Analysing Reverse Engineering Techniques for Interactive Systems Reverse engineering is the process of discovering a model of a software system by analyzing its structure and functions. Reverse engineering techniques applied to interactive software applications (e.g. applications with user interfaces (UIs)) are very important and significant, as they can help engineers to detect defects in the software and then improve or complete them. There are several approaches, and many different tools, which are able to reverse-engineer software applications into formal models. These can be classified into two main types: dynamic tools and static tools. Dynamic tools interact with the application to find out the run-time behaviours of the software, simulating the actions of a user to explore the system’s state space, whereas static tools focus on static structure and architecture by analysing the code and documents. Reverse engineering techniques are not common for interactive software systems, but nowadays more and more organizations recognize the importance of interactive systems, as the trend in software used in computers is for applications with graphical user interfaces. This has in turn led to a developing interest in reverse engineering tools for such systems. 

Many reverse engineering tools generate very big models which make analysis slow and resource intensive. The reason for this is the large amount of information that is generated by the existing reverse engineering techniques. Slicing is one possible technique which helps with reducing un-necessary information for building models of software systems. This project focuses on static analysis and slicing, and considers how they can aid reverse engineering techniques for interactive systems, particularly with respect to the generation of a particular set of models, Presentation Models (PModels) and Presentation Interaction Models (PIMs).

year: 2012

title: Zircon response to high-grade metamorphism as revealed by U–Pb and cathodoluminescence studies

authors: Siebel, Wolfgang

subjects: Bohemian Massif

abstract: The Acigöl rhyolite field erupted the most recent high-silica rhyolites within the Cappadocian Volcanic Province of central Anatolia, Turkey. It comprises two sequences of domes and pyroclastic rocks with eruption ages of ∼150–200 ka (eastern group) and ∼20–25 ka (western group). Compositionally, the eastern rhyolite group lavas are less evolved (SiO₂ = 74–76 wt%), whereas the western group has higher silica abundance (SiO₂ = ∼77 wt%) with extremely depleted feldspar-compatible trace elements. Within each group, compositional variability is small and ¹⁴³Nd/¹⁴⁴Nd (0.51257–0.51265) and Pb isotope compositions (²⁰⁶Pb/²⁰⁴Pb = 18.87–18.88, ²⁰⁷Pb/²⁰⁴Pb = 15.65–15.67 and ²⁰⁸Pb/²⁰⁴Pb = 38.94–38.98) are homogeneous. The western group rhyolites have δ¹⁸O(zircon) overlapping mantle values (5.7 ± 0.2%), whereas eastern group rhyolites are enriched in d18O by ∼ 0.5%, consistent with a tendency to lower εNd values. By contrast, western group rhyolites have markedly more radiogenic ⁸⁷Sr/⁸⁶Sr ratios (0.7065–0.7091) compared to those of the eastern group (0.7059–0.7065). The presence of angular granitic xenoliths and a correlation between hydration (based on loss on ignition data) and ⁸⁷Sr/⁸⁶Sr in the western lavas, however, indicates that Sr was added during the eruption or posteruption alteration. Isotope constraints preclude the possibility that the rhyolite magmas formed by partial melting of any known regional crystalline basement rocks. Basalts and andesites erupted in the periphery of the Acigöl field are characterised by ⁸⁷Sr/⁸⁶Sr ratios between 0.7040 and 0.7053, ¹⁴³Nd/¹⁴⁴Nd = 0.51259–0.51300, ²⁰⁶Pb/²⁰⁴Pb = 18.85– 18.87, ²⁰⁷Pb/²⁰⁴Pb = 15.646–15.655, ²⁰⁸Pb/²⁰⁴Pb =38.90–38.97. The isotopic and trace element data favour an origin of the rhyolites by mixing of basaltic/andesitic magmas with minor amounts of crustal melts and followed by extensive fractional crystallization.

text: Zircon response to high-grade metamorphism as revealed by U–Pb and cathodoluminescence studies The Acigöl rhyolite field erupted the most recent high-silica rhyolites within the Cappadocian Volcanic Province of central Anatolia, Turkey. It comprises two sequences of domes and pyroclastic rocks with eruption ages of ∼150–200 ka (eastern group) and ∼20–25 ka (western group). Compositionally, the eastern rhyolite group lavas are less evolved (SiO₂ = 74–76 wt%), whereas the western group has higher silica abundance (SiO₂ = ∼77 wt%) with extremely depleted feldspar-compatible trace elements. Within each group, compositional variability is small and ¹⁴³Nd/¹⁴⁴Nd (0.51257–0.51265) and Pb isotope compositions (²⁰⁶Pb/²⁰⁴Pb = 18.87–18.88, ²⁰⁷Pb/²⁰⁴Pb = 15.65–15.67 and ²⁰⁸Pb/²⁰⁴Pb = 38.94–38.98) are homogeneous. The western group rhyolites have δ¹⁸O(zircon) overlapping mantle values (5.7 ± 0.2%), whereas eastern group rhyolites are enriched in d18O by ∼ 0.5%, consistent with a tendency to lower εNd values. By contrast, western group rhyolites have markedly more radiogenic ⁸⁷Sr/⁸⁶Sr ratios (0.7065–0.7091) compared to those of the eastern group (0.7059–0.7065). The presence of angular granitic xenoliths and a correlation between hydration (based on loss on ignition data) and ⁸⁷Sr/⁸⁶Sr in the western lavas, however, indicates that Sr was added during the eruption or posteruption alteration. Isotope constraints preclude the possibility that the rhyolite magmas formed by partial melting of any known regional crystalline basement rocks. Basalts and andesites erupted in the periphery of the Acigöl field are characterised by ⁸⁷Sr/⁸⁶Sr ratios between 0.7040 and 0.7053, ¹⁴³Nd/¹⁴⁴Nd = 0.51259–0.51300, ²⁰⁶Pb/²⁰⁴Pb = 18.85– 18.87, ²⁰⁷Pb/²⁰⁴Pb = 15.646–15.655, ²⁰⁸Pb/²⁰⁴Pb =38.90–38.97. The isotopic and trace element data favour an origin of the rhyolites by mixing of basaltic/andesitic magmas with minor amounts of crustal melts and followed by extensive fractional crystallization.

year: 2012

title: ‘Doctoring’ our own: Confessions of a Māori doctoral supervisor

authors: Hohepa, Margie Kahukura

subjects: Māori doctoral student

abstract: There is very little literature, empirically based or otherwise, on the supervision of Māori doctoral students (Fitzgerald, 2005; Pope, 2008; Kidman, 2007; Smith, 2007). There is even less relating to Māori supervisors working with Māori doctoral students (Kidinan, 2007), let alone Māori supervisors working with non- Māori students. While the relatively large corpus of literature on doctoral supervision may be of some assistance to Māori supervisors, there is also a dearth of studies that focus on the pedagogical aspects. Research undertaken by Elizabeth McKinley and her co-researchers (McKinley, Grant, Middleton, Irwin & Williams, 2009) will now help to fill the literature gap on the teaching and learning process of supervision as it pertains to Māori.

text: ‘Doctoring’ our own: Confessions of a Māori doctoral supervisor There is very little literature, empirically based or otherwise, on the supervision of Māori doctoral students (Fitzgerald, 2005; Pope, 2008; Kidman, 2007; Smith, 2007). There is even less relating to Māori supervisors working with Māori doctoral students (Kidinan, 2007), let alone Māori supervisors working with non- Māori students. While the relatively large corpus of literature on doctoral supervision may be of some assistance to Māori supervisors, there is also a dearth of studies that focus on the pedagogical aspects. Research undertaken by Elizabeth McKinley and her co-researchers (McKinley, Grant, Middleton, Irwin & Williams, 2009) will now help to fill the literature gap on the teaching and learning process of supervision as it pertains to Māori.

year: 2010