Tesi: "Object Oriented Methods"

1

Tews, Hendrik. "Coalgebraic Methods for Object-Oriented Specification". Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2002. http://nbn-resolving.de/urn:nbn:de:swb:14-1035212977359-10343.

Testo completo

Abstract (sommario):

This thesis is about coalgebraic methods in software specification and verification. It extends known techniques of coalgebraic specification to a more general level to pave the way for real world applications of software verification. There are two main contributions of the present thesis: 1. Chapter 3 proposes a generalisation of the familiar notion of coalgebra such that classes containing methods with arbitrary types (including binary methods) can be modelled with these generalised coalgebras. 2. Chapter 4 presents the specification language CCSL (short for Coalgebraic Class Specification Language), its syntax, its semantics, and a prototype compiler that translates CCSL into higher-order logic
Die Dissertation beschreibt coalgebraische Mittel und Methoden zur Softwarespezifikation und -verifikation. Die Ergebnisse dieser Dissertation vereinfachen die Anwendung coalgebraischer Spezifikations- und Verifikationstechniken und erweitern deren Anwendbarkeit. Damit werden Softwareverifikation im Allgemeinen und im Besonderen coalgebraische Methoden zur Softwareverifikation der praktischen Anwendbarkeit ein Stück nähergebracht. Diese Dissertation enthält zwei wesentliche Beiträge: 1. Im Kapitel 3 wird eine Erweiterung des klassischen Begriffs der Coalgebra vorgestellt. Diese Erweiterung erlaubt die coalgebraische Modellierung von Klassenschnittstellen mit beliebigen Methodentypen (insbesondere mit binären Methoden). 2. Im Kapitel 4 wird die coalgebraische Spezifikationssprache CCSL (Coalgebraic Class Specification Language) vorgestellt. Die Bescheibung umfasst Syntax, Semantik und einen Prototypcompiler, der CCSL Spezifikationen in Logik höherer Ordnung (passend für die Theorembeweiser PVS und Isabelle/HOL) übersetzt

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Ormsby, Andrew Robert Thomas. "Improving reuse in object oriented design methods". Thesis, Aberystwyth University, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.295270.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Alencar, Antonio J. S. M. de. "OOZE : an Object-Oriented Z Environment". Thesis, University of Oxford, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.239339.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Fleissner, Florian. "Parallel object oriented simulation with Lagrangian particle methods". Aachen Shaker, 2009. http://d-nb.info/1000976742/04.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Liang, Ying. "A framework for assessing object-oriented analysis methods". Thesis, Open University, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.295047.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Moghim, Mohammad Reza. "Incorporating design patterns into object-oriented development methods". Thesis, University of Salford, 1999. http://usir.salford.ac.uk/26820/.

Testo completo

Abstract (sommario):

Object-oriented methods and design patterns provide valuable design guidance for object-oriented system development. However, they are not competitors, and in fact complement each other in many ways. The research reported in this thesis studied how to apply design patterns and object-oriented methods together to guide system development. It addresses issues such as, how methods need to be changed to accommodate the application of design patterns; how design patterns need to be adapted to fit within methods; and how the heuristics of design patterns may be brought to bear on improving methods. The thesis reports the experience of accommodating six design patterns ( Adapter, Composite, Facade, Mediator, Observer and Strategy ) from the book entitled "Design Patterns Elements of Reusable Object-Oriented Software" by E.Gamma, R. Helm, R.Johnson and J.Vlissides into certain object-oriented methods namely (Responsibility-Driven Design, Object-Oriented Software Engineering and Unified Modelling Language). This experience has been used in the work to generate a general approach for accommodating design patterns into methods. It also shows how the properties of the object-oriented methods and design patterns interact.�

Gli stili APA, Harvard, Vancouver, ISO e altri

7

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

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Farmani, Maryam. "Object-oriented expert system design TEXPERT /". Morgantown, W. Va. : [West Virginia University Libraries], 2001. http://etd.wvu.edu/templates/showETD.cfm?recnum=2054.

Testo completo

Abstract (sommario):

Thesis (M.S.)--West Virginia University, 2001.
Title from document title page. Document formatted into pages; contains xii, 121 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 118-121).

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Tokuda, Lance Aiji. "Evolving object-oriented designs with refactorings /". Digital version accessible at:, 1999. http://wwwlib.umi.com/cr/utexas/main.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Kwok, Chee Khan. "Simulation of distributed object oriented servers". Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2003. http://library.nps.navy.mil/uhtbin/hyperion-image/03Dec%5FKwok%5fC.pdf.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

11

Schmitt, Peter (Peter Alfons). "originalMachines : developing tools and methods for object-oriented mechatronics". Thesis, Massachusetts Institute of Technology, 2011. http://hdl.handle.net/1721.1/67761.

