Fleshing Out and Losing Flesh: The Decomposing Corpse as Narrative Object in American Hardboiled Detective Fiction

This dissertation examines the corpse as an object in and of American hardboiled detective fiction written between 1920 and 1950. I deploy several theoretical frames, including narratology, body-as-text theory, object relations theory, and genre theory, in order to demonstrate the significance of objects, symbols, and things primarily in the clever and crafty work of Dashiell Hammett (1894-1961) and Raymond Chandler (1888-1959), but also touching on the writings of their lesser known accomplices. I construct a literary genealogy of American hardboiled detective fiction originating in the writings of Edgar Allan Poe, compare the contributions of classic or Golden Age detective fiction in England, and describe the socio-economic contexts, particularly the predominance of the “pulps,” that gave birth to the realism of the Hardboiled School. Taking seriously Chandler’s obsession with the art of murder, I engage with how authors pre-empt their readers’ knowledge of the tricks of the trade and manipulate their expectations, as well as discuss the characteristics and effect of the inimitable hardboiled style, its sharpshooting language and deadpan humour. Critical scholarship has rarely addressed the body and figure of the corpse, preferring to focus instead on the machinations of the femme fatale, the performance of masculinity, or the prevalence of violence. I cast new light on the world of hardboiled detective fiction by dissecting the corpse as the object that both motivates and de-composes (or rots away from) the narrative that makes it signify. I treat the corpse as an inanimate object, indifferent to representation, that destabilizes the integrity and self-possession, as well as the ratiocination, of the detective who authors the narrative of how the corpse came to be. The corpse is all deceptive and dangerous surface rather than the container of hidden depths of life and meaning that the detective hopes to uncover and reconstruct. I conclude with a chapter that is both critical denouement and creative writing experiment to reveal the self-reflexive (and at times metafictional) dimensions of hardboiled fiction. My dissertation, too, in the manner of hardboiled fiction, hopes to incriminate my readers as much as enlighten them.

Object lessons. Things taught: systematic instruction in composition and object lessons.

Mode of access: Internet.

Toward Never-Ending Object Learning for Robots

Thesis (Ph.D.)--University of Washington, 2016-06

A formal object-oriented approach to defining consistency constraints for UML models

We discuss how integrity consistency constraints between different UML models can be precisely defined at a language level. In doing so, we introduce a formal object-oriented metamodeling approach. In the approach, integrity consistency constraints between UML models are defined in terms of invariants of the UML model elements used to define the models at the language-level. Adopting a formal approach, constraints are formally defined using Object-Z. We demonstrate how integrity consistency constraints for UML models can be precisely defined at the language-level and once completed, the formal description of the consistency constraints will be a precise reference of checking consistency of UML models as well as for tool development.

A tool for a formal pattern modeling language

This paper presents a formal but practical approach for defining and using design patterns. Initially we formalize the concepts commonly used in defining design patterns using Object-Z. We also formalize consistency constraints that must be satisfied when a pattern is deployed in a design model. Then we implement the pattern modeling language and its consistency constraints using an existing modeling framework, EMF, and incorporate the implementation as plug-ins to the Eclipse modeling environment. While the language is defined formally in terms of Object-Z definitions, the language is implemented in a practical environment. Using the plug-ins, users can develop precise pattern descriptions without knowing the underlying formalism, and can use the tool to check the validity of the pattern descriptions and pattern usage in design models. In this work, formalism brings precision to the pattern language definition and its implementation brings practicability to our pattern-based modeling approach.

Abstract specification in Object-Z and CSP

A number of integrations of the state-based specification language Object-Z and the process algebra CSP have been proposed in recent years. In developing such integrations, a number of semantic decisions have to be made. In particular, what happens when an operation's precondition is not satisfied? Is the operation blocked, i.e., prevented from occurring, or can it occur with an undefined result? Also, are outputs from operations angelic, satisfying the environment's constraints on them, or are they demonic and not influenced by the environment at all? In this paper we discuss the differences between the models, and show that by adopting a blocking model of preconditions together with an angelic model of outputs one can specify systems at higher levels of abstraction.

Modelling Java concurrency with Object-Z

In this paper, we present a formal model of Java concurrency using the Object-Z specification language. This model captures the Java thread synchronization concepts of locking, blocking, waiting and notification. In the model, we take a viewpoints approach, first capturing the role of the objects and threads, and then taking a system view where we capture the way the objects and threads cooperate and communicate. As a simple illustration of how the model can, in general be applied, we use Object-Z inheritance to integrate the model with the classical producer-consumer system to create a specification directly incorporating the Java concurrency constructs.

