Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1993. / Vita. Abstract. Includes bibliographical references (leaves 71-77). Also available via the Internet.

Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1993. / Vita. Abstract. Includes bibliographical references (leaves 100-102). Also available via the Internet.

Thesis (M.S. in Operations Research) Naval Postgraduate School, June 1997. / Thesis advisor, Arnold Buss. Includes bibliographical references (p. 115). Also available online.

Most common object models of distributed object systems have a limited set of object-oriented features, lacking the advanced features of `polymorphism' (an abstraction mechanism that represents a quality or state of being able to assume different forms) and `concurrency' (the ability to have more than one thread of execution in an object simultaneously). The lack of support for advanced features is a serious limitation because it restricts the development of new components and limits reuse of existing of components that use these advanced features. As a result, wrappers must be used that hide the advanced features or components must be re-implemented using only the features of the common object model. In this dissertation, a new direction of research centered on a subset of object-oriented languages, specifically statically typed languages, is considered. One of the major drawbacks of existing distributed object systems is that they cater to a broad domain of programming languages including both object-oriented as well as non object-oriented languages. Mapping an object model into a non object-oriented language is a complex task and it does not appear natural to a native language user. The interoperable common object model (ICOM) proposed in this dissertation is an attempt to elevate common object models (with the advanced features of polymorphism and concurrency) closer to the object models of statically typed object-oriented languages. Specific features of the ICOM object model include: remote inheritance, method overloading, parameterized types, and guard methods. The actor model and reflection techniques are used to develop a uniform implementation framework for the ICOM object model in C++ and Modula-3. Prototype applications were implemented to demonstrate the utility of the advanced features of the ICOM object model. The main contributions of this dissertation are: design and implementation of a powerful common object model, an architecture for distributed compilation, and an implementation of a distributed object model using the actor model. / Ph. D.