Testo completo

Abstract (sommario):

Thesis (Ph. D.)--Massachusetts Institute of Technology, School of Architecture and Planning, Program in Media Arts and Sciences, 2011.
Cataloged from PDF version of thesis.
Includes bibliographical references (p. [161]-166).
The digital revolution has fundamentally changed our lives by giving us new ways to express ourselves through digital media. For example, accessible multimedia content creation tools allow people to instantiate their ideas and share them easily. However, most of these outcomes only exist on-screen and online. Despite the growing accessibility of digital design and fabrication tools the physical world and everyday objects surrounding us have been largely excluded from a parallel explosion of possibilities to express ourselves. Increasingly, webbased services allow professional and non-professional audiences to access computer-aided manufacturing (CAM) tools like 3D-printing and laser-cutting. Nonetheless, there are few (if any) design tools and methods for creating complex mechanical assemblies that take full advantage of CAM systems. Creating unique mechatronic artifacts or "originalMachines" requires more specific and sophisticated design tools than exist today. "Object-Oriented Mechatronics" is a parametric design approach that connects knowledge about mechanical assemblies and electronics with the requirements of digital manufacturing processes. Parametric instances like gears, bearing and servos are made available as objects within a CAD environment which can then be implemented into specific projects. The approach addresses the missing link between accessible rapid-manufacturing services and currently available design tools thereby creating new opportunities for self-expression through mechatronic objects and machines. The dissertation matches mechanical components and assemblies with rapid manufacturing methods by exploring transferability of conventional manufacturing techniques to appropriate rapid manufacturing tools. I rebuild various gearing and bearing principles like four-contact point bearings, cross roller bearings, spur and helical gears, planetary gears, cycloidal and harmonic gear reducers using the laser cutter, the CNC-mill and the 3D-printer. These explorations lead to more complex assemblies such as the PlywoodServo, 3DprintedClock and 3-DoF (Degree of Freedom) Head. The lessons from these explorations are summarized in a detailed "cook book" of novel mechatronic assemblies enabled by new fabrication tools. Furthermore, I use the results to develop a CAD tool that brings together several existing software packages and plug-ins including Rhino, Grasshopper and the Firefly experiments for Arduino, which will allow animation, fabrication and control of original machines. The tool is an example of an object-oriented design approach to mechatronic assemblies. A user calls a DoF (Degree of Freedom) object (parametric servo) with specific parameters like gearing and bearing types, motor options and control and communication capabilities. The DoF object then creates the corresponding geometry which can be connected and integrated with other actuators and forms. A group of roboticists and designers participated in a workshop to test the tool and make proposals for original machines using the tool. The dissertation has contributions on multiple levels. First, the actuator assembly examples and parametric design tool present a body of novel work that illustrates the benefits of going beyond off-the-shelf actuator assemblies and kit-of-parts for robotic objects. Second, this tool and the accompanying examples enable the design of more original machines with custom actuator assemblies using the latest digital fabrication tools. Finally, these explorations illustrate how new CAD/ CAM tools can facilitate an exchange between more design-oriented users and more engineering-oriented users.
by Peter Schmitt.
Ph.D.

Gli stili APA, Harvard, Vancouver, ISO e altri

12

KUROKI, Hiroaki, e Shuichiro YAMAMOTO. "Patterned Versus Conventional Object-Oriented Analysis Methods: A Group Project Experiment". Institute of Electronics, Information and Communication Engineers, 1998. http://hdl.handle.net/2237/15019.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

13

Trussell, Larry V. "Segflow: a new object-oriented load flow which uses trace methods and affiliation objects". Diss., Virginia Tech, 1994. http://hdl.handle.net/10919/40082.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

14

Fleissner, Florian [Verfasser]. "Parallel Object Oriented Simulation with Lagrangian Particle Methods / Florian Fleissner". Aachen : Shaker, 2010. http://d-nb.info/1124364129/34.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

15

王得華 e Tak-wah Wong. "Object-oriented methods for the design of automated manufacturing systems". Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1998. http://hub.hku.hk/bib/B29900025.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

16

Wong, Tak-wah. "Object-oriented methods for the design of automated manufacturing systems". Hong Kong : University of Hong Kong, 1998. http://sunzi.lib.hku.hk/hkuto/record.jsp?B19471208.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

17

Sells, Chris. "Bridging object models : the faux-object idiom /". Full text open access at:, 1997. http://content.ohsu.edu/u?/etd,281.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

18

Cox, Jeffrey A. "Applying design metrics to object-oriented systems". Virtual Press, 1997. http://liblink.bsu.edu/uhtbin/catkey/1048369.

Testo completo

Abstract (sommario):

