The Object-oriented Reuse Tool (ORT) supports the reuse of object-oriented software by maintaining a library of reusable classes and recording information about their reusability as well as information associated with their design and verification. In the early design phases of object-oriented development, ORT facilitates reuse by providing a flexible way to navigate the library, thereby aiding in the process of refining a design to maximally reuse existing classes. A collection of extensions to ORT have also been identified. These extensions would compose the remainder of a system useful in increasing reuse in object-oriented software production.

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

Thesis (Ph.D.)--University of Hong Kong, 1998. / Includes bibliographical references. Also available in print.

Thesis (M.Sc.)--York University, 2004. Graduate Programme in Computer Science. / Typescript. Includes bibliographical references (leaves 130-134). Also available on the Internet. MODE OF ACCESS via web browser by entering the following URL:http://gateway.proquest.com/openurl?url%5Fver=Z39.88-2004&res%5Fdat=xri:pqdiss&rft%5Fval%5Ffmt=info:ofi/fmt:kev:mtx:dissertation&rft%5Fdat=xri:pqdiss:MQ99311

The influence of elastic anisotropy on seismic wave propagation is often neglected for the sake of simplicity. However, ignoring anisotropy may lead to significant errors in the processing of seismic data and ultimately in a poor image of the subsurface. This is especially true in wide-aperture Vertical Seismic Profiles where waves travel both vertically and horizontally. Anisotropy has been neglected in wavefront construction methods of seismic ray-tracing until Gibson (2000), who showed they are powerful tools to simulate seismic wave propagation in three-dimensional anisotropic subsurface models. The code is currently under development using a C++ object oriented programming approach because it provides high flexibility in the design of new components and facilitates debugging and maintenance of a complex algorithm. So far, the code was used to simulate propagation in homogeneous or simple heterogeneous anisotropic velocity models mainly designed for testing purposes. In particular, it has never been applied to simulate a field dataset. We propose here an analytical method involving little algebra and that allows the design of realistic heterogeneous anisotropic models using the C++ object oriented programming approach. The new model class can model smooth multi-layered subsurface with gradients or models with many dip variations. It has been used to model first arrival times of a wide-aperture VSP dataset from the Gulf of Mexico to estimate the amount of anisotropy. The proposed velocity model is transversely isotropic. The anisotropy is constant throughout the model and is defined via Thomsen's parameters. Values in the final model are epsilon = 0.055 and delta = -0.115. The model is compatible with the a priori knowledge of the local geology and reduces the RMS average time difference between measured and computed travel times by 51% in comparison to the initial isotropic model. These values are realistic and are similar to other measurements of anisotropy in the Gulf of Mexico.

The two main challenges of the twenty-first century are the scarcity of energy sources and global warming; trigged by the emission of greenhouse gases. In this context, solar energy became increasingly relevant. Because it makes optimal use of the resources, minimizes environmental impacts, and is sustainable over time. However, before installing solar panels, it is convenient pre-assessing the amount of energy that a building can harvest. This study proposes a methodology to semi-automatically generate information a building scale; on a large area. This thesis integrates airborne Light Detection and Ranging (LiDAR) and WoldView-2 satellite data for modelling the solar energy potential of building rooftops in San Francisco, California. The methodology involved building detection solar potential analysis, and estimations at building scale. First, the outline of building rooftops is extracted using an object-based approach. Next, the solar modelling is carried out using the solar radiation analysis tool in ArcGIS, Spatial Analyst. Then, energy that could potentially be harvested by each building rooftop is estimated. The energy estimation is defined in economic and environmental terms.

An active object system is a transition-based object-oriented system suitable for the design of various concurrent systems. An AOS consists of a collection of interacting objects, where the behavior of each object is determined by the transition statements provided in the class of that object. A transition statement is a condition-action pair, an equational assignment statement, or an event routine. The transition statements provided for each object can access, besides the state of that object, the states of the other objects known to it through its interface variables. Interface variables are bound to objects when objects are instantiated so that desired connections among objects are established. The major benefit of the AOS approach is that an active system can be hierarchically composed from its active software components as if it were a hardware system. An AOS provides better encapsulation and more flexible communication protocols than ordinary object oriented systems, since control within an AOS is localized. / Graduation date: 1992

The Unified Modeling Language (UML) is a standard language adopted by the Object Management Group (OMG) for writing object-oriented (OO) descriptions of software systems. UML allows the analyst to add class-level and system-level constraints. However, UML does not describe how to check the correctness of these constraints. Recent studies have shown that Symbolic Model Checking can effectively verify large software specifications. In this thesis, we investigate how to use model checking to verify constraints of UML specifications. We describe the process of specifying, translating and verifying UML specifications for an elevator example. We use the Cadence Symbolic Model Verifier (SMV) to verify the system properties. We demonstrate how to write a UML specification that can be easily translated to SMV. We propose a set of rules and guidelines to translate UML specifications to SMV, and then use these to translate a non-trivial UML elevator specification to SMV. We look at errors detected throughout the specification, translation and verification process, to see how well they reveal errors, ambiguities and omissions in the user requirements.

The main goal of any object-oriented analysis (OOA) method is to produce a model that aids in understanding and communicating knowledge about a modeled domain. A higher degree of similarity among independently produced domain models provides an indication of how well the domain was understood by the different analysts, i. e. , more similar models indicate a closer and a more common understanding of a domain. A common understanding is of critical importance for effective knowledge communication and sharing. <br /><br /> The core of any OOA method is discovering and understanding concepts and their relationships in a domain. The main artifact produced by an OOA method is a domain model of the domain. A domain model often serves as the main source of design concepts during objectoriented design (OOD). This thesis evaluates two OOA methods by comparing the degree of similarity of the resulting domain models. <br /><br /> In particular, this work compares the semantic similarity of domain models extracted from use cases by <ol> <li>specification of sequence diagrams and then domain models, and </li> <li>specification of unified use case statecharts and then domain models. </li> </ol> The thesis makes case studies out of the application of the first method to 31 instances of large Voice-over-IP (VoIP) system and its information management system (IMS) and to 3 small elevator systems, and out of the application of the second method to 46 instances of the same large VoIP system and its IMS and to 12 instances of a medium-sized elevator system. <br /><br /> From an analysis of data from these case studies, the thesis concludes that there is an increase of 10% in the semantic similarity of domain models produced using the second method, but at the cost of less than or equal to 25% more analysis time.

The industrial world of robotics requires leading-edge controllers to match the speed of new manipulators. At the University of Waterloo, a three degree-of-freedom ultra high-speed cable-based robot was created called Deltabot. In order to improve the performance of the Deltabot, a new controller called the QNX Multi-Axis Robotic Controller (QMARC) was developed. QMARC is a PC-based controller built for the replacement of the existing commercial controller called PMAC, manufactured by Delta Tau Data Systems. Although the PMAC has its own real-time processor, the rigid and complex internal structure of the PMAC makes it difficult to apply advanced control algorithms and interpolation methods. Adding unconventional hardware to PMAC, such as a camera and vision system is also quite challenging. With the development of QMARC, the flexibility issue of the controller is resolved. QMARC?s open-sourced object-oriented software structure allows the addition of new control and interpolation techniques as required. In addition, the software structure of the main Controller process is decoupled for the hardware, so that any hardware change does not affect the main controller, just the hardware drivers. QMARC is also equipped with a user-friendly graphical user interface, and many safety protocols to make it a safe and easy-to-use system. <br /><br /> Experimental tests has proven QMARC to be a safe and reliable controller. The stable software foundation created by the QMARC will allow for future development of the controller as research on the Deltabot progresses.