by Lam Siu Hong. / Thesis (M.Phil.)--Chinese University of Hong Kong, 1991. / Includes bibliographical references. / Chapter Chapter1 --- Introduction --- p.1 / Chapter 1.1 --- Software Development Crisis of User Interface --- p.1 / Chapter 1.2 --- Objectives and Scope of Interests --- p.1 / Chapter 1.3 --- Overview of the Thesis --- p.2 / Chapter Chapter2 --- Background and Problems --- p.4 / Chapter 2.1 --- Categories of User Interfaces --- p.4 / Chapter 2.2 --- Trends of User Interfaces --- p.6 / Chapter 2.3 --- Some other Desirable Features and Problems of UI Development --- p.7 / Chapter 2.3.1 --- Separating UI from Application --- p.7 / Chapter 2.3.1.1 --- Benefits of Separable UIs and Applications --- p.7 / Chapter 2.3.1.2 --- Requirements of Complete Separation --- p.10 / Chapter 2.3.2 --- Instant Continuous Feedback --- p.12 / Chapter 2.3.2.1 --- Problems of Linguistic Model on World Model Type UIs --- p.12 / Chapter 2.3.3 --- Undo and Recovery --- p.15 / Chapter 2.3.4 --- Iterative Design through Rapid Protyping --- p.16 / Chapter Chapter3 --- An Object-Oriented Model for Model World User Interfaces Development --- p.18 / Chapter 3.1 --- Features of UIs to be supported by the Model --- p.18 / Chapter 3.2 --- A Linkage Model for Separating UI from Application --- p.19 / Chapter 3.2.1 --- Communication Messages Modeled using an Object Oriented Approach --- p.20 / Chapter 3.2.2 --- A Sample Message --- p.22 / Chapter 3.2.3 --- Linkage in a Distributed Heterogenous Environment --- p.24 / Chapter 3.2.4 --- Comparing the Linkage Model with the Application Interface Model in Seeheim's UI Model --- p.25 / Chapter 3.3 --- An Object-Oriented Model for Supporting Multiple Feedbacks and Multi-thread dialogue --- p.26 / Chapter 3.3.1 --- An Overview of the Model --- p.27 / Chapter 3.3.2 --- Objects on the Lexical Layer --- p.28 / Chapter 3.3.3 --- Roles of Presentation Objects --- p.29 / Chapter 3.3.4 --- Syntactic Objects --- p.31 / Chapter 3.3.5 --- Interaction Objects --- p.32 / Chapter 3.3.6 --- Interaction between objetcs and Linkage Component --- p.33 / Chapter 3.3.7 --- Multiple U-tubes Ladder for Supporting Multiple Feedbacks --- p.33 / Chapter 3.3.8 --- Recovery through a Generic UNDO stack --- p.35 / Chapter 3.3.9 --- Dialogue Control in an Object --- p.37 / Chapter 3.3.10 --- Interactive Objects --- p.39 / Chapter 3.3.11 --- An Architecture for Supporting Multi-thread Dialogue --- p.40 / Chapter 3.4 --- Basic Object Structure --- p.42 / Chapter 3.4.1 --- An Event Model for Dialogue Control --- p.43 / Chapter 3.4.2 --- Maintain Consistency through ε-rules --- p.45 / Chapter 3.4.3 --- An Example of an Inner Object Specification --- p.47 / Chapter 3.4.4 --- Pre and Post Condition of Action --- p.49 / Chapter 3.4.5 --- Automatic Message Routing --- p.49 / Chapter 3.5 --- Systematic Approach to UI Specification --- p.50 / Chapter Chapter4 --- User Interface Framework Design --- p.52 / Chapter 4.1 --- A Framework for UI Development --- p.52 / Chapter 4.1.1 --- Abstract Base Class for Each Object Type --- p.54 / Chapter 4.1.2 --- A Kernel for Message Routing --- p.60 / Chapter 4.1.3 --- Interaction Knowledge Base --- p.63 / Chapter 4.1.4 --- A Dynamic View of UI Objects --- p.64 / Chapter 4.1.5 --- Switch Box Mechanism for Dialogue Switching --- p.66 / Chapter 4.1.6 --- Software IC Construction --- p.68 / Chapter 4.2 --- Summaries of Object-Object UI Model and UI Framework --- p.70 / Chapter 4.2.1 --- A New Approach to User Interface Development 、 --- p.70 / Chapter 4.2.2 --- Feautures of UI Development provided by the Object-Object UI Model and UI Framework --- p.71 / Chapter Chapter5 --- Implementation --- p.73 / Chapter 5.1 --- Implementation of Framework in Microsoft Window Environment --- p.73 / Chapter 5.1.1 --- Implementation of automatic message routing through dynamic binding --- p.73 / Chapter 5.1.2 --- A generic message structure --- p.75 / Chapter 5.1.3 --- A meta class for object communication --- p.76 / Chapter 5.1.4 --- Software component of UI framework in Microsoft Window environment --- p.76 / Chapter 5.2 --- A Simple Stock Market Decision Support System (SSMDSS) --- p.77 / Chapter 5.2.1 --- UI Specification --- p.81 / Chapter 5.2.2 --- UI features supported by SSMDSS --- p.87 / Chapter Chapter6 --- Results --- p.89 / Chapter 6.1 --- Facts discovered --- p.89 / Chapter 6.1.1 --- Asynchronous and synchronous communication among objects --- p.89 / Chapter 6.1.2 --- Flexibility of the C+ + language --- p.90 / Chapter 6.2 --- Technical Problems Encountered --- p.91 / Chapter 6.2.1 --- Problems from Implementation Platform --- p.91 / Chapter 6.2.2 --- Problems due to Object Decomposition in an Interactive Object in SSMDSS --- p.92 / Chapter 6.3 --- Objectives accomplished by the Object-Oriented UI Model indicated by SSMDSS --- p.93 / Chapter Chapter7 --- Conclusion --- p.95 / Chapter 7.1 --- Thesis Summary --- p.95 / Chapter 7.2 --- Merits and Demerit of the Object-Oriented UI Model --- p.96 / Chapter 7.3 --- Cost of the Object-Oriented UI Model --- p.96 / Chapter 7.4 --- Future work --- p.97 / Appendix / Chapter A1 --- An Alogrithm for Converting Transition Network Diagram to Event Response Language --- p.A1 / Chapter A2 --- An Object-Oriented Software Development --- p.A4 / Chapter A2.1 --- Traditional Non Object-Oriented Software Development --- p.A4 / Chapter A2.2 --- An Object-Oriented Software Development --- p.A6 / Chapter A3 --- Vienna Development Method (VDM) --- p.A8 / Chapter A3.1 --- An Overview of VDM --- p.A8 / Chapter A3.2 --- Apply VDM to Object-Oriented UI model --- p.A10 / Chapter A4 --- Glossaries and Terms --- p.A12 / Reference