There are two popular approaches when developing a software system, the first being System Analysis/System Design (SA/SD) and the second being an Object-Oriented (00) approach. In either approach a poor design inevitably produces a poor application. Thus, being able to evaluate the quality of a systems design is advantageous.The Design Metrics Research Team at Ball State University has developed metrics that measure the quality of software systems. From this research the metric D(G) (a composite of the metrics De and D) has been shown to be very effective when used to determine fault prone modules in a system. However, D(G) has been primarily applied to systems developed using the SA/SD approach. This thesis translated D(G) to an 00 setting and empirically evaluated D(G) to determine if D(G) is a good predictor of error-prone classes. The results indicate that De and Di are indeed good predictors of error-prone classes. Of the classes highlighted by De, 67% had errors, while 100% of the classes highlighted by D; had errors.
Department of Computer Science

Gli stili APA, Harvard, Vancouver, ISO e altri

19

Woyak, Scott A. "A motif-like object-oriented interface framework using PHIGS". Thesis, This resource online, 1992. http://scholar.lib.vt.edu/theses/available/etd-09052009-040824/.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

20

Frederickson, Clint Michael. "Object mapping with Java annotations". Thesis, Montana State University, 2005. http://etd.lib.montana.edu/etd/2005/frederickson/FredericksonC0505.pdf.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

21

Gibson, J. Paul. "Formal object oriented development of software systems using LOTOS". Thesis, University of Stirling, 1993. http://hdl.handle.net/1893/24014.

Testo completo

Abstract (sommario):

Formal methods are necessary in achieving correct software: that is, software that can be proven to fulfil its requirements. Formal specifications are unambiguous and analysable. Building a formal model improves understanding. The modelling of nondeterminism, and its subsequent removal in formal steps, allows design and implementation decisions to be made when most suitable. Formal models are amenable to mathematical manipulation and reasoning, and facilitate rigorous testing procedures. However, formal methods are not widely used in software development. In most cases, this is because they are not suitably supported with development tools. Further, many software developers do not recognise the need for rigour. Object oriented techniques are successful in the production of large, complex software systems. The methods are based on simple mathematical models of abstraction and classifi cation. Further, the object oriented approach offers a conceptual consistency across all stages of software development. However, the inherent flexibility of object oriented approaches can lead to an incremental and interactive style of development, a consequence of which may be insuffi cient rigour. This lack of rigour is exacerbated by the inconsistent and informal semantics for object oriented concepts at all stages of development. Formal and object oriented methods are complementary in software development: object oriented methods can be used to manage the construction of formal models and formality can add rigour to object oriented software development. This thesis shows how formal object oriented development can proceed from analysis and requirements capture to design and implementation. A formal object oriented analysis language is defined in terms of a state transition system semantics. This language is said to be customer-oriented: a number of graphical views of object oriented relations in the formal analysis models are presented, and the specifi cations produced say what is required rather than how the requirements are to be met. A translation to ACT ONE provides an executable model for customer validation. This translation is founded on a precise statement of the relationship between classes and types (and subclassing and subtypes). The structure of the resulting ACT ONE requirements model corresponds to the structure of the problem domain, as communicated by the customer. The step from analysis to design requires an extension to the requirements model to incorporate semantics for object communication. A process algebra provides a suitable formal model for the specifi cation of communication properties. LOTOS, which combines ACT ONE and a process algebra in one coherent semantic model, provides a means of constructing object oriented design semantics. Design is de fined as the process of transforming a customer-oriented requirements model to an implementation-oriented design, whilst maintaining correctness. Correctness preserving transformations (CPTs) are defined for: transferring requirements structure to design structure, manipulating design structure and changing internal communication models. Design must be targetted towards a particular implementation environment. The thesis examines a number of different environments for the implementation of object oriented LOTOS designs. It illustrates the importance of understanding programming language semantics. We show how Eiffel can be used to implement formal object oriented designs. A case study which evaluates the formal object oriented models and methods, developed in this thesis, is reported. This identifi es re-use at all stages of software development and emphasises the role of structure: it improves understanding and communication, and makes validation and veri fication easier and better. The thesis shows that formal object oriented technology is ready for transfer to industry. These methods should be exploited sooner rather than later: object oriented development can incorporate formal methods without signi ficant cost, and formal methods can utilise the object oriented paradigm to manage complexity. The thesis provides a rationale for formal object oriented development and a set of conceptual tools which makes the development of software systems a true engineering discipline.

Gli stili APA, Harvard, Vancouver, ISO e altri

22

Charatan, Quentin. "A unified systems development paradigm which synthesises Object-Oriented Methodologies and VDM". Thesis, London South Bank University, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.336382.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

23

Bennett, Janette E. "Conceptual and application issues in the implementation of object-oriented GIS". Morgantown, W. Va. : [West Virginia University Libraries], 2003. http://etd.wvu.edu/templates/showETD.cfm?recnum=2894.