Animation of object-z specifications using a Z animator

We discuss a methodology for animating the Object-Z specification language using a Z animation environment. Central to the process is the introduction of a framework to handle dynamic instantiation of objects and management of object references. Particular focus is placed upon building the animation environment through pre-existing tools, and a case study is presented that implements the proposed framework using a shallow encoding in the Possum Z animator. The animation of Object-Z using Z is both automated and made transparent to the user through the use of a software tool named O-zone.

Specification matching of object-oriented components

Object-orientation supports software reuse via features such as abstraction, information hiding, polymorphism, inheritance and redefinition. However, while libraries of classes do exist, one of the challenges that still remains is to locate suitable classes and adapt them to meet the specific requirements of the software developer. Traditional approaches to library retrieval are text-based; it is therefore difficult for the developer to express their requirements in a precise and unambiguous manner. A more promising approach is specification-based retrieval, where library component interfaces and requirements are expressed using a formal specification language. In this case retrieval is based on matching formal specifications. In this paper we describe how existing approaches to specification matching can be extended to handle object-oriented components.

The programming language python in earth system simulations

-scale vary from a planetary scale and million years for convection problems to 100km and 10 years for fault systems simulations. Various techniques are in use to deal with the time dependency (e.g. Crank-Nicholson), with the non-linearity (e.g. Newton-Raphson) and weakly coupled equations (e.g. non-linear Gauss-Seidel). Besides these high-level solution algorithms discretization methods (e.g. finite element method (FEM), boundary element method (BEM)) are used to deal with spatial derivatives. Typically, large-scale, three dimensional meshes are required to resolve geometrical complexity (e.g. in the case of fault systems) or features in the solution (e.g. in mantel convection simulations). The modelling environment escript allows the rapid implementation of new physics as required for the development of simulation codes in earth sciences. Its main object is to provide a programming language, where the user can define new models and rapidly develop high-level solution algorithms. The current implementation is linked with the finite element package finley as a PDE solver. However, the design is open and other discretization technologies such as finite differences and boundary element methods could be included. escript is implemented as an extension of the interactive programming environment python (see www.python.org). Key concepts introduced are Data objects, which are holding values on nodes or elements of the finite element mesh, and linearPDE objects, which are defining linear partial differential equations to be solved by the underlying discretization technology. In this paper we will show the basic concepts of escript and will show how escript is used to implement a simulation code for interacting fault systems. We will show some results of large-scale, parallel simulations on an SGI Altix system. Acknowledgements: Project work is supported by Australian Commonwealth Government through the Australian Computational Earth Systems Simulator Major National Research Facility, Queensland State Government Smart State Research Facility Fund, The University of Queensland and SGI.

Researching XBRL as a socio-technical object

The Extensible Business Reporting Language (XBRL) is a grammar based on XML that is defined and described in the XBRL 2.1 specification. Instance documents are created by combining XBRL taxonomies and linkbases with data (facts) for a particular context. An alternative view is, XBRL is a mechanism for communicating information for decision-making between interested parties based on a generally accepted way of representing and digitally transmitting symbols of actions and events. XBRL may be both of these and many other things depending on how we frame our methodological understanding for the purposes of research. In this section we present an approach that conceives XBRL as a socio-technical object in the tradition of post-social perspectives (Knorr Cetina 1997; Latour 1996, 1999). © Deutscher Universitäts-Verlag GWV Fachverlage GmbH, Wiesbaden 2007.

Modeling geometric rules in object based models:an XML / GML approach

Most object-based approaches to Geographical Information Systems (GIS) have concentrated on the representation of geometric properties of objects in terms of fixed geometry. In our road traffic marking application domain we have a requirement to represent the static locations of the road markings but also enforce the associated regulations, which are typically geometric in nature. For example a give way line of a pedestrian crossing in the UK must be within 1100-3000 mm of the edge of the crossing pattern. In previous studies of the application of spatial rules (often called 'business logic') in GIS emphasis has been placed on the representation of topological constraints and data integrity checks. There is very little GIS literature that describes models for geometric rules, although there are some examples in the Computer Aided Design (CAD) literature. This paper introduces some of the ideas from so called variational CAD models to the GIS application domain, and extends these using a Geography Markup Language (GML) based representation. In our application we have an additional requirement; the geometric rules are often changed and vary from country to country so should be represented in a flexible manner. In this paper we describe an elegant solution to the representation of geometric rules, such as requiring lines to be offset from other objects. The method uses a feature-property model embraced in GML 3.1 and extends the possible relationships in feature collections to permit the application of parameterized geometric constraints to sub features. We show the parametric rule model we have developed and discuss the advantage of using simple parametric expressions in the rule base. We discuss the possibilities and limitations of our approach and relate our data model to GML 3.1. © 2006 Springer-Verlag Berlin Heidelberg.