by Chan Wai Kwong Samual. / Thesis (M.Phil.)--Chinese University of Hong Kong. / Bibliography: leaves R. 1-6. / ACKNOWLEDGEMENTS / ABSTRACT / TABLE OF CONTENTS / Chapter CHAPTER 1. --- OVERVIEWS --- p.1.1 / Chapter 1.1 --- Introduction --- p.1.1 / Chapter 1.2 --- Image Understanding and Artificial Intelligence --- p.1.3 / Chapter 1.3 --- Object-Oriented Programming and Artificial Intelligence --- p.1.6 / Chapter 1.4 --- Related Works --- p.1.8 / Chapter 1.5 --- Discussions and Outlines --- p.1.9 / Chapter CHAPTER 2. --- OBJECT-ORIENTED SOFTWARE SYSTEMS --- p.2.1 / Chapter 2.1 --- Introduction --- p.2.1 / Chapter 2.2 --- Traditional Software Systems --- p.2.1 / Chapter 2.3 --- Object-Oriented Software Systems --- p.2.2 / Chapter 2.4 --- Characteristics of an Object-Oriented Systems --- p.2.4 / Chapter 2.5 --- Knowledge Representation in Image Recognition --- p.2.9 / Chapter 2.5.1 --- Rule-Based System --- p.2.10 / Chapter 2.5.2 --- Structured Objects --- p.2.12 / Chapter 2.5.3 --- Object-Oriented Knowledge Management --- p.2.13 / Chapter 2.5.4 --- Object-Oriented Expert System Building Tools --- p.2.14 / Chapter 2.6 --- Concluding Remarks --- p.2.16 / Chapter CHAPTER 3. --- SYSTEM DESIGN AND ARCHITECTURE --- p.3.1 / Chapter 3.1 --- Introduction --- p.3.1 / Chapter 3.2 --- Inheritance and Recognition --- p.3.2 / Chapter 3.3 --- System Design --- p.3.9 / Chapter 3.4 --- System Architecture --- p.3.11 / Chapter 3.4.1 --- The Low Level Vision Kernel --- p.3.14 / Chapter 3.4.2 --- The High Level Vision Kernel --- p.3.15 / Chapter 3.4.3 --- User Consultation Kernel --- p.3.17 / Chapter 3.5 --- Structure of the Image Object Model --- p.3.17 / Chapter 3.5.1 --- Image Object Model in Object-Oriented Form --- p.3.19 / Chapter 3.5.2 --- Image Objects Hierarchy --- p.3.23 / Chapter 3.6 --- Reasoning in OOI --- p.3.26 / Chapter 3.7 --- Concluding Remarks --- p.3.27 / Chapter CHAPTER 4. --- CONTROL AND STRATEGIES --- p.4.1 / Chapter 4.1 --- Introduction --- p.4.1 / Chapter 4.2 --- Consultation Class Objects --- p.4.4 / Chapter 4.2.1 --- Audience --- p.4.5 / Chapter 4.2.2 --- Intrinsic Hypothesis (IH_object) --- p.4.5 / Chapter 4.2.3 --- Priority Table (PT_object) --- p.4.6 / Chapter 4.3 --- Operation Objects --- p.4.7 / Chapter 4.3.1 --- Scheme Scheduler (SS一object) --- p.4.7 / Chapter 4.3.2 --- Task Scheduler (TS_object) --- p.4.7 / Chapter 4.4 --- Taxonomy of Image Objects in OOI --- p.4.8 / Chapter 4.4.1 --- Object Template --- p.4.8 / Chapter 4.4.2 --- Attributes --- p.4.9 / Chapter 4.4.3 --- Tasks and Life Cycles --- p.4.9 / Chapter 4.4.4 --- Object Security --- p.4.10 / Chapter 4.5 --- Message Passing --- p.4.11 / Chapter 4.6 --- Strategies --- p.4.12 / Chapter 4.6.1 --- The Bottom-Up Approach --- p.4.15 / Chapter 4.6.2 --- The Top-Down Approach --- p.4.18 / Chapter 4.7 --- Concluding Remarks --- p.4.19 / Chapter CHAPTER 5. --- IMAGE PROCESSING ALGORITHMS --- p.5.1 / Chapter 5.1 --- Introduction --- p.5.1 / Chapter 5.2 --- Image Enhancement --- p.5.2 / Chapter 5.2.1 --- Spatial Filtering --- p.5.2 / Chapter 5.2.2 --- Feature Enhancement --- p.5.5 / Chapter 5.3 --- Pixel Classification --- p.5-7 / Chapter 5.4 --- Edge Detection Methods --- p.5.9 / Chapter 5.4.1 --- Local Gradient Operators --- p.5.9 / Chapter 5.4.2 --- Zero Crossing Method --- p.5.12 / Chapter 5.5 --- Regional Approaches in Segmentation --- p.5.13 / Chapter 5.5.1 --- Multi-level Threshold Method --- p.5.13 / Chapter 5.5.2 --- Region Growing --- p.5.15 / Chapter 5.6 --- Image Processing Techniques in Medical Domain --- p.5.17 / Chapter 5.7 --- Concluding Remarks --- p.5.18 / Chapter CHAPTER 6. --- PICTORIAL DATA MANAGEMENT IN OOI --- p.6.1 / Chapter 6.1 --- Introduction --- p.6.1 / Chapter 6.2 --- Description of Basic Properties --- p.6.1 / Chapter 6.3 --- Description of Relations --- p.6.7 / Chapter 6.3.1 --- Relational Database of Pictorial Data --- p.6.7 / Chapter 6.3.2 --- Relational Graphs and Relational Databases --- p.6.10 / Chapter 6.4 --- Access Functions in Image Objects --- p.6.14 / Chapter 6.4.1 --- Basic Access Functions --- p.6.14 / Chapter 6.4.2 --- User Accessible Functions in Objects --- p.6.15 / Chapter 6.5 --- Image Functions --- p.6.16 / Chapter 6.5.1 --- Unary Image operations --- p.6.16 / Chapter 6.5.2 --- Binary Relation Operations --- p.6.19 / Chapter 6.5.3 --- Update Operations --- p.6.20 / Chapter 6.6 --- Concluding Remarks --- p.6.21 / Chapter CHAPTER 7. --- KNOWLEDGE MANAGEMENT --- p.7.1 / Chapter 7.1 --- Introduction --- p.7.1 / Chapter 7.2 --- Knowledge in A Domain Knowledge Base --- p.7.1 / Chapter 7.2.1 --- Structure of Rules --- p.7.2 / Chapter 7.2.2 --- Hypothesis Generation --- p.7.6 / Chapter 7.2.3 --- Inference Engine --- p.7.8 / Chapter 7.3 --- Model Based Reasoning in OOI --- p.7.9 / Chapter 7.3.1 --- Merging and Labelling --- p.7.9 / Chapter 7.3.2 --- Vision Model --- p.7.11 / Chapter 7.4 --- Fuzzy Reasoning --- p.7.12 / Chapter 7.5 --- Concluding Remarks --- p.7.15 / Chapter CHAPTER 8. --- KNOWLEDGE ACQUISITION AND USER INTERFACES --- p.8.1 / Chapter 8.1 --- Introduction --- p.8.1 / Chapter 8.2 --- Knowledge Acquisition Subsystem --- p.8.3 / Chapter 8.2.1 --- Rule Management Module --- p.8.3 / Chapter 8.2.2 --- Attribute Management Module --- p.8.4 / Chapter 8.2.3 --- Model Management Module --- p.8.8 / Chapter 8.2.4 --- Methods of Knowledge Encoding and Acquisition --- p.8.9 / Chapter 8.3 --- User Interface in OOI --- p.8.11 / Chapter 8.3.1 --- Screen Layout --- p.8.13 / Chapter 8.3.2 --- Menus and Options --- p.8.15 / Chapter 8.4 --- Concluding Remarks --- p.8.20 / Chapter CHAPTER 9. --- IMPLEMENTATION AND RESULTS --- p.9.1 / Chapter 9.1 --- Introduction --- p.9.1 / Chapter 9.2 --- Using Expanded Memory --- p.9.2 / Chapter 9.3 --- ESCUM --- p.9.3 / Chapter 9.3.1 --- General Description --- p.9.3 / Chapter 9.3.2 --- Cervical Intraepithelial Neoplasia (CIN) --- p.9.4 / Chapter 9.3.3 --- Development of ESCUM --- p.9.5 / Chapter 9.4 --- Results --- p.9.12 / Chapter 9.5 --- Concluding Remarks --- p.9.13 / Chapter CHAPTER 10. --- CONCLUSION --- p.10.1 / Chapter 10.1 --- Summary --- p.10.1 / Chapter 10.2 --- Areas of Future Work --- p.10.5 / Chapter APPENDIX A. --- Rule Base of ESCUM --- p.A1 / Chapter APPENDIX B. --- Glossary for Objected-Oriented Programming --- p.B1 / REFERENCES --- p.R1