Testo completo

Abstract (sommario):

Thesis (M.A.)--West Virginia University, 2003.
Title from document title page. Document formatted into pages; contains vii, 68 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 56-57).

Gli stili APA, Harvard, Vancouver, ISO e altri

24

Gupta, Vikas. "Development of an object-oriented modeling environment for prototyping heterogeneous simulation models". Thesis, Virginia Tech, 1990. http://hdl.handle.net/10919/42133.

Testo completo

Abstract (sommario):

Computer simulation modeling is currently the most flexible method of manufacturing system analysis. Unfortunately, current simulation frameworks do not support the modular specification of homogeneous and heterogeneuos models.

A Simulation Program Generator (SPG) for prototyping heterogeneuos simulation models is developed. Objects in the model represent elements within a flexible assembly system. These elements are the robot, the conveyor, the part, the schedule plan and the robot program. These objects were modeled using the GIBSS simulation framework.

A model base and an user interface is developed to allow the construction and execution of simulation models. Instances of the objects are created and stored into the model base. These are retrieved later to construct a model The user interface is provided with an extensive set of tools for model creation and execution. Icons. representing objects, are selected and placed on the terminal screen and then connected together by interaction lines to create the complete model. The attributes of the objects can be altered and viewed on their respective panes.

The SPG is a step forward in the development of computer-aided manufacturing system design environments for prototyping heterogeneous models. It allows the rapid generation and execution of simulation models.

Master of Science

Gli stili APA, Harvard, Vancouver, ISO e altri

25

Salt, John D. "The specification of interactive behaviour patterns in object-oriented discrete-event simulation modelling". Thesis, Brunel University, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.286822.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

26

Sjahputera, Ozy. "Object registration in scene matching based on spatial relationships /". free to MU campus, to others for purchase, 2004. http://wwwlib.umi.com/cr/mo/fullcit?p3144457.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

27

NORONHA, MARCOS AURELIO MARQUES. "ADVANCED NUMERICAL INTEGRATION TECHNIQUES AND OBJECT ORIENTED PROGRAMMING APPLIED TO BOUNDARY ELEMENT METHODS". PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 1998. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=2060@1.

Testo completo

Abstract (sommario):

CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO
DEUTSCHER AKADEMISCHER AUSTAUSCHDIENST
Em análises efetuadas através de Métodos de Elementos de Contorno, o procedimento de integração exerce um papel fundamental, já que faz-se necessária a avaliação de integrais singulares e quase-singulares que introduzem erros numéricos nos resultados quando não são devidamente avaliadas. Nos últimos anos, vários pesquisadores sugeriram diferentes técnicas de integração para tratar os problemas de integração de uma forma adequada. Este trabalho inicia apresentando alguns conceitos básicos e uma revisão bibliográfica das principais técnicas sugeridas. Em seguida, apresenta-se uma técnica de integração unificada, que possui uma forma simples e oferece resultados com excelente precisão. A técnica proposta foi aplicada para integrais singulares ou quase- singulares possuindo pólos simples ou múltiplos, sendo que tanto integrais unidimensionais quanto integrais bidimensionais foram consideradas.Paralelamente ao estudo das integrais, foi desenvolvido um programa computacional em linguagem orientada a objetos (C++), destinado a implementar simultaneamente a formulação convencional e as formulações híbridas dos Métodos de Elementos de Contorno. Da forma em que foi planejado, a implementação suporta diferentes aplicações de análises de engenharia. Este programa resultou de um trabalho conjunto realizado com pesquisadores da Universidade de Stuttgart. Por fim, apresentam-se diversos exemplos numéricos e resultados de análises, ressaltando o bom desempenho da técnica proposta e a influência do procedimento de integração em análises através de Métodos de Elementos de Contorno.
In Boundary Element Method analysis, the integration procedure is one of the most important tasks, since one has to deal with singular and quasi-singular integrals which introduce numerical errors in the results, if they are not evaluated adequately. In the last years, several researchers have suggested different techniques with the aim of handling the problem adequately. This work begins presenting some basic concepts and a review of the most important work published before. Following, it introduces a unified integration technique which has a simple form and provides highly accurate results. The proposed scheme also deals with one- or two-dimensional singular or quasi- singular integrals having single or multiple poles. Besides the study of the integrals, a computational code was developed using an objectoriented computer language (C++). This code takes into account the conventional and hybrid formulations of the Boundary Element Method and supports different types of engineering analysis. This computer program was developed in a frame of a joint project with some researchers from the University of Stuttgart.Finally, several numerical examples and analysis results are displayed, showing the good performance of the proposed technique and the influence of the integration task in analysis using Boundary Element Methods.

Gli stili APA, Harvard, Vancouver, ISO e altri

28

