Log in

Relevant bibliographies by topics / Object oriented programming (OOP) / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Object oriented programming (OOP).

Dissertations / Theses on the topic 'Object oriented programming (OOP)'

Author: Grafiati

Published: 4 June 2021

Last updated: 29 January 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Object oriented programming (OOP).'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Hankerson, Mario Bernard. "Towards a taxonomy of aspect-oriented programming." [Johnson City, Tenn. : East Tennessee State University], 2003. http://etd-submit.etsu.edu/etd/theses/available/etd-1123103-192334/unrestricted/HankersonM120903f.pdf.

Full text

Abstract:

Thesis (M.S.)--East Tennessee State University, 2003.
Title from electronic submission form. ETSU ETD database URN: etd-1123103-192334. Includes bibliographical references. Also available via Internet at the UMI web site.

APA, Harvard, Vancouver, ISO, and other styles

2

Sonoda, Eloiza Helena. "OOPS - Object-Oriented Parallel System. Um framework de classes para a programação científica paralela." Universidade de São Paulo, 2006. http://www.teses.usp.br/teses/disponiveis/76/76132/tde-14022007-101855/.

Full text

Abstract:

Neste trabalho foi realizado o projeto e o desenvolvimento do framework de classes OOPS - Object-Oriented Parallel System. Esta é uma ferramenta que utiliza orientação a objetos para apoiar a implementação de programas científicos concorrentes para execução paralela. O OOPS fornece abstrações de alto nível para que o programador da aplicação não se envolva diretamente com detalhes de implementação paralela, sem contudo ocultar completamente aspectos paralelos de projeto, como particionamento e distribuição dos dados, por questões de eficiência e de desempenho da aplicação. Para isso, o OOPS apresenta um conjunto de classes que permitem o encapsulamento de técnicas comumente encontradas em programação de sistemas paralelos. Utiliza o conceito de processadores virtuais organizados em grupos, aos quais podem ser aplicadas topologias que fornecem modos de comunicação entre os processadores virtuais, e contêineres podem ter seus elementos distribuídos por essas topologias, com componentes paralelos atuando sobre eles. A utilização das classes fornecidas pelo OOPS facilita a implementação do código sem adicionar sobrecarga significativa à aplicação paralela, representando uma camada fina sobre a biblioteca de passagem de mensagens usada.
This work describes the design and development of the OOPS (Object Oriented Parallel System) class framework, which is a tool that uses object orientation to support programming of concurrent scientific applications for parallel execution. OOPS provides high level abstractions to avoid application programmer\'s involvement with many parallel implementation details. For performance considerations, some parallel aspects such as decomposition and data distribution are not completely hidden from the application programmer. To achieve its intents, OOPS encapsulates some programming techniques frequently used for parallel systems. Virtual processors are organized in groups, over which topologies that provide communication between the processors can be constructed; distributed containers have their elements distributed across the processors of a topology, and parallel components use these containers for their work. The use of the classes supplied by OOPS simplifies the implementation of parallel applications, without incurring in pronounced overhead. OOPS is thus a thin layer over the message passing interface used for its implementation.

APA, Harvard, Vancouver, ISO, and other styles

3

Lekkas, Sotirios. "Life Cycle Assessment on Bridge Abutments : Automated Design in Structural Enginee." Thesis, KTH, Bro- och stålbyggnad, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-259573.

Full text

Abstract:

Life Cycle Assessment (LCA) is the globally the most recognised method for quantifying theimpact the a product or service has on the environment through its whole life-span. Theconstruction sector plays a key role in the depletion of the natural resources and the energyconsumption on the planet. Thus it is fundamental that an environmental assessment tool likeLCA should be in close cooperation with the construction process.This thesis focuses on the environmental impact of bridge abutments, and can be divided in twoparts.The rst one focuses on enhancing the automated design in the construction eld. A Python codeis created that focuses on creating the geometry of any type of bridge abutment and conductingthe calculations for the required concrete and reinforcement. The process is attempted to becomecompletely automated.The second part introduces three alternative designs for a bridge abutment that attempt to havethe same structural properties and cooperate successfully with the superstructure, while at thesame time utilize as little material as possible. The possible reduction in material is quantiedin environmental terms after an environmental impact assessment is performed.The results show that dierent designs can have a great impact on the reduction on the materialconsumption and on the impact that the whole structure has on the environment. The resultsin this study might provide the designers with valuable motivation and guidelines to achievehigher sustainability standards in the future.

APA, Harvard, Vancouver, ISO, and other styles

4