Ma Chak Kei. / Thesis submitted in: July 2002. / Thesis (M.Phil.)--Chinese University of Hong Kong, 2003. / Includes bibliographical references (leaves 97-101). / Abstracts in English and Chinese. / ABSTRACT --- p.II / ACKNOWLEDGEMENTS --- p.VI / TABLE OF CONTENTS --- p.VII / LIST OF TABLES --- p.XI / LIST OF FIGURES --- p.XIII / Chapter CHAPTER 1. --- INTRODUCTION --- p.1 / Chapter 1.1 --- Addressing and Manipulating XML Data --- p.1 / Chapter 1.2 --- The Structured-Element Object Model (SEOM) --- p.3 / Chapter 1.3 --- Relate Research --- p.4 / Chapter 1.4 --- Contribution --- p.5 / Chapter 1.5 --- Thesis Overview --- p.6 / Chapter CHAPTER 2. --- BACKGROUND TECHNOLOGIES --- p.7 / Chapter 2.1 --- Overview of XML --- p.7 / Chapter 2.1.1. --- XML Basic Syntax --- p.8 / Chapter 2.1.2. --- Namespaces in XML --- p.8 / Chapter 2.2 --- Overview of XML Schema --- p.9 / Chapter 2.2.1. --- W3C XML Schema --- p.10 / Chapter 2.2.2 --- ", Schema Alternatives" --- p.13 / Chapter 2.3 --- Overview of XPath --- p.13 / Chapter 2.4 --- Overview of DOM --- p.15 / Chapter CHAPTER 3. --- OVERVIEW OF STRUCTURED-ELEMENT OBJECT MODEL (SEOM) --- p.18 / Chapter 3.1 --- Introduction --- p.18 / Chapter 3.2 --- Objectives --- p.20 / Chapter 3.3 --- General Concepts in SEOM --- p.21 / Chapter 3.3.1. --- Data Representation --- p.21 / Chapter 3.3.2. --- Data Binding --- p.24 / Chapter 3.3.3. --- Data Access --- p.25 / Chapter CHAPTER 4. --- SEOM DOCUMENT MODELING --- p.27 / Chapter 4.1 --- Data Modeling --- p.27 / Chapter 4.1.1. --- Simple XML Data Model --- p.28 / Chapter 4.1.2. --- SEOM Data Model --- p.32 / Chapter 4.2 --- Schema Modeling --- p.41 / Chapter 4.2.1. --- SEOM Schema --- p.42 / Chapter 4.2.2. --- Creating a Schema --- p.46 / Chapter CHAPTER 5. --- SEOM DOCUMENT PROCESSING --- p.51 / Chapter 5.1 --- SEOM Document Processing --- p.51 / Chapter 5.2 --- The Classes --- p.51 / Chapter 5.2.1. --- SEOM Document Class --- p.52 / Chapter 5.2.2. --- A bstract SElement Class --- p.55 / Chapter 5.2.3. --- Generic SElement Class --- p.56 / Chapter 5.2.4. --- Implementation SElement Classes --- p.57 / Chapter 5.3 --- XML Parsing and Data Binding --- p.59 / Chapter 5.3.1. --- Parsing Process --- p.60 / Chapter 5.4 --- Querying --- p.62 / Chapter 5.4.1. --- Query Wrapper and Result Wrapper --- p.62 / Chapter 5.4.2. --- Embedding in XPath --- p.68 / Chapter CHAPTER 6. --- AN WEB-BASED SEOM DOCUMENT QUERY SYSTEM --- p.71 / Chapter 6.1 --- Web-based SEOM Document Query System --- p.71 / Chapter 6.2 --- Client-Server Architecture --- p.71 / Chapter 6.3 --- The Server --- p.74 / Chapter 6.3.1. --- Data Loading --- p.74 / Chapter 6.3.2. --- Implemented SElement - R-Tree --- p.74 / Chapter 6.3.3. --- Network Interface --- p.80 / Chapter 6.4 --- Client Side --- p.82 / Chapter 6.4.1. --- The Interface --- p.82 / Chapter 6.4.2. --- Programmatic Controls --- p.85 / Chapter CHAPTER 7. --- EVALUATION --- p.88 / Chapter 7.1 --- Experiment with Synthetic Data --- p.88 / Chapter 7.2 --- Qualitative Comparison --- p.90 / Chapter 7.3 --- Advantages --- p.91 / Chapter 7.4 --- Disadvantages --- p.92 / Chapter 7.5 --- Means of Enhancement --- p.93 / Chapter CHAPTER 8. --- CONCLUSION --- p.94 / BIBLIOGRAPHY --- p.97