Huang, Yueh-Min. "Knowledge-based generation of design model structures: Towards an object-oriented, multiprocessing architecture". Diss., The University of Arizona, 1991. http://hdl.handle.net/10150/185353.

Testo completo

Abstract (sommario):

The purpose of the research is to develop more efficient frameworks for supporting design model development. The evolution of these frameworks has occurred in two areas: (1) knowledge representation schemes for the design model and (2) procedures for model structure generation. The original representation scheme for the design model was the System Entity Structure (SES). The SES was subsequently enhanced by other representation schemes to create FRASES (Frame & Rules Associated SES). Furthermore, FRASES was further converted into object-oriented representation. The procedures for manipulating the above representation schemes involved search, reasoning, constraint satisfaction, and message passing. Finally, a distributed approach was proposed, indicating a future trend. The methodologies offered by artificial intelligence, simulation modelling, and software engineering were adopted to support the research.

Gli stili APA, Harvard, Vancouver, ISO e altri

29

Miao, Yi. "M-Buffer, a practice of object-oriented computer graphics with UML". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape3/PQDD_0017/MQ55525.pdf.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

30

Kim, Soon-Kyeong. "A metamodel-based approach to integrate object-oriented graphical and formal specification techniques /". St. Lucia, Qld, 2001. http://www.library.uq.edu.au/pdfserve.php?image=thesisabs/absthe16467.pdf.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

31

Lo, Chih-Chung. "Using effect size in information fusion for identifying object presence and object quality /". free to MU campus, to others for purchase, 1996. http://wwwlib.umi.com/cr/mo/fullcit?p9823330.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

32

Fleming, David M. "Foundations of object-based specification design". Morgantown, W. Va. : [West Virginia University Libraries], 1997. http://etd.wvu.edu/templates/showETD.cfm?recnum=1036.

Testo completo

Abstract (sommario):

Thesis (Ph. D.)--West Virginia University, 1997.
Title from document title page. Document formatted into pages; contains xi, 161 p. : ill. Includes abstract. Includes bibliographical references (p. 158-161).

Gli stili APA, Harvard, Vancouver, ISO e altri

33

Pamplin, Jason Andrew. "Formal Object Interaction Language: Modeling and Verification of Sequential and Concurrent Object-Oriented Software". unrestricted, 2007. http://etd.gsu.edu/theses/available/etd-04222007-205349/.

Testo completo

Abstract (sommario):

Thesis (Ph. D.)--Georgia State University, 2007.
Title from file title page. Ying Zhu, committee chair; Xiaolin Hu, Geoffrey Hubona, Roy Johnson, Rajshekhar Sunderraman, committee members. Electronic text (216 p. : ill. (some col.)) : digital, PDF file. Description based on contents viewed Nov. 29, 2007. Includes bibliographical references (p. 209-216).

Gli stili APA, Harvard, Vancouver, ISO e altri

34

Fuller, Ian James. "Development of an object-oriented handbook and a numerical methods application for steel structures". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape8/PQDD_0017/MQ48449.pdf.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

35

Shende, Sachin. "Database-driven hydraulic simulation of canal irrigation networks using object-oriented high-resolution methods". Thesis, Loughborough University, 2006. https://dspace.lboro.ac.uk/2134/14208.

Testo completo

Abstract (sommario):

Canal hydraulic models can be used to understand the hydraulic behaviour of large and complex irrigation networks at low cost. A number of computational hydraulic models were developed and tested in the early 1970s and late 80s. Most were developed using finite difference schemes and procedural programming languages. In spite of the importance of these models, little progress was made on improving the numerical algorithms behind them. Software development efforts were focused more on developing the user interface rather than the core algorithm. This research develops a database-driven, object-oriented hydraulic simulation model for canal irrigation networks using modern high-resolution shock capturing techniques that are capable of handling variety of flow situations which includes trans-critical flow, shock propagation, flows through gated structures and channel networks. The technology platforms were carefully selected by taking into account a multi-user support and possible migration of the new software to a web-based one which integrates a Java-based object-oriented model with a relational database management system that is used to store network configuration and simulation parameters. The developed software is tested using a benchmark test suite formulated jointly by the Department for Environment, Food and Rural Affairs (DEFRA) and the Environment Agency (EA). A total of eight tests (seven of them adapted from the DEFRAjEA benchmark suite) were run and results compiled. The developed software has outperformed ISIS, REC-RAS and MIKE 11 in three of the benchmark tests and equally well for the other four. The outcome of this research is therefore a new category in hydraulic simulation software that uses modern shock-capturing methods fully integrated with a configurational relational database that has been fully evaluated and tested.

Gli stili APA, Harvard, Vancouver, ISO e altri

36