Borovoy, Richard Daniel. "Genuine object oriented programming." Thesis, Massachusetts Institute of Technology, 1996. http://hdl.handle.net/1721.1/61090.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Wang, Tzone I. "Distributed object oriented logic programming." Thesis, Imperial College London, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.296891.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Oumanski, Alexandre. "Object-oriented approach to genetic programming." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp01/MQ39116.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Wren, Alisdair Stuart. "Relationships for object-oriented programming languages." Thesis, University of Cambridge, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.613369.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Piveropoulos, Giannis. "Dynamic object-oriented systems." Thesis, University of York, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.298492.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Moreira, Ana Maria Dinis. "Rigorous object-oriented analysis." Thesis, University of Stirling, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.259868.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Roy, Brian K. "Understanding object-oriented methodology." Master's thesis, This resource online, 1993. http://scholar.lib.vt.edu/theses/available/etd-03172010-020122/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Bruderer, Rolf. "Object-oriented framework for teaching introductory programming." Zürich : ETH, Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Chair of Software Engineering, 2005. http://e-collection.ethbib.ethz.ch/show?type=dipl&nr=185.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Nordström, Marie. "Object oriented quality in introductory programming education." Doctoral thesis, Umeå universitet, Institutionen för datavetenskap, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-38009.

Full text

Abstract:

Examples are important when we attempt to learn something new. To learn prob-lem solving and programming is an acknowledged difficulty. Teaching and learning introductory object oriented problem solving and programming has been discussed extensively since the late 1990’ies, when a major shift to object orientation as first programming paradigm took place. Initially, this switch was not considered to cause any major problems, because of the accumulated knowledge for how pro-gramming should be taught. This turned out to be naive. Knowledge gained for the imperative paradigm did not apply well to the object oriented paradigm. Because of its importance for the field of computer science, introductory pro- gramming education has drawn a lot of attention. Most of the research done in connection to object oriented problem solving and programming has been focused on students learning and the difficulty to acquire skills in programming. Less investigated is the foundation of the educational mission, the characteris- tics of object orientation and how this is best supported by the educator. There is no obvious agreement of what the basics of object orientation are, especially not from an educational point of view. In this thesis, two major aspects concerning the teaching of object orientation have been investigated: the definition of object oriented quality, specifically in examples for novices, and educators’ views on aspects of object orientation. Based on research of how object orientation is characterised in literature and in software design principles, a set of concepts and principles are presented as a description of basic characteristics of object orientation. These are applied to the educational context, and a number of heuristics, called Eduristics, for the design of object oriented examples for novices are defined. The Eduristics are then used to discuss the flaws and shortcomings of common textbook examples, but also how the object oriented quality of examples can be improved. To be able to evaluate the quality of examples, we initiated and participated in the development of an evaluation tool. This tool has been used to evaluate a number of examples from popular textbooks. The results show that the object oriented quality of examples is low. To explore the ways educators view a number of aspects of object orientation and the teaching of it, ten interviews have been conducted. The results of this study show that the level of abstraction in the conceptual model of object orientation among educators is low, and that novices are not given any support for object oriented problem solving.
Exempel är viktiga när man ska lära sig något nytt och det gäller även när man ska lära sig programmera. Att lära sig problemslösning och programmering är erkänt svårt och det har föranlett många förslag på vad som är ett bra sätt. Under 1990-talet skedde en större omläggning i programmeringsundervisningen världen över. Från att ha introducerat programmering i det imperativa/procedurella paradigmet övergick man till att använda objektorientering som första paradigm. Inledningsvis trodde man inte att det skulle skilja sig på något avgörande sätt från tidigare erfarenheter om hur programmering skulle undervisas. Detta visade sig vara en naiv föreställning. Mycket av den kunskap som ackumulerats kring den imperativa programmeringsundervisningen visade sig svår att överföra till objekt orientering. Omställningen har varit mödosam och är fortfarande inte genomförd fullt ut. Programmering är centralt i datavetenskap, eftersom olika aspekter av programvarukonstruktion genomsyrar det mesta av verksamheten kring datorer. Utbildningsmässigt är en inledande kurs i problemlösning och programmering förutsättningen för vidare studier i ämnet. Detta gör att en hel del uppmärksamhet har riktats mot problemlösning och programmering. Det mesta av den forskning som finns gjord i anslutning till objekt orienterad problemlösning och programmering har varit fokuserad på nybörjares lärande och problem att komma in i programmerandet. Mycket lite finns gjort när det gäller själva utgångspunkten för undervisningen om objektorientering, nämligen vad som är centralt i objektorientering och på vilket sätt det ska manifestera sig i undervisningen. I det här arbetet har två huvudaspekter av objektorientering i undervisningssammanhang undersökts: definitionen av objektorienterad kvalité, specifikt i exempel för nybörjare, samt vilken syn lärare har på olika aspekter av objektorientering. För att möjliggöra detta har vi undersökt hur objektorientering beskrivs i litteraturen och i vedertagna design-principer som används i programvaruutvecklingssammanhang. Baserat på resultatet av den undersökningen har vi använt en uppsättning koncept och designprinciper för att definiera vad som är karakteristiskt för objektorientering. Med detta som utgångspunkt har vi applicerat definitionen av objektorientering till undervisningssammanget och definierat ett antal heuristiker specifikt för konstruktion av objektorienterade exempel för nybörjare. Parallellt med detta arbete deltog vi i utvecklingen av ett utvärderingsverktyg för att värdera objektorienterade exempel för nybörjare. Detta verktyg har använts för en större utvärdering av exempel hämtade från populära läroböcker. Resultaten från denna studie visar att exempel generellt sett håller låg objektori enterad kvalitet. Vi har också visat att exempel som värderas högt, uppfyller våra heuristiker och att exempel som värderas lågt strider mot desamma. För att utforska hur lärare ser på objektorientering och hur de resonerar kring strategier för att lära ut objektorientering, har vi gjort tio intervjuer med lärare i gymnasieskolan och på universitetsnivå. Resultaten visar att den konceptuella modellen för objektorientering är mycket enkel i förhållande till den komplexitet som ofta anses känneteckna paradigmet. Dessutom, ges i stort sett inget stöd för nybörjaren vad gäller att förstå och lära sig problemlösningsansatsen, som ofta upplevs som väsensskild från hur man i normala fall löser problem.