Declarative visual programming languages (VPLs), including spreadsheets, make up a large portion of both research and commercial VPLs. Spreadsheets in particular enjoy a wide audience, including end users. Unfortunately, spreadsheets and most other declarative VPLs still suffer from some of the problems that have been solved in other languages, such as ad-hoc (cut-and-paste) reuse of code which has been remedied in object-oriented languages, for example, through the code-reuse mechanism of inheritance. We believe spreadsheets and other declarative VPLs can benefit from the addition of an inheritance-like mechanism for fine-grained code reuse. This dissertation first examines the opportunities for supporting reuse inherent in declarative VPLs, and then introduces similarity inheritance and describes a prototype of this model in the research spreadsheet language Forms/3. Similarity inheritance is very flexible, allowing multiple granularities of code sharing and even mutual inheritance; it includes explicit representations of inherited code and all sharing relationships, and it subsumes the current spreadsheet mechanisms for formula propagation, providing a gradual migration from simple formula reuse to more sophisticated uses of inheritance among objects. Since the inheritance model separates inheritance from types, we investigate what notion of types is appropriate to support reuse of functions on different types (operation polymorphism). Because it is important to us that immediate feedback, which is characteristic of many VPLs, be preserved, including feedback with respect to type errors, we introduce a model of types suitable for static type inference in the presence of operation polymorphism with similarity inheritance. / Graduation date: 1999

The application field for static analysis of Java programs is getting broader, ranging from compiler optimizations (like dynamic dispatch elimination) to security issues. Many of those analyses include type analyses. We propose a `generic' framework, which improves on previous type analyses by introducing structural information. Moreover, structural information allows us to easily extend the framework to perform many different kinds of analyses. The framework is based on the abstract interpretation methodology. It is composed of a standard semantics, a family of abstract domains, an abstract semantics based on these domains and a post-fixpoint algorithm to compute the abstract semantics. The analysis is limited to a representative subset of Java, without concurrency. A complete prototype of the framework allows us to illustrate the accuracy and the efficiency of the approach (for moderately sized programs).

Thesis (Ph.D.)--Memorial University of Newfoundland, 2005. / Bibliography: leaves 246-251.