Fuller, Ian James Carleton University Dissertation Engineering Civil and Environmental. "Development of an object oriented handbook and a numerical methods application for steel structures". Ottawa, 1999.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

37

Huber, Stephen L. "An Investigation of the Relationships Between Workflow and The Implementation of Object-Oriented Methods". NSUWorks, 2003. http://nsuworks.nova.edu/gscis_etd/597.

Testo completo

Abstract (sommario):

In this study the problem of combining workflow automation technologies and object-oriented (00) methodologies has been analyzed. The problem has been studied from the perspective of information technology professionals working in large business enterprises. In order to secure information about the topic, a survey instrument was sent to representatives of these large business enterprises. In this survey the researcher asked questions related to the size of the companies involved, the attitudes of the information technology professionals and associated managers toward workflow and 00, and the amount of financial commitment by the enterprises to promote and integrate workflow and 00 within the respective companies. Once the information was gathered from the surveys, a statistical analysis was conducted to establish whether the hypotheses as stated within this study were accepted or rejected. After the analysis was completed, the results were documented as shown in this document. Two groups were considered during the study. Group I consisted of information technology professionals who use workflow automation technologies and object-oriented methodologies together. Group 2 consisted of information technology professionals who use workflow automation technologies without the benefit of object-oriented methodologies. The researcher concluded that, regarding the perceptions of group I and group 2, there was no statistically significant difference between the perceptions of the two groups when considering object-oriented methodologies and workflow automation technologies for items related to budget, training, and software maintenance. Likewise, there was no statistically significant difference between the two groups related to perceived benefits, operational results and problem resolution. Conversely, the researcher concluded that the size of the information technology staff, the number of manufacturing process jobs and the number of administrative process jobs had no effect on the perceptions of the two groups regarding object-oriented methodologies and workflow automation technologies. Recommendations found within this study include standardizing object management techniques and reusability approaches, developing a workflow automation process prototype and exploring the combination of artificial intelligence techniques and workflow automation technologies.

Gli stili APA, Harvard, Vancouver, ISO e altri

38

Phelps, John. "Knowledge-Based Task Structure Planning for an Information Gathering Agent". Fogler Library, University of Maine, 2003. http://www.library.umaine.edu/theses/pdf/phelpsJ2003.pdf.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

39

Rogers, Craig N. "Object-oriented design of an automated calibration system for an analog I/O process control device". [Denver, Colo.] : Regis University, 2006. http://165.236.235.140/lib/CRogers2007.pdf.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

40

Lu, Huanqing. "Implementation of an advanced transaction model for an integrated computing environment for building construction". [Gainesville, Fla.] : University of Florida, 2002. http://purl.fcla.edu/fcla/etd/UFE1000138.

Testo completo

Abstract (sommario):

Thesis (M.S.)--University of Florida, 2002.
Title from title page of source document. Document formatted into pages; contains x, 75 p.; also contains graphics. Includes vita. Includes bibliographical references.

Gli stili APA, Harvard, Vancouver, ISO e altri

41

Zhang, Xiaobing. "A rigorous approach to comparison of representational properties of object-oriented analysis and design methods". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/nq22506.pdf.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

42

Cook, Sean Christopher Umphress David A. "Regressing object-oriented principles to achieve performance gains on the Java Platform, Micro edition". Auburn, Ala., 2006. http://repo.lib.auburn.edu/2006%20Fall/Theses/COOK_SEAN_42.pdf.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

43

Nova, Luis. "A Formalization of an Extended Object Model Using Views". Thesis, University of Waterloo, 2000. http://hdl.handle.net/10012/1130.

Testo completo

Abstract (sommario):

Reuse of software designs, experience and components is essential to making substantial improvements in software productivity, development cost, and quality. However, the many facets of reuse are still rarely used in the various phases of the software development lifecycle because of a lack of adequate theories, processes, and tools to support consistent application of reuse concepts. There is a need for approaches including definitions, models and properties of reuse that would provide explicit guidance to a software development team in applying reuse. In particular there is a need to provide abstractions that clearly separate the various functional concerns addressed in a software system. Separating concerns simplifies the identification of the software components that can benefit from reuse and can provide guidance on how reuse may be applied. In this thesis we present an extended model related to the separation of concerns in object-oriented design. The model, called views, indicates how an object-oriented design can be clearly separated into objects and their corresponding interfaces. In this model objects can be designed so that they are independent of their environment, because adaptation to the environment is the responsibility of the interface or view. The view can be seen as expressing the semantics for the 'glue' that joins components or objects together to create a software system. Informal versions of the views model have already been successfully applied to operational and commercial software systems. The objective of this thesis is to provide the views notion with a theoretical foundation to address reuse and separation of concerns. After clearly defining the views model we show the formal approach to combining the objects, interfaces (views), and their interconnection into a complete software system. The objects and interfaces are defined using an object calculus based on temporal logic, while the interconnections among object and views are specified using category theory. This formal framework provides the mathematical foundation to support the verification of the properties of both the components and the composite software system. We then show how verification can be mechanized by converting the formal version of the views model into higher-order logic and using PVS to support mechanical proofs.