APA, Harvard, Vancouver, ISO, and other styles

13

Chuang, Han-Tung. "Geometric reasoning in object-oriented robot programming." Thesis, Imperial College London, 1991. http://hdl.handle.net/10044/1/46718.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Mugridge, Warwick Bruce. "Enhancements to an object-oriented programming language." Thesis, University of Auckland, 1990. http://hdl.handle.net/2292/1997.

Full text

Abstract:

The objective of this thesis has been to explore the value and limitations of Class, an object-oriented programming language, in order to further the development of the language. The pivot for this thesis is WallBrace, a code-checking system. The development of the WallBrace system is the basis of a critique of Class, and leads to a number of language extensions being proposed. An important aim in this work has been the careful integration of these enhancements with the rest of the language, avoiding unnecessary additions. A number of functional and object-oriented extensions to the language are proposed. Discrimination functions, which may be higher-order and polymorphic, add considerable functional power. Generic classes allow for abstract data types, such as sets and lists, to be defined within the language. The forms interface proposed will greatly enhance the quality of user interfaces to Class programs. An external interface will allow Class programs to communicate with files, databases, and specialist user-interface programs, such as for plan entry.

APA, Harvard, Vancouver, ISO, and other styles

15

Eckerdal, Anna. "Novice students' learning of object-oriented programming." Licentiate thesis, Uppsala : Univ. : Dept. of Information Technology, Univ, 2006. http://www.it.uu.se/research/publications/lic/2006-006/2006-006.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Li, Haitao. "Data abstraction mechanisms in object-oriented programming." Thesis, McGill University, 1993. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=69723.

Full text

Abstract:

Existing OO modeling methodologies prescribe notations, processes, and guidelines that, if followed, ensure that analysis-level OO model reflect application semantics. As we move into design, implementation-level considerations may distort analysis-level models, and the transition is seamless no more. In this thesis, we describe data definition facilities in SoftClass--an experimental CASE tool for software reuse--that aim at maintaining the integrity of application data models throughout the development lifecycle, while maximizing opportunities for code reuse. In SoftClass, analysis-level data models describe application-semantics and are organized in an inheritance hierarchy based on shared application-semantics. At the design-level, we maintain two kinds of data models: (1) generic data structures, used as implementation templates for analysis-level models, and organized along "implementation inheritance" hierarchies, and (2) realizations of analysis-level application models, which consist of mapping an analysis-level model to a generic data structure. Design-level representations of application objects may be seen as belonging to two independent hierarchies, and we show how each hierarchy offers some opportunities for reuse. We shoe how data abstraction supports a high-level program design language that is both easy-to-use and that supports some design validation. We conclude by outlining directions for further research.

APA, Harvard, Vancouver, ISO, and other styles

17

Clark, Anthony Neil. "Semantic primitives for object-oriented programming languages." Thesis, Queen Mary, University of London, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.363089.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Woods, John Henry. "OOMPF : an Object-Oriented Metabolic Programming Framework." Thesis, Oxford Brookes University, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.264472.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

李詠康 and Wing-hong Lee. "D: a distributed object oriented programming language." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1994. http://hub.hku.hk/bib/B31211616.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

ORTO, LEONARDO CAMPO DALL. "TRANSPORTATION NETWORKS MODELLING USING OBJECT ORIENTED PROGRAMMING." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 1997. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=1732@1.

Full text

Abstract:

COORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIOR
Esta dissertação de mestrado apresenta a utilização do novo paradigma de desenvolvimento de software, a programação orientada a objetos (OOP), na modelagem em redes de transportes. A utilização da OOP visa, através de suas características: herança, polimorfismo e encapsulamento, aumentar a flexibilidade, produtividade e eficiência dos softwares desenvolvidos segundo seus princípios. O programa desenvolvido, visa servir como uma ferramenta de auxílio a tomada de decisão, a nível estratégico, no planejamento de redes de transportes urbanos. O software faz a alocação de fluxos em redes buscando minimizar o custo do usuário, ou seja, segundo o primeiro princípio de Wardrop. Este estudo foi baseado no método Fusion, que propõe uma abordagem sistemática para o desenvolvimento de software orientado a objetos. O método também está voltado para requisitos de desenvolvimento para e com reutilização. Será feita uma abordagem a nível de análise, projeto e implementação.
This Master thesis presents the utilization in transport modeling the new paradigm in software development, the Object Oriented Program (OOP). The using of OOP seeks improve the flexibility, productivity and efficiency in software developed under such principles. This will be done thought its characteristics: inheritance, polymorphism and encapsulation. The application of the OOP principles has been done adjusting the software TRAFFIC, developed in the University of Montreal. The model will be used like a decision making tool for the urban network transportation planning, ai a strategic level. The software assigns vehicle flows on road networks in order to minimize the user cost, following the first Wardrop`s principle. This research has been based on the Fusion method, that presents a systematic approach for development of object oriented software. The method also is directed toward the requirements of development with and for reutilization. The study will be developed at the level of analysis, project and implementation.
Esta disertación de mestrado presenta la utilización del nuevo paradigma de desarrollo de software, la programación orientada a objetos (OOP), en la modelaje de redes de transportes. La utilización de la OOP tiene como objetivo, a través de sus características (herencia, polimorfismo y encapsulamiento) aumentar la flexibilidad, productividad y eficiencia de los softwares desarrollados según sus principios. El programa desarrollado sirve como herramienta de auxilio a la toma de decisión, a nivel estratégico, en la planificación de redes de transportes urbanos. El software configura los flujos en redes buscando minimizar el costo del usuario, o sea, según el primer princípio de Wardrop. Este estudio está basado en el método Fusión, que propone una abordaje sistemática para el desarrollo de software orientado a objetos. El método también considera requisitos de desarrollo para y con reutilización. Se realiza una abordaje a nível de análise, proyecto e implementación.

APA, Harvard, Vancouver, ISO, and other styles

21

Kulkarni, Ajay B. "Object oriented programming for reinforced concrete design." Thesis, This resource online, 1993. http://scholar.lib.vt.edu/theses/available/etd-07292009-090332/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Anderson, Randi Lynne. "Object-oriented programming an in-depth study /." Instructions for remote access. Click here to access this electronic resource. Access available to Kutztown University faculty, staff, and students only, 1990. http://www.kutztown.edu/library/services/remote_access.asp.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Lee, Wing-hong. "D : a distributed object oriented programming language /." [Hong Kong : University of Hong Kong], 1994. http://sunzi.lib.hku.hk/hkuto/record.jsp?B13645341.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Drake, Maria Rosa. "Object-oriented concurrent programming on the connection machine with COOL (Concurrent Object-Oriented Language)." FIU Digital Commons, 1995. http://digitalcommons.fiu.edu/etd/3083.

Full text

Abstract:

The quest for speed and the need to solve ever more complex problems has led to the development of powerful computer systems, such as the Connection Machine. Concurrent processing promises a solution to the problem. COOL (Concurrent Object-Oriented Language) has been developed in order to provide the Connection Machine with a subset of C" which includes several concurrent constructs. The Connection Machine has an inherently parallel architecture which can be taken advantage of with software.

APA, Harvard, Vancouver, ISO, and other styles

25

Dayao, Jonathan Enrique K. "Distributed object-oriented method (DOOM)." Thesis, University of Brighton, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.361578.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Thomas, Lynda A. "Notation for object-oriented design." Thesis, Aberystwyth University, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.339031.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Wolczko, M. I. "Semantics of object-oriented languages." Thesis, University of Manchester, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.234230.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Oliver, Ian. "Animating object oriented conceptual models." Thesis, University of Kent, 2001. https://kar.kent.ac.uk/13637/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

SALDANHA, HUGO MARQUES DE CASTRO. "USING ANNOTATIONS IN OBJECT ORIENTED LANGUAGES TO SUPPORT COMPONENT ORIENTED PROGRAMMING." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2010. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=17065@1.

Full text

Abstract:

COORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIOR
Em sistemas distribuídos baseados em componentes de software, o uso de linguagens de programação orientadas a objeto é bastante comum para definir, através de frameworks, interfaces de programação para construção e uso de componentes. No entanto, o que se percebe na maioria dos modelos de programação que seguem essa abordagem, é a utilização de construções das próprias linguagens orientadas a objeto, como classes e interfaces, para definir uma interface de programação que segue um paradigma orientado a componentes. Como consequência, o código fonte mistura aspectos da funcionalidade do componente com os mecanismos de implementação específicos do modelo de programação, o que impede a reutilização deste componente em outros frameworks, além de incluir uma complexidade extra no código. Recentemente, observamos uma tendência à adição de metadados às implementações dos componentes, utilizando marcações específicas no código fonte. Estes metadados provêem as informações necessárias para que alguma ferramenta, seja baseada em geração de código ou em mecanismos de reflexão computacional da própria linguagem de programação, realize a integração da implementação do componente com a infra-estrutura de suporte do modelo de componentes. Essa técnica é denominada, por alguns autores, de Programação Orientada a Atributos. Linguagens como Java e C# já oferecem suporte nativo a esta técnica através das Anotações. O objetivo desta dissertação é investigar a adoção da técnica de programação orientada a atributos juntamente com uma linguagem orientada a objetos para construção de aplicações baseadas em componentes. Como parte do estudo, foi desenvolvido um novo mecanismo de programação baseado em atributos para a versão Java do middleware SCS.
In component-based distributed systems, the use of object-oriented programming languages is very common to define, through frameworks, programming interfaces for building and using components. However, most programming models that follow this approach, use the own object-oriented language concepts, such as classes and interfaces, to define a programming interface that follows a component-oriented paradigm. As a consequence, the source code mixes component functionality aspects with the programming model specific implementation mechanisms, what prevents the reuse of this component in other frameworks, and moreover, includes an extra complexity in the source code. Recently, a tendency to the addition of meta-data to the component implementation has been observed, by the use of specific markings on the source code. These meta-data provide the necessary information for tools, based on code generation or based on reflection mechanisms, to perform the integration of the component implementation with the component model’s infrastructure support. Some authors call this technique as Attribute-Oriented Programming. Languages as Java and C# already provide native support to this technique through Annotations. The goal of this dissertation is investigate the adoption of the attribute-oriented programming technique with object-oriented languages to build components based applications. As part of the research, we developed a new programming mechanism based on attributes to the Java version of the middleware SCS.

APA, Harvard, Vancouver, ISO, and other styles

30

Wu, Xiaoqing. "Component-based language implementation with object-oriented syntax and aspect-oriented semantics." Birmingham, Ala. : University of Alabama at Birmingham, 2007. http://www.mhsl.uab.edu/dt/2007p/wu.pdf.

Full text

Abstract:

Thesis (Ph. D.)--University of Alabama at Birmingham, 2007.
Additional advisors: Jeff Gray, Marjan Mernik, Alan Sprague, Murat Tanik. Description based on contents viewed June 25, 2007; title from title screen. Includes bibliographical references (p. 132-138).

APA, Harvard, Vancouver, ISO, and other styles

31

Dubois-Pélerin, Yves-Dominique Dubois-Pèlerin Yves-Dominique. "Object-oriented finite elements : programming concepts and implementation /." Lausanne : EPFL, 1992. http://library.epfl.ch/theses/?nr=1026.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Spanou, Maria N. "Object-oriented programming in river water quality control." Thesis, University of Ottawa (Canada), 1995. http://hdl.handle.net/10393/10119.

Full text

Abstract:

In the present work object-oriented analysis and design have been applied for the quality management of river systems. The physical entities of the river system, as well as the conceptual entities for the flow and water quality analysis, the simulation and the pollution control strategies, have been represented through objects. By distributing appropriate responsibilities to these objects, daily low flows of the river gauge stations can be estimated for a duration of seven and thirty days and a recurrence interval of twenty years. Based on these flows optimum windows for the whole system and minimum daily flows of the river gauge stations can be also estimated. The minimum daily flows of each point of the river system can be provided. These are the design river flows for the management study. A simple statistical analysis of water quality in the river and the effluent of the plants can be also performed and the background concentrations of major constituents can be estimated. The simulation of water quality in the system can be also performed based on the design conditions of the study. Control strategies for the improvement of water quality can be finally applied and an optimized discharge scheme can be suggested. (Abstract shortened by UMI.)

APA, Harvard, Vancouver, ISO, and other styles

33

Zhao, Qin. "Implementation of an object-oriented intensional programming system." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp01/MQ35547.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Breu, Ruth. "Algebraic specification techniques in object oriented programming environments /." Berlin [u.a.] : Springer, 1991. http://www.loc.gov/catdir/enhancements/fy0815/91041553-d.html.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Melendez, Rafael Ramirez. "A logic-based concurrent object-oriented programming language." Thesis, University of Bristol, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.337487.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

PALMA, Giovanny Fernando Lucero. "Algebraic laws for object oriented programming with references." Universidade Federal de Pernambuco, 2015. https://repositorio.ufpe.br/handle/123456789/14930.

Full text

Abstract:

Submitted by Isaac Francisco de Souza Dias (isaac.souzadias@ufpe.br) on 2016-01-19T17:04:34Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) GIovannyTesis.pdf: 1126817 bytes, checksum: 54a975f083d8ea416057bffa468c281c (MD5)
Made available in DSpace on 2016-01-19T17:04:34Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) GIovannyTesis.pdf: 1126817 bytes, checksum: 54a975f083d8ea416057bffa468c281c (MD5) Previous issue date: 2015-03-16
CAPES
CNPq
There are several approaches to defining a formal semantics of a programming language. The main established ones are operational, denotational and axiomatic semantics. The first two rely on defining an explicit model, whereas the latter one is based on postulating relevant properties of the language in terms of axioms. Particularly, in a purely algebraic approach the axioms take the form of conditional equations (typically denoted as programming laws) that relate the language constructs. Without requiring an explicit model, the advantage of the algebraic approach is incrementality: the language can be extended and the laws tend to remain valid, provided the new constructs do not interfere with the behaviour of the original ones. Algebraic laws have been proposed to uncover interesting properties of several programming paradigms: imperative, logic, functional, concurrent and object oriented, among others. As for the other paradigms, there is a comprehensive set of laws for object oriented constructs, but these are restricted to a language with copy semantics; some laws to deal with references have also been proposed, but these are tailored to specific applications, and are far from being comprehensive. In general, formal reasoning with references has been a persistent challenge and algebraic approaches usually have avoided including them in programming languages. We propose a set of algebraic laws for reasoning about object oriented programs with a reference semantics. First we focus on sequential imperative programs that use object references like in Java. The theory is based on previous work by adding laws to cope with object references. The incrementality of the algebraic method is fundamental; with a few exceptions, existing laws for copy semantics are entirely reused, as they are not affected by the reference semantics. As an evidence of relative completeness, we show that any program can be transformed, through the use of our laws, to a normal form which simulates it using an explicit heap with copy semantics. Soundness is addressed by illustrating how some of the laws can be proved in a relational semantics for a subset of the language. We extend the theory of imperative programs for an object oriented language with the usual constructs: additional imperative commands with references, classes with inheritance and subtyping, visibility control, dynamic binding, type tests and downcasts. Algebraic laws are proposed for these new constructs. In order to illustrate the expressiveness of the laws for the object oriented language, we characterize and prove a set of refactorings from Fowler’s catalog. These are contrasted with previous work that formalized refactorings in the context of copy semantics.
Existem várias abordagens para descrever formalmente a semântica de linguagens de programação. As principais são semântica operacional, denotacional e axiomática. As duas primeiras definem modelos semânticos explícitos enquanto a última postula axiomas que descrevem propriedades relevantes da linguagem. Em uma abordagem puramente algébrica, os axiomas são equações (tipicamente denominadas leis de programação) que relacionam os diversos construtores da linguagem. A vantagem da álgebra é a facilidade de extensão: quando uma linguagem é estendida, a tendencia é que as leis já estabelecidas continuem sendo válidas, desde que os novos contrutores não interfiram com o comportamento dos construtores originais da linguagem Leis algébricas tem sido propostas para estudar propriedades interessantes de vários paradigmas de programação: imperativo, lógico, funcional, concorrente e orientado a objetos, entre outros. Em geral, para todos estes paradigmas existe um conjunto representativo de leis. Porém, para programação orientada a objetos, os trabalhos tem se restringido a linguagens com semântica de cópia ou as leis relacionadas com referências tem sido direcionadas somente para aplicações específicas e estão distantes de serem representativas. Em geral, raciocínio formal com referências tem sido um desafio persistente e os trabalhos algébricos usualmente tem evitado a inclusão de referências nas linguagens de programação. Propomos um conjunto de leis algébricas que permitem raciocinar com programas orientados a objetos com uma semântica de referências. Primeiro, focamos em uma linguagem imperativa sequencial que usa referências a objetos como em Java. A teoria é baseada em trabalhos anteriores adicionando leis que lidam com referências. A facilidade de extensão do método algébrico é fundamental; com poucas exeções, as leis anteriores para semântica de cópia são reusadas, pois elas não são afetadas pela semântica de referência. Como uma evidência de completude relativa, mostramos que qualquer programa pode ser transformado, usado as leis, em uma forma normal que simula o programa original usando um heap explícito com semântica de cópia. A consistência (soundness) das leis é abordada ilustrando como algumas das leis podem ser provadas em uma semântica relacional para um subconjunto da linguagem. Estendemos a teoria de programas imperativos para uma linguagem orientada a objetos com os habituais construtores: comandos imperativos adicionais com referências, classes com herança e subtipos, controle de visibilidade, amarração dinâmica, e testes e casts de tipos. Leis são propostas para estes novos construtores. Para ilustrar a expressividade das leis para a linguagem orientada a objetos, caracterizamos e provamos um conjunto de refatorações do catalógo clássico de Fowler. Comparamos nossa apresentação com trabalhos anteriores que formalizaram refatorações em um contexto de semântica de cópia.

APA, Harvard, Vancouver, ISO, and other styles

37

Theologitis, Vassilios. "Private and shared data in object-oriented programming." Thesis, Monterey, Calif. : Naval Postgraduate School, 1992. http://handle.dtic.mil/100.2/ADA253070.

Full text

Abstract:

Thesis (M.S. in Computer Science)--Naval Postgraduate School, March 1992.
Thesis Advisor: Nelson, Michael L. "March 1992." Includes bibliographical references (p. 158-161). Also available in print.

APA, Harvard, Vancouver, ISO, and other styles

38

Li, Yibing. "Making navigation easier in object-oriented programming systems." Thesis, Open University, 1992. http://oro.open.ac.uk/56452/.

Full text

Abstract:

It has been reported that non-expert users have difficulties in finding reusable software components in large object-oriented programming systems and there is a need for help tools. The research reported in this thesis addresses this issue. Described in this thesis is the design of a tool called BRRR, which aims to help non-expert users overcome such difficulties. It is developed for Smalltalk-80, the target system of this research. BRRR is a query tool with a browsing capacity. It allows users to find necessary components by query. Its design is based on the 'retrieval by reformulation' paradigm (Williams, 1984) which was originally used in the domain of information retrieval. This paradigm allows users to incrementally specify a query by reformulation. When users specify an initial query, BRRR presents the users with an example component which satisfies the query. The users can then construct further queries by using the information presented by the system. In this way, users who are not familiar with the system or who do not know exactly what they want can be guided towards the appropriate information. During this research, two versions of BRRR were developed: BRRRl and BRRR2. BRRRl was developed initially, based on the 'retrieval by reformulation' principle. After its implementation, a formative, empirical evaluation was conducted on it with a group of users. Based on the findings of the evaluation, BRRR2, an improved version of BRRR1 was developed. BRRR2 incorporates enhanced classification methods and explanation facilities. This new version of the tool was then evaluated empirically with a group of ten users. The empirical evaluation of BRRR2 showed encouraging results. It demonstrates that the 'retrieval by reformulation' approach used in this research could be used successfully in helping users find reusable software components in object-oriented programming systems.

APA, Harvard, Vancouver, ISO, and other styles

39

Shield, Jamie Barry Nathan. "Towards an object-oriented refinement calculus /." St. Lucia, Qld, 2004. http://www.library.uq.edu.au/pdfserve.php?image=thesisabs/absthe17862.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Desmond, Lewis. "Towards object-oriented software architecture reuse." Thesis, University of Essex, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.241200.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Atkins, Martin Charles. "Implementation techniques for object-oriented systems." Thesis, University of York, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.329676.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Smith, Michael Philip. "Runtime visualisation of object-oriented software." Thesis, Durham University, 2003. http://etheses.dur.ac.uk/3732/.

Full text

Abstract:

Software is a complex and invisible entity, yet one which is core to modem life. The development and maintenance of such software includes one staple task, the need to understand the software at the implementation level. This process of program comprehension is difficult and time consuming. Yet, despite its importance, there remains very limited tool support for program comprehension activities. The results of this research show the role that runtime visualisation can play in aiding the comprehension of object-oriented software by highlighting both its static and dynamic structure. Previous work in this area is discussed, both in terms of the representations used and the methods of extracting runtime information. Building on this previous work, this thesis develops new representations of object-oriented software at runtime, which are then implemented in a proof of concept tool. This tool allowed the representations to be investigated on real software systems. The representations are evaluated against two feature-based evaluation frameworks. The evaluation focuses on generic software visualisation criteria, due to the lack of any specific frameworks for visualising dynamic information. The evaluation also includes lessons learnt in the implementation of a prototype visualisation tool. The object-oriented paradigm continues to grow in popularity and provides advantages to program comprehension activities. However, it also brings a number of new challenges to program comprehension due to the discrepancies between its static definition and its runtime structure. Therefore, techniques that highlight both the static definition and the runtime behaviour of object-oriented systems offer benefits to their comprehension. Software visualisation offers an approach to aid program comprehension activities through providing a means to deal with the size and complexity of the software and its invisible nature. This thesis highlights the generic issues that software visualisation faces, before focusing on how the visualisation of runtime information affects these issues. Many of the issues are compounded by the dynamic nature of the information to be visualised and the explosive growth in the volume of information that this dynamism can bring. Wider results of this research have allowed the proposal of the necessary concepts that should be considered in the design and evaluation of runtime visualisations. Software visualisation at runtime is still a relatively unexplored area and there remains many research challenges within it. This thesis aims to act as a first step to addressing these challenges and aims to promote interest and future development within this area.

APA, Harvard, Vancouver, ISO, and other styles

43

Haaland, Kevin Glenn Carleton University Dissertation Computer Science. "Towards metrics for object oriented languages." Ottawa, 1992.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

44

Li, Weisheng. "Object-oriented modeling for map generalisation." Thesis, Queensland University of Technology, 1996. https://eprints.qut.edu.au/107079/1/T%28BE%26E%29%20936%20Object%20oriented%20modeling%20for%20map%20generalisation.pdf.

Full text

Abstract:

The purpose of this study is to develop a comprehensive methodology for implementing a digital map generalisation system under the object-oriented paradigm. The study is based on the consideration of the theory of map generalisation and the methodology of object-orientation. Object-oriented programming has been recognised as a better programming method for constructing complicated software systems in the sense of less expenditure and greater efficiency. It increases the potentiality to extend software systems and re-uses the resources, though it does not increase computation power. So the object-oriented paradigm is selected for modelling the map generalisation system. The research includes four parts, describing the concept of map, the requirements of a map generalisation system, the object-oriented design method, and the map generalisation system design. Three contributions of the research are: 1. A new cartographical communication model based on digital processes is given. This model is the conceptual fundament to define a static structure of the object-oriented map generalisation system. Based on this model, the map structure in the object-oriented world is defined. In this structure, the map concept is divided into three parts - logical map, graphical map, and dynamic relationships of the map. 2. A conceptual framework for map generalisation with the feature's neighbouring objects is proposed. Recently, the digital map processing is based on the single features. No neighbouring object is considered in every operation. Thus, overlays, congestions, coalescence, and other conflicts appear unexpectedly when the generalisation functions are called. To increase the efficiency in the automated map generalisation, the developed conceptual framework classifies the generalisation operations by the neighbouring relationships. A special example for the line-point relationship is discussed. 3. An object-oriented design method that puts emphasis on dynamic relationships is proposed, according to which, the generalisation tool boxes are designed. 4. Following the above, the model for designing a map generalisation system is fully described, and an example is developed which shows that the proposed method is feasible, and demonstrates the efficiency of the object-oriented paradigm.

APA, Harvard, Vancouver, ISO, and other styles

45

VanHilst, Michael. "Role oriented programming for software evolution /." Thesis, Connect to this title online; UW restricted, 1997. http://hdl.handle.net/1773/6966.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Auepanwiriyakul, Raweewan. "Inheritance Problems in Object-Oriented Database." Thesis, University of North Texas, 1989. https://digital.library.unt.edu/ark:/67531/metadc330898/.

Full text

Abstract:

This research is concerned with inheritance as used in object-oriented database. More specifically, partial bi-directional inheritance among classes is examined. In partial inheritance, a class can inherit a proper subset of instance variables from another class. Two subclasses of the same superclass do not need to inherit the same proper subset of instance variables from their superclass. Bi-directional partial inheritance allows a class to inherit instance variables from its subclass. The prototype of an object-oriented database that supports both full and partial bi-directional inheritance among classes was developed on top of an existing relational database management system. The prototype was tested with two database applications. One database application needs full and partial inheritance. The second database application required bi-directional inheritance. The result of this testing suggests both advantages and disadvantages of partial bi-directional inheritance. Future areas of research are also suggested.

APA, Harvard, Vancouver, ISO, and other styles

47

Smaragdakis, Ioannis. "Implementing large-scale object-oriented components /." Digital version accessible at:, 1999. http://wwwlib.umi.com/cr/utexas/main.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

呂伯行 and Pak-hang Lui. "Distributed object-oriented C (DOC): a strongly distributed object-oriented language for message passingconcurrent architecture." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1992. http://hub.hku.hk/bib/B31232711.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Caswell, Matthew J. A. "The action semantics of object-oriented languages." Thesis, Loughborough University, 1998. https://dspace.lboro.ac.uk/2134/28283.

Full text

Abstract:

Action Semantics is a framework for defining the semantics of languages. It is intended to be accessible to a wider audience of Computer Scientists than traditional semantics frameworks (such as Denotational Semantics). There has been little work carried out to date on the techniques required to define object-oriented languages with Action Semantics. The work presented in this thesis examines four potential approaches to defining the Action Semantics of object-oriented languages. In order to illustrate the four approaches a simple language EIL (Example Inheritance Language) is given, and described using these four approaches. The language Smalltalk-80 has been selected for a case study of a practical application of one of the techniques described above. It is important to be able to relate Action Semantics definitions of object-oriented languages to similar definitions given in other frameworks. It is described how this can be achieved. An example is given for the Action Semantics and Denotational Semantics of Smalltalk. This thesis concludes that it is feasible to produce Action Semantics definitions of object-oriented languages.

APA, Harvard, Vancouver, ISO, and other styles

50

Nguyen, Phung Hua Computer Science &amp Engineering Faculty of Engineering UNSW. "Static analysis for incomplete object-oriented programs." Awarded by:University of New South Wales. School of Computer Science and Engineering, 2005. http://handle.unsw.edu.au/1959.4/24228.

Full text

Abstract:

Static analysis is significant since it provides the information about the run- time behaviour of an analysed program. Such information has many applications in compiler optimisations and software engineering tools. Interprocedural anal- ysis is a form of static analysis, which can exploit information available across procedure boundaries. The analysis is traditionally designed as whole-program analysis, which processes the entire program. However, whole-program analysis is problematic when parts of the analysed program are not available to partici- pate in analysis. In this case, a whole-program analysis has to make conservative assumptions to be able to produce safe analysis results at the expense of some possible precision loss. To improve analysis precision, an analysis can exploit the access control mechanism provided by the underlying program language. This thesis introduces a points-to analysis technique for incomplete object-oriented programs, called com- pleteness analysis, which exploits the access and modification properties of classes, methods and fields to enhance the analysis precision. Two variations of the tech- nique, compositional and sequential completeness analysis, are described. This thesis also presents a mutability analysis (MA) and MA-based side-effect analy- sis, which are based on the output of completeness analysis, to determine whether a variable is potentially modified by the execution of a program statement. The results of experiments carried out on a set of Java library packages are presented to demonstrate the improvement in analysis precision.

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!