Utilising fiction to promote english language acquisition

Towards the end of the university stage, students residing in the United Arab Emirates and specialising in subjects other than English are expected- amongst other university requirements- to have acquired adequate communicative competence as well as a repertoire of critical thinking skills. Despite the efforts made within the field of teaching English to EFL university students in the country, the output gained in terms of acquired skills and competencies is still below expectations. The main concerns of the current thesis are, therefore, a) to investigate the factors which inhibit EFL university students’ progress in the areas of acquiring adequate communicative competence as well as critical thinking skills, and b) to propose a course book and pedagogic methods to improve students’ progress in the areas of acquiring adequate communicative competence as well as critical thinking skills. Believing in the essential role literature plays in enhancing critical thinking and promoting communicative competence on the part of EFL learners, the current study introduces a course, designed and implemented by the researcher: LEARN AND GAIN. The proposed course is fiction-based language teaching, adopting the view that literature is a resource rather than an object, thus advocating the use of literature as one of the main resources in foreign/second language acquisition. Investigating whether or not the proposed course was effective in promoting EFL university students’ communicative competence as well as enhancing their critical thinking skills, a study sample taken from the study population was selected. Adopting an experimental design, the research project involved two groups: experimental and control. The experimental group students were exposed to the proposed course whilst the control group students were exposed to a general English language course. To examine treatment effectiveness, the researcher set and administered a pre-post test. Divided into two main parts, communicative critical reading competence and communicative critical writing competence, the pre-post test measured subjects’ communicative critical reading competence and subjects’ communicative critical writing competence. In addition, a pre-post questionnaire was administered and a semi-structured interview was conducted involving the experimental group students, to gain an awareness of students’ attitudes towards learning literary texts in general, and the proposed course in particular. To examine issues of interest and relevance, gender differences: male vs. female, and university major: science vs. non-science, were also examined for enrichment purposes. For the purpose of gathering sufficient data about subjects’ achievements on the pre-post, the following statistical tests were conducted: Mann-Whitney test, and paired data t-test. Based on the statistical findings, the experimental group students’ performance on the communicative critical reading competence pre-post test and the communicative critical writing competence pre-post test was significantly better than their counterparts of the control group students. Speaking of gender differences in relation to language performance on the communicative critical reading competence pre-post test and the communicative critical writing competence pre-post test, no significant differences were cited. Neither did the researcher cite any significant performance differences between science/non-science students on the communicative critical reading competence pre-post test and the communicative critical writing competence pre-post test. As far as the questionnaire’s findings are concerned, the experimental group students’ responses to the post-questionnaire’s items were more positive than those of their responses to the pre-questionnaire’s, thus indicating some positive attitudes towards literature, which students possibly gained throughout the course of implementation. Relating the discussion to the interview’s results, students conveyed their satisfaction with the proposed course, emphasising that promoting English language skills through the use of literary texts was rewarding. In the light of findings and conclusions, a number of recommendations as well as implications have been proposed. The current study aimed to arrive at some appropriate suggestions to a number of enquiries, yet concluding with some areas of enquiry to be explored for further research.

Two-Language, Two-Paradigm Introductory Computing Curriculum Model and its Implementation

This paper analyzes difficulties with the introduction of object-oriented concepts in introductory computing education and then proposes a two-language, two-paradigm curriculum model that alleviates such difficulties. Our two-language, two-paradigm curriculum model begins with teaching imperative programming using Python programming language, continues with teaching object-oriented computing using Java, and concludes with teaching object-oriented data structures with Java.

Generation of Testing Source Code for Object-Oriented Programs

Красимир Манев, Антон Желязков, Станимир Бойчев - В статията е представена имплементацията на последната фаза на автоматичен генератор на тестови данни за структурно тестване на софтуер, написан на обектно-ориентиран език за програмиране – генерирането на изходен код на тестващия модул. Някои детайли от имплементацията на останалите фази, които са важни за имплементацията на последната фаза, са представени първо. След това е описан и алгоритъмът за генериране на кода на тестващия модул.