Gli stili APA, Harvard, Vancouver, ISO e altri

44

Alkandari, Abdulaziz. "The advantages and cost effectiveness of database improvement methods". Thesis, Loughborough University, 2002. https://dspace.lboro.ac.uk/2134/19225.

Testo completo

Abstract (sommario):

Relational databases have proved inadequate for supporting new classes of applications, and as a consequence, a number of new approaches have been taken (Blaha 1998), (Harrington 2000). The most salient alternatives are denormalisation and conversion to an object-oriented database (Douglas 1997). Denormalisation can provide better performance but has deficiencies with respect to data modelling. Object-oriented databases can provide increased performance efficiency but without the deficiencies in data modelling (Blaha 2000). Although there have been various benchmark tests reported, none of these tests have compared normalised, object oriented and de-normalised databases. This research shows that a non-normalised database for data containing type code complexity would be normalised in the process of conversion to an objectoriented database. This helps to correct badly organised data and so gives the performance benefits of de-normalisation while improving data modelling. The costs of conversion from relational databases to object oriented databases were also examined. Costs were based on published benchmark tests, a benchmark carried out during this study and case studies. The benchmark tests were based on an engineering database benchmark. Engineering problems such as computer-aided design and manufacturing have much to gain from conversion to object-oriented databases. Costs were calculated for coding and development, and also for operation. It was found that conversion to an object-oriented database was not usually cost effective as many of the performance benefits could be achieved by the far cheaper process of de-normalisation, or by using the performance improving facilities provided by many relational database systems such as indexing or partitioning or by simply upgrading the system hardware. It is concluded therefore that while object oriented databases are a better alternative for databases built from scratch, the conversion of a legacy relational database to an object oriented database is not necessarily cost effective.

Gli stili APA, Harvard, Vancouver, ISO e altri

45

Dawson, Linda Louise 1954. "An investigation of the use of object-oriented models in requirements engineering practice". Monash University, School of Information Management and Systems, 2001. http://arrow.monash.edu.au/hdl/1959.1/8031.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

46

Rex, David Bruce. "Object Parallel Spatio-Temporal Analysis and Modeling System". PDXScholar, 1993. https://pdxscholar.library.pdx.edu/open_access_etds/1278.

Testo completo

Abstract (sommario):

The dissertation will outline an object-oriented model from which a next-generation GIS can be derived. The requirements for a spatial information analysis and modeling system can be broken into three primary functional classes: data management (data classification and access), analysis (modeling, optimization, and simulation) and visualization (display of data). These three functional classes can be considered as the primary colors of the spectrum from which the different shades of spatial analysis are composed. Object classes will be developed which will be designed to manipulate the three primary functions as required by the user and the data.

Gli stili APA, Harvard, Vancouver, ISO e altri

47

Lani, Andrea. "An object oriented and high performance platform for aerothermodynamics simulation". Doctoral thesis, Universite Libre de Bruxelles, 2008. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/210428.

Testo completo

Abstract (sommario):

This thesis presents the author's contribution

to the design and implementation of COOLFluiD,

an object oriented software platform for

the high performance simulation of multi-physics phenomena on unstructured grids. In this context, the final goal has been to provide a reliable tool for handling high speed aerothermodynamic

applications. To this end, we introduce a number of design techniques that have been developed in order to provide the framework with flexibility

and reusability, allowing developers to easily integrate new functionalities such as arbitrary mesh-based data structures, numerical algorithms (space discretizations, time stepping schemes, linear system solvers, ),and physical models.

Furthermore, we describe the parallel algorithms

that we have implemented in order to efficiently

read/write generic computational meshes involving

millions of degrees of freedom and partition them

in a scalable way: benchmarks on HPC clusters with

up to 512 processors show their effective suitability for large scale computing.

Several systems of partial differential equations,

characterizing flows in conditions of thermal and

chemical equilibrium (with fixed and variable elemental fractions)and, particularly, nonequilibrium (multi-temperature models)

have been integrated in the framework.

In order to simulate such flows, we have developed

two state-of-the-art flow solvers:

1- a parallel implicit 2D/3D steady and unsteady cell-centered Finite Volume (FV) solver for arbitrary systems of PDE's on hybrid unstructured meshes;

2- a parallel implicit 2D/3D steady vertex-centered Residual Distribution (RD) solver for arbitrary systems of PDE's on meshes with simplex elements (triangles and tetrahedra).

The FV~code has been extended to handle all

the available physical models, in regimes ranging from incompressible to hypersonic.

As far as the RD code is concerned, the strictly conservative variant of the RD method, denominated CRD, has been applied for the first time in literature to solve high speed viscous flows in thermochemical nonequilibrium, yielding some preliminary outstanding results on a challenging double cone flow simulation.

All the developments have been validated on real-life testcases of current interest in the aerospace community. A quantitative comparison with experimental measurements and/or literature has been performed whenever possible.
Doctorat en Sciences de l'ingénieur
info:eu-repo/semantics/nonPublished

Gli stili APA, Harvard, Vancouver, ISO e altri

48

Yang, Shoushen. "An investigation of modular dependencies in aspects, features and classes". Link to electronic thesis, 2007. http://www.wpi.edu/Pubs/ETD/Available/etd-052907-001341/.

Testo completo

Abstract (sommario):

Thesis (M.S.) -- Worcester Polytechnic Institute.
Keywords: conflict; precedence; dependency; feature-oriented programming; object-oriented design; aspect-oriented programming. Includes bibliographical references (p.76-78).

Gli stili APA, Harvard, Vancouver, ISO e altri

49

Stals, Jacobus Petrus. "Mapping potential soil salinization using rule based object-oriented image analysis". Thesis, Stellenbosch : University of Stellenbosch, 2007. http://hdl.handle.net/10019.1/2371.

Testo completo

Abstract (sommario):

Thesis (MSc (Geography and Environmental Studies))--University of Stellenbosch, 2007.
Soil salinization is a world wide environmental problem affecting plant growth and agricultural yields. Remote sensing has been used as a tool to detect and/or manage soil salinity. Object-oriented image analysis is a relatively new image analysis technique which allows analysis at different hierarchical scales, the use of relationships between objects and contextual information in the classification process, and the ability to create a rule based classification procedure. The Lower Orange River in South Africa is a region of successful irrigation farming along the river floodplain but also with the potential risk of soil salinization. This research attempted to detect and map areas of potential high soil salinity using digital aerial photography and digital elevation models. Image orthorectification was conducted on the digital aerial photographs. The radiometric variances between photographs made radiometric calibration of the photographs necessary. Radiometric calibration on the photographs was conducted using Landsat 7 satellite images as radiometric correction values, and image segmentation as the correction units for the photographs. After radiometric calibration, object-oriented analysis could be conducted on one analysis region and the developed rule bases applied to the other regions without the need for adjusting parameters. A rule based hierarchical classification was developed to detect vegetation stress from the photographs as well as salinity potential terrain features from the digital elevation models. These rule bases were applied to all analysis blocks. The detected potential high salinity indicators were analyzed spatially with field collected soil data in order to assess the capability of the classifications to detect actual salinization, as well as to assess which indicators were the best indicators of salinity potential. Vegetation stress was not a good indicator of salinity as many other indicators could also cause vegetation stress. Terrain indicators such as depressions in the landscape at a micro scale were the best indicators of potential soil salinization.

Gli stili APA, Harvard, Vancouver, ISO e altri

50

Kerfoot, Eric D. "Formal relationships in sequential object systems". Thesis, University of Oxford, 2010. http://ora.ox.ac.uk/objects/uuid:63ed35ee-5ad5-4b8f-858d-fe3868700ed0.

Testo completo

Abstract (sommario):

Formal specifications describe the behaviour of object-oriented systems precisely, with the intent to capture all properties necessary for correctness. Relationships between objects, and in a broader sense the relationship between whole components, may not be adequately captured by specifications. One critical component of specifications having a role in relationships are invariants which define a constraint between multiple objects. If an object's invariant relies on external objects for its conditions, correct operations which abide by their specifications modifying these external objects may violate the constraint. Such an invariant defines a relationship between multiple objects which is unsound since it does not adequately describe the responsibilities which the objects in the relationship have to each other. The root cause of this correctness loophole is the failure of specifications to capture such relationships adequately as well as their correctness requirements. This thesis addresses this shortcoming in a number of ways, both for individual objects in a sequential environment, and between concurrent components which are defined as specialized object types. The proposed Colleague Technique [29] defines sound invariants between two object types using classical Design-by-Contract [35] methodologies. Additional invariant conditions introduced through the technique ensure that no correct operation may produce a post-state which does not satisfy all invariants satisfied by the pre-state. Relationships between objects, as well as their correct specification and management, are the subjects of this thesis. Those relationships between objects which can be described by invariants are made sound with the Colleague Technique, or the lightweight ownership type system that accompanies it. Behavioural correctness beyond these can be addressed with specifications in a similar manner to sequential systems without concurrency, in particular with the use of runtime assertion checking [11].

Gli stili APA, Harvard, Vancouver, ISO e altri

Tesi sul tema "Object Oriented Methods"

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili