Dissertations / Theses: 'Object-oriented system development'

1

Ross, Marlene Maria. "Unity-inspired object-oriented concurrent system development." Pretoria : [s.n.], 2006. http://upetd.up.ac.za/thesis/available/etd-02242006-115239/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Carroll, Don, Craig Miller, and Don Nickens. "An Object-Oriented Systems Analysis and Design Technique for Telemetry Systems." International Foundation for Telemetering, 1995. http://hdl.handle.net/10150/611496.

Full text

Abstract:

International Telemetering Conference Proceedings / October 30-November 02, 1995 / Riviera Hotel, Las Vegas, Nevada
Object Oriented techniques have been successfully applied to all phases of software development including Requirements Analysis, Design, and Implementation. There has been some reluctance to extend the Object paradigm into the System Analysis, Architecture Development, and System Design phases. This is due to reasons generally related to technology immaturity and concerns with applicability. Telemetry systems in particular appear to be somewhat slow in embracing object technology. The Range Standardization and Automation program has integrated proven techniques to successfully produce an Object-oriented Systems Model. This paper presents the techniques and benefits.

APA, Harvard, Vancouver, ISO, and other styles

3

Weng, Weimin. "A software framework method for network management system development." Thesis, University of Reading, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.358208.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Wilkinson, S. P. "Development of flexible manufacturing system control algorithms using simulation tools and techniques." Thesis, Leeds Beckett University, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.358558.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Vallius, T. (Tero). "An embedded object approach to embedded system development." Doctoral thesis, University of Oulu, 2009. http://urn.fi/urn:isbn:9789514292941.

Full text

Abstract:

Abstract Building an embedded system from an idea to a product is a slow and expensive process requiring a lot of expertise. Depending on the developer’s expertise, the required quantity and price level of the final product, and the time and money available for development, the developer can build a device from different granularity of components, ranging from ready-made platforms, kits, and modules to individual components. Generally, solutions requiring less expertise, time and money produce products with higher production costs. The main contribution of this thesis is the EOC (Embedded Object Concept) and Atomi II Framework. EOC utilizes common object-oriented methods used in software by applying them to small electronic modules, which create complete functional entities. The conceptual idea of the embedded objects is implemented with the Atomi II framework, which contains several techniques for making the EOC a commercially feasible implementation. The EOC and the Atomi II Framework decreases the difficulty level of making embedded systems by enabling a use of ready-made modules to build systems. It enables automatic conversion of a device made from such modules into an integrated PCB, lowering production costs compared to other modular approaches. Furthermore, it also enables an automatic production tester generation due to its modularity. These properties lower the number of skills required for building an embedded system and quicken the path from an idea to a commercially applicable device. A developer can also build custom modules of his own if he possesses the required expertise. The test cases demonstrate the Atomi II Framework techniques in real world applications, and demonstrate the capabilities of Atomi objects. According to our test cases and estimations, an Atomi based device becomes approximately 10% more expensive than a device built from individual components, but saves up to 50% time, making it feasible to manufacture up to 10-50k quantities with this approach.

APA, Harvard, Vancouver, ISO, and other styles

6

Tsang, Brian Wai-Keung. "The development of a materials and processes optimisation system for plastic product design." Thesis, University of Huddersfield, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.323758.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Egry, Eugene L. "Investigation of an information system design using a combined platform of Jackson System Development and object-oriented system development methodologies." Instructions for remote access. Click here to access this electronic resource. Access available to Kutztown University faculty, staff, and students only, 1991. http://www.kutztown.edu/library/services/remote_access.asp.

Full text

Abstract:

Thesis (M.S.)--Kutztown University of Pennsylvania, 1991.
Source: Masters Abstracts International, Volume: 45-06, page: 3184. Abstract precedes thesis as 3 preliminary leaves. Typescript. Includes bibliographical references (leaves 69-70).

APA, Harvard, Vancouver, ISO, and other styles

8

Kleen, Mitchell, Joey White, and Joseph Policella. "DEVELOPMENT OF AN OBJECT-ORIENTED SOFTWARE APPLICATION TO PROVIDE A TRANSPARENT INTERFACE BETWEEN SPACE NETWORK OBJECTS AND A TELEMETRY SYSTEM FOR TRAINING." International Foundation for Telemetering, 1994. http://hdl.handle.net/10150/608573.

Full text

Abstract:

International Telemetering Conference Proceedings / October 17-20, 1994 / Town & Country Hotel and Conference Center, San Diego, California
The Space Station Verification and Training Facility is using an object-oriented design methodology for software design, a rate monotonic scheduling and message passing system to support the highly distributed environment, and the Ada language to implement most of the software. One of the subsystems within the Space Station and Training Facility is the Space Network Simulator. Space Network simulators are used to provide training of ground controllers and flight crews, providing a model of real-world formats and protocols. This gives the controller the appearance of a real-world network, providing valuable training. To develop a simulation of the space network within this distributed environment, software objects are under development to dynamically simulate the existence of the space vehicle(s) and their communication components. Communication components include the on-board antennas, transponders, communication systems, and corresponding communication ground control facilities. Telemetry systems are used in the simulation to provide the control of actual data manipulation, as a function of the state of the simulated Space Network. The telemetry system automatically formats appropriate telemetry characteristics through mode and control commands. A software model is under development to provide a transparent interface between the software objects and the telemetry system, allowing the objects to execute without knowledge of the particular telemetry system in use. A transparent interface between the software and hardware, within this object-oriented methodology, reduces the propagation of change to software models as the interface requirements change.

APA, Harvard, Vancouver, ISO, and other styles

9

Abdalla, Hassan Shafik. "Development of a design for manufacture concurrent engineering system." Thesis, De Montfort University, 1995. http://hdl.handle.net/2086/4253.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Al-Doori, Mulhim. "Examining the development of an expert system for reliability data analysis with object oriented principles." Thesis, University of Edinburgh, 1996. http://hdl.handle.net/1842/20707.

Full text

Abstract:

The work reported in this thesis aims to explore the possibility of designing and building an expert system for statistical analysis. In particular it focuses on Reliability Data Analysis. Expert systems are Artificial Intelligence systems based on Advanced Information Technology which incorporate knowledge-based systems. They require high level problem solving strategies used by experts in consultation. Several approaches to the building of an expert system are considered. The final choice selected was based on considerations concerning the knowledge domain and reasoning processes and was based on Object-Oriented principles. A Prototype was implemented in APL2. As a background to the development of an Expert System for Reliability Data Analysis it reviews statistical expert systems including KENS and GLIMPSE. Given the desire to build a system on Object-Oriented principles a brief introduction to this field is given highlighting the major features, including examination of languages such as SMALLTALK, C++ and APL2. An evaluation of different design approaches is made. This is followed by a description of the system ARDA, APL2 Reliability Data Analysis. This description include steps in the construction, structure, concepts and facilities. The final chapter of the thesis describes suggestions for further work.

APA, Harvard, Vancouver, ISO, and other styles

11

Konrad, Sascha J. "Model-driven development and analysis of high assurance systems." Diss., Connect to online resource - MSU authorized users, 2006.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

12

Marcuzzi, Eric. "An object-oriented infrastructure for the development of a computer modeling system for electrochemical analysis and visualization." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk2/tape16/PQDD_0006/MQ30976.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Schallert, Christian [Verfasser]. "Integrated Safety and Reliability Analysis Methods for Aircraft System Development using Multi-Domain Object-Oriented Models / Christian Schallert." München : Verlag Dr. Hut, 2015. http://d-nb.info/1080754547/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Pan, Jing. "Development of ground station display and flight management system for low-cost vehicle." Thesis, Cranfield University, 2011. http://dspace.lib.cranfield.ac.uk/handle/1826/6288.

Full text

Abstract:

Nowadays, with the development of electronic and communication technologies, more and more low-cost vehicles such as small, light-weight aircraft are widely applied in all kinds of fields. Ground Station is an essential part of low cost vehicles for the operator to control and monitor the vehicles. In this thesis, Ground Station Display and Flight Management System for Low-Cost Vehicles have been developed.The major objective of this project is to design an intuitive and easy operative Human Machine Interface for displaying and monitoring the flight data and traffic information on ground. Meanwhile, a Graphic User Interface for the Flight Management System has been developed for realizing the waypoints input and flight plan for the vehicles. To fulfill this task, a low-cost hardware and software architecture is presented. Moreover, some COTS tools such as VAPS and MATLAB are applied for the software development because of their Object-Oriented and Rapid Prototype design methods. At the end of project, simulation has been done for the display HMI to test the behaviours of objects and the impacts of display. The trajectory simulation of flight management control panel is also implemented to test the waypoints creation, trajectory generation and smoothing.

APA, Harvard, Vancouver, ISO, and other styles

15

Skoglund, Pascal, and Tobias Peterson. "Development of a Simulation Platform Addressing the Digitalization of the Stockholm Healthcare System." Thesis, KTH, Skolan för kemi, bioteknologi och hälsa (CBH), 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-227193.

Full text

Abstract:

As e-Health solutions start being integrated into the healthcare system in Stockholm County, the possibility of moving monitored patients out of the hospitals and into their homes increases. Such a change in the healthcare system could require a major redistribution of resources in order to meet possible changes in resource demands. Simulations can be used in order to understand how the healthcare system needs to adapt to handle the relocation of monitored patients. In this thesis project, a simulation platform has been designed and developed to address possible questions posed by this redesign of the healthcare system. By conducting a literary study, it was found that a discrete event- and agent based- hybrid simulation architecture could address the complexity required for such a large simulation environment by simulating across different abstraction levels. The agent based simulation component of the architecture models resources such as nurses, doctors, and patients as agents. A patient agent has a statechart which allows the patient to move between situational states and require interventions depending on a developed illness progression logic and routines. Interventions are modeled as event workflows in the discrete event simulation architecture. These cover most of the relevant interventions in a home monitored patient's life, such as nurse home visits and doctor video consultations. A communication protocol has been defined which will allow this model to communicate with a healthcare facility model. The platform implements a user interface for changing relevant input parameters, such as the amount of patients or doctors, in order to simulate different scenarios. Therefore the provided framework reduces the need for any major reprogramming between model runs. Outputs provided by simulation runs give relevant insights on patient resource usage and logistics management. A method for automatic generation of locations for patient homes and healthcare facilities on Geographic Information Systems open street maps has also been identified but not implemented. A validation process was conducted by allowing experts in the field to test the platform and give feedback on its validity and outputs. The simulation architecture provided by this thesis achieves the objective of modeling flows and resources in a further digitalized healthcare system in Stockholm County.

APA, Harvard, Vancouver, ISO, and other styles

16

Tsai, Chia-Yu. "Prescription Express System." CSUSB ScholarWorks, 2003. https://scholarworks.lib.csusb.edu/etd-project/2400.

Full text

Abstract:

The Prescription Express System is a software program that was developed with express service of health care in mind. The purpose was to provide easy access for doctors to check on upcoming appointments with patients and send prescriptions via wireless network directly to the pharmacy to provide faster service.

APA, Harvard, Vancouver, ISO, and other styles

17

Wu, Jaichun. "The development and implementation of an intelligent, semantic machine control system with specific reference to human-machine interface design." Thesis, Cape Peninsula University of Technology, 2005. http://hdl.handle.net/20.500.11838/2292.

Full text

Abstract:

Thesis (MTech (Information Technology))--Cape Peninsula University of Technology, 2005.
This thesis explores the design and implementation of an intelligent semantic machine control system with specific reference to human-machine interface design. The term "intelligent" refers to machines that can execute some level of decision taking in context. The term "semantic" refers to a structured language that allows user and machine to communicate. This study will explore all the key concepts about an intelligent semantic machine control system with human-machine interface. The key concepts to be investigated will include Artificial Intelligence, Intelligent Control, Semantics, Intelligent Machine Architecture, Human-Machine Interaction, Information systems and Graphical User Interface. The primary purpose of this study is to develop a methodology for designing a machine control system and its related human-machine interface.

APA, Harvard, Vancouver, ISO, and other styles

18

Schallert, Christian [Verfasser], Robert [Akademischer Betreuer] Luckner, Robert [Gutachter] Luckner, and Martin [Gutachter] Otter. "Integrated safety and reliability analysis methods for aircraft system development using multi-domain object-oriented models / Christian Schallert ; Gutachter: Robert Luckner, Martin Otter ; Betreuer: Robert Luckner." Berlin : Technische Universität Berlin, 2016. http://d-nb.info/1156181852/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Volf, Jiří. "Využití návrhových vzorů při tvorbě softwaru." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2008. http://www.nusl.cz/ntk/nusl-235429.

Full text

Abstract:

The objective of my MSc Thesis was to map over reasons, why are design patterns so popular in the modern information systems and other applications development. It is considering with the basic aspects of object-oriented systems, expounds the importance and structure of design patterns. The explication is followed by categorization of design patterns and in more detail is focused on the most frequently used design patterns including their contribution or complications, which could eventually occur. The advantages of design with design patterns are demonstrated on practical example of database application.

APA, Harvard, Vancouver, ISO, and other styles

20

Kalinga, Ellen. "Development of an Interactive e-Learning Management System (e-LMS) for Tanzanian Secondary Schools." Licentiate thesis, Karlskrona : Blekinge Institute of Technology, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-00404.

Full text

Abstract:

e-learning, as defined to be the use of information and communications technology (ICT) for supporting the educational processes, has motivated Tanzania to apply ICT in its education system. Tanzania secondary schools in rural areas are geographically and socially isolated. Rural Tanzania secondary schools face a number of problems including ways in getting learning materials, as well as inadequacy in qualified teachers. The impact of these problems is poor performance in National Examinations. This poor performance however is highly noted in science and mathematics subjects. The problem in getting learning materials can be reduced by employing ICT in secondary school education system. This research develops an interactive e-learning management system (e-LMS) to be used by Tanzanian secondary schools. The research is aiming to support teaching and learning functions by allowing creation and storage of learning materials, making them available, easily accessed and sharable among students from different secondary schools in Tanzania in a more organized way. Tanzania has only one curriculum for all secondary schools registered under the Ministry of Education and Vocational Training (MoEVT). During development stage it will not be easy to involve all scattered Tanzanian secondary schools. The research is focusing to two selected pilot schools; Kibaha secondary school and Wali-ul-Asr girls’ seminary in Kibaha town, Pwani region. Features of the e-LMS will represent the standard form of any other secondary school registered by the MoEVT. The complete implementation of the e-LMS to these selected pilot schools will later be extended to all other secondary schools in Tanzania. The development uses Object-Oriented System Analysis and Design (OOSAD) approach along with the power of modeling as it has been emphasized by Model Driven Architecture (MDA). Unified Modeling Language (UML) is mainly used in both cases. To create an interoperable system, UML is integrated with extensible markup language (XML) during model transformation from e-LMS Platform Independent Model (PIM) to e-LMS Platform Specific Model (PSM). Development will make use of open source software. For context specific development, participatory action research methodology is adopted and the inputs are well presented in developing e-LMS. Customization of open source learning management system (LMS) platforms is employed to help generate a timely solution to e-LMS development. Finally, this thesis also considers the need for replication and mirroring of the database for the purpose of making learning materials highly available to end-users.

APA, Harvard, Vancouver, ISO, and other styles

21

Hwang, Yves. "An automated software design synthesis framework." University of Western Australia. School of Electrical, Electronic and Computer Engineering, 2009. http://theses.library.uwa.edu.au/adt-WU2009.0157.

Full text

Abstract:

This thesis presents an automated software design synthesis framework known as Project Calliope. This framework aligns with Harel's automated software development process as it addresses the aspect of automating design and implementation. Project Calliope is based on a Statecharts synthesis approach in the literature. The main goal of Project Calliope is to automatically generate testable Unified Modeling Language (UML) Statecharts that are deterministic, visually manageable and UML compliant. In order to minimise design errors in the generated UML Statecharts, Project Calliope supports model checking through Statecharts execution. In addition, executable code is automatically generated based on the synthesised UML Statecharts. This framework seeks to provide a pragmatic design framework that can be readily incorporated into software development methodologies that leverage UML. In this thesis, Project Calliope is applied to three simple applications from Whittle and Schumann's examples and a case study based on a commercial application. They are automatic teller machine, coffee dispenser, an agent application, and a groupware application respectively.

APA, Harvard, Vancouver, ISO, and other styles

22

Retonda-Modiya, John-Charly. "Development of an embedded system actuator node for intergration into an IEC 61850 based substation automation application." Thesis, Cape Peninsula University of Technology, 2012. http://hdl.handle.net/20.500.11838/1162.

Full text

Abstract:

Thesis submitted in fulfilment of the requirements for the degree Master of Technology: Electrical Engineering in the Faculty of Engineering at the Cape Peninsula University of Technology, 2012
The introduction of the IEC 61850 standard in substations for communication networks and systems by the International Electrotechnical Commission (IEC) in 2003 provided the possibility for communication between devices of different manufacturers. However, the advent of this standard also brought about many challenges associated with it. The challenges introduced by this fairly recent standard of communications in Substation Automation Systems (SAS), and the need for the development of cost effective IEC 61850- compliant devices, motivated the decision of the Centre for Substation and Energy Management Systems within the Electrical Engineering Department of the Cape Peninsula University of Technology to focus on the implementation of the IEC 61850 standard using an embedded hardware platform. The development of an IEC 61850 embedded application requires substantial knowledge in multiple domains such as data networking, software modelling and development of Intelligent Electronic Devices (IEDs), protection of the electrical system, system simulation and testing methods, etc. Currently knowledge about the implementation of the IEC 61850 standard usually resides with vendors and is not in the public domain. The IEC 61850 standard allows for two groups of communication services between entities within the substation automation system. One group utilizes a client-server model accommodating services such as Reporting and Remote Switching. The second group utilizes a peer-to-peer model for Generic Substation Event (GSE) services associated with time-critical activities such as fast and reliable communication between Intelligent Electronic Devices (IEDs) used for protection of the power network. The messages associated with the GSE services are the Generic Object Oriented Substation Event (GOOSE) messages. The use of GOOSE messages for protection of the electrical system is very important in modern substations. Detailed knowledge of the structure of these messages is important in instances requiring fault diagnosis to determine the cause of mal– operation or to address interoperability concerns or when developing custom IEC 61850- compliant devices with limited functionality. A practical protection application (overcurrent) case study is presented where GOOSE messages are exchanged between a commercial IED and an IEC 61850-compliant controller based on an embedded platform. The basic data model and software development of an actuator node for a circuit breaker is proposed using an IEC 61850 communication stack on an embedded platform. The performance of the GOOSE messages is confirmed to be as per the functional behaviour specified, and per the IEC 68150 standard in terms of the temporal behaviour required. This thesis document tables the methods, software programs, hardware interfacing and system integration techniques that allow for the development and implementation of a low cost IEC 61850-compliant controller unit on an embedded systems platform for the substation automation system. The overcurrent case study distributed between a commercial IED (SIEMENS Siprotec device) and the actuator application developed on an embedded platform for this project (DK60 board) is in compliance with the IEC 61850 standard and utilizing GOOSE messaging is successfully completed both in terms of functional and temporal behaviour. This novel research work contributes not only to the academic community, but to the international Power Systems community as a whole. Keywords: IEC 61850 standard, IEDs, GOOSE message, software modelling, software development, substation automation systems, communication stack, embedded systems, actuator.

APA, Harvard, Vancouver, ISO, and other styles

23

Hou, Pingyu. "Customer relationship management for banking system." CSUSB ScholarWorks, 2004. https://scholarworks.lib.csusb.edu/etd-project/2635.

Full text

Abstract:

The purpose of this project is to design, build, and implement a Customer Relationship Management (CRM) system for a bank. CRM BANKING is an online application that caters to strengthening and stabilizing customer relationships in a bank.

APA, Harvard, Vancouver, ISO, and other styles

24

Fletcher, Helen. "Discontinuities in information systems development." Thesis, Brunel University, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.337463.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Dumitru, Teodor. "Responsive units, behavioral elements for coordination oriented development of object oriented systems." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape4/PQDD_0016/MQ57110.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

27

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

28

Esterhuyse, Jacques. "The use of object oriented systems development methodologies in data warehouse development / J. Esterhuyse." Thesis, North-West University, 2008. http://hdl.handle.net/10394/3661.

Full text

Abstract:

Research has shown that data warehouses potentially offer great investment opportunities to business. To benefit from this, business needs to invest large sums of money. Such investments are very risky, as no guarantee of the success of these ventures can be given. Object-oriented development has proved successful for developing operational systems in industry. This study researches object-oriented techniques to discover whether these techniques could be used successfully in data warehousing. A literature study focuses on the definition of an information systems development methodology and defines the components of such methodology. A further literature study on four popular object-oriented methodologies determines the commonalities of these methodologies. In conclusion, a literature study on data warehouse methodologies is done to discover the phases and techniques used in developing data warehouses. Based on the literature, a method is proposed to build a data warehouse harnessing object-oriented phases and techniques. The proposed method is applied as an interpretive experiment, followed by an evaluation of the data warehouse implemented.
Thesis (M.Sc. (Computer Science))--North-West University, Potchefstroom Campus, 2009.

APA, Harvard, Vancouver, ISO, and other styles

29

Lemons, Seth N. "Potential problem areas of design metrics for object oriented systems." Virtual Press, 2007. http://liblink.bsu.edu/uhtbin/catkey/1380103.

Full text

Abstract:

This study provides information on the effectiveness of design metrics when used on object oriented systems and explores means of increasing metric use-fulness in regard to the problem areas identified. Evidence shows that current metrics are weak in assessing some qualities when faced with concepts central to object orientation. It describes practices in design and implementation that cause complications in calculating metrics and what effects those practices may have on various types of metrics by examining specific examples as well as discussing the theory involved. It examines assumptions which can be made in the formulation of metrics to avoid the issues caused by these practices and what effect these assumptions will have on metric results.
Department of Computer Science

APA, Harvard, Vancouver, ISO, and other styles

30

Siddiqui, Feroz Ahmed. "Understanding and measuring systems flexibility : a case of object-oriented development environment." Thesis, Brunel University, 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.268857.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Hawkins, Richard D. "Using safety contracts in the development of safety critical object-oriented systems." Thesis, University of York, 2006. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.437585.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Takagaki, Ken. "A formalism for object-based information systems development." Thesis, University of British Columbia, 1990. http://hdl.handle.net/2429/31016.

Full text

Abstract:

Most current approaches to Information Systems Development (ISD) tend to derive from past experience and practice, rules of thumb and technology trends. The lack of theoretical foundations hinders the systematic development and evaluation of new ISD methodologies. The research undertaken in this thesis addresses this issue by proposing a formal, theory-based model, Ontology/Object-Based Conceptual Modelling (OBCM), for conceptually representing IS applications. The formalism is novel in that it is grounded in first principles derived from metaphysics, in particular the system of Ontology developed by Mario Bunge. Underlying this approach is the premise that an Information System is a model of reality and that model should be therefore rooted in a theory of reality, ie. a metaphysics. As a result, basic assumptions in reality such as thing, substance, property, attribute, time, state and change are explicitly and rigorously addressed. OBCM features an ontologically well-defined construct, "object", which is used to directly represent entities in reality, thus lending theoretical credence to the so-called object-oriented paradigm found in recent programming languages and databases. In addition, the thesis presents a framework, Ontology/Object-Based Information System (OBIS), for systems implementation based on this model. This framework directly implements the object construct so that it can be immediately utilized by the information systems user in a "direct manipulation" style of end-user interaction. Further, OBIS strives for a single, homogeneous concept of system operation drawn from ontology rather than in terms of IS or computing technology. In principle, this one concept can be applied to any object in the IS, this simplifying the understanding and use of the Information System. In this way, the model attempts to unify the analysis, implementation and user-interface aspects of Information Systems Development, thereby reducing the so-called "semantic gap" which has often been observed between the reality of the application and its final implementation in an IS. A "proof of concept" prototype is described which illustrates the main principles and explores practical applications of the proposed model. This prototype is implemented as a single, stand-alone "shell" which can be used to support a wide variety of applications as well as providing the basis of a rapid prototyping or CASE tool. The prototype is used to implement sample problems including the well-known IFIP Working Conference problem, thus demonstrating the feasibility of the overall approach.
Business, Sauder School of
Graduate

APA, Harvard, Vancouver, ISO, and other styles

34

Adamopoulos, Dionisis. "A structured approach to the development of telematic services using distributed object-oriented platforms." Thesis, University of Surrey, 2000. http://epubs.surrey.ac.uk/685/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Antonov, R. B. "Development of object-oriented software for analysis and design of linear control systems." Thesis, Swansea University, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.635789.

Full text

Abstract:

The research presented in this Thesis aims to fill the gap between the principles used in the development of numerical software for computer-aided control system analysis and design and one of the novel software enginering principles; the object-oriented paradigm. The state-of-the-art in computer-aided control system analysis and design is based on FORTRAN code libraries that provide poor support for the actual data-types found in control systems design and are difficult to use safely. Although recent advances in Computer Science, such as object-oriented programming, already play an important role in the development of computer-aided control system design tools, their scope has been mainly limited to the user interface, database management and graphical data presentation. The object-oriented paradigm also has the potential to enable the writing of fast and efficient numerical software for control systems analysis and design which has not yet been sufficiently explored. In this Thesis it is shown how the object-oriented paradigm can be used to overcome some of the existing problems by providing a data-oriented rather than a functional view of a software library's contents. The rapidly developing theory of abstract data types is the foundation on which this work is laid. Abstract data types provide a language and implementation independent means of specifying data structures in terms of the functionality that they provide. The discussion also highlights some important questions that have to be asked when developing object-oriented software - such as how memory management and exceptions are to be handled - and offers some solutions. One of the main challenges in developing new software for control systems analysis and design is how to choose a strategy, tools and a software structure, that will preserve the investments made in the past in high quality software. The object-oriented paradigm offers a safe and efficient way of reusing existing software and also brings efficiency and convenience to both the developer and the end user of control engineering software.

APA, Harvard, Vancouver, ISO, and other styles

36

Stuede, Andreas. "Development of an object-oriented graphical user interface for an aircraft engine cycle analysis program." Thesis, This resource online, 1993. http://scholar.lib.vt.edu/theses/available/etd-01242009-063413/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Narayanan, Sundaram. "Design and development of an object-oriented architecture for modeling and simulation of discrete-part manufacturing systems." Diss., Georgia Institute of Technology, 1994. http://hdl.handle.net/1853/24374.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

伊藤, 和明, Kazuaki Ito, 由紀子山口, Yukiko Yamaguchi, 信夫河口, Nobuo Kawaguchi, 茂樹松原, Shigeki Matsubara, 康善稲垣, and Yasuyoshi Inagaki. "拡張性を備えたオープンな電話対話システム開発ツールTEDDI." 情報処理学会, 2002. http://hdl.handle.net/2237/6885.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Jabangwe, Ronald. "Software Quality Evaluation for Evolving Systems in Distributed Development Environments." Doctoral thesis, Blekinge Tekniska Högskola, Institutionen för programvaruteknik, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-00613.

Full text

Abstract:

Context: There is an overwhelming prevalence of companies developing software in global software development (GSD) contexts. The existing body of knowledge, however, falls short of providing comprehensive empirical evidence on the implication of GSD contexts on software quality for evolving software systems. Therefore there is limited evidence to support practitioners that need to make informed decisions about ongoing or future GSD projects. Objective: This thesis work seeks to explore changes in quality, as well as to gather confounding factors that influence quality, for software systems that evolve in GSD contexts. Method: The research work in this thesis includes empirical work that was performed through exploratory case studies. This involved analysis of quantitative data consisting of defects as an indicator for quality, and measures that capture software evolution, and qualitative data from company documentations, interviews, focus group meetings, and questionnaires. An extensive literature review was also performed to gather information that was used to support the empirical investigations. Results: Offshoring software development work, to a location that has employees with limited or no prior experience with the software product, as observed in software transfers, can have a negative impact on quality. Engaging in long periods of distributed development with an offshore site and eventually handing over all responsibilities to the offshore site can be an alternative to software transfers. This approach can alleviate a negative effect on quality. Finally, the studies highlight the importance of taking into account the GSD context when investigating quality for software that is developed in globally distributed environments. This helps with making valid inferences about the development settings in GSD projects in relation to quality. Conclusion: The empirical work presented in this thesis can be useful input for practitioners that are planning to develop software in globally distributed environments. For example, the insights on confounding factors or mitigation practices that are linked to quality in the empirical studies can be used as input to support decision-making processes when planning similar GSD projects. Consequently, lessons learned from the empirical investigations were used to formulate a method, GSD-QuID, for investigating quality using defects for evolving systems. The method is expected to help researchers avoid making incorrect inferences about the implications of GSD contexts on quality for evolving software systems, when using defects as a quality indicator. This in turn will benefit practitioners that need the information to make informed decisions for software that is developed in similar circumstances.

APA, Harvard, Vancouver, ISO, and other styles

40

Healey, R. G. "Object-oriented simulation of evolving regional economic systems : a case study of mining development in the anthracite coalfields of Pennsylvania during the post-bellum period." Thesis, University of Cambridge, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.240954.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Becker, Leandro Buss. "Ambiente de modelagem e implementação de sistemas tempo real usando o paradigma de orientação a objetos." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 1999. http://hdl.handle.net/10183/27108.

Full text

Abstract:

Este trabalho descreve o desenvolvimento de um ambiente integrado para modelagem, simulação e implementação de sistemas de tempo real distribuídos (STRD), especialmente aqueles voltados para automação industrial. O ambiente proposto faz use do paradigma de orientação a objetos, sendo baseado no ambiente SIMOO, desenvolvido no Âmbito de uma tese de doutorado no CPGCC. A motivação para a realizado deste trabalho surgiu através de alguns estudos de caso, que constataram que as ferramentas CASE existentes não incorporavam todas as propriedades desejadas em termos de suporte para modelagem e implementação dos STRD. Dentre estas propriedades, destacam-se a capacidade para especificação de restrições temporais, o suporte a simulação do modelo desenvolvido e a capacidade de geração automática de código para a aplicação final. O ambiente proposto tem por objetivo suprir as carências observadas, adicionando ao ambiente SIMOO original facilidades para a descrição de restrições temporais e facilidades para descried° de comportamento do modelo desenvolvido. Além disso, é incorporada ao ambiente a capacidade de geração automática de código em uma linguagem que suporte as restrições temporais descritas no modelo. Este trabalho foi desenvolvido no contexto do projeto ADOORATA (A Distributed Object-Oriented Architecture for Real-Time Automation), como parte do Programa de Cooperação entre Brasil e Alemanha, financiado pelas agencias CNPq e DLR.
This work describes the development of an integrated object-oriented environment for modeling, simulation and implementation of distributed real-time systems (DRTS), especially those conceived for industrial automation. This work extends the SIMOO environment, conceived as part of a Ph.D. thesis in the CPGCC at Federal University of Rio Grande do Sul. Its motivation began during some case studies, which concluded that existing CASE tools don't incorporate all the desired features for modeling and implementation of DRTS. Among these features, capacities to specify timing constraints, to simulate/animate the model and to automatically generate the final application code are highlighted. The proposed environment intends to overcome these lacks, adding to the original environment features for the specification of timing requirements and the application behavior, allowing the creation of an object-oriented simulation model. Additionally it automatically generates the application executable code, which makes use of the incorporated specifications to guarantee its correctness. This work has been developed within the context of the ADOORATA project (A Distributed Object-Oriented Architecture for Real-Time Automation), as part of the Brazilian-German Cooperation Program, sponsored by CNPq and DLR.

APA, Harvard, Vancouver, ISO, and other styles

42

Andersson, Henrik, Lars Brånedal, and Daniel Sahlin. "Informationssystem för service av truckar och städmaskiner." Thesis, Jönköping University, JTH, Computer and Electrical Engineering, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-561.

Full text

Abstract:

This paper describes the evolutionary development of an information system for a small company. The company performs overhaul of forklifts and cleaning machines. The company has already an information system that handles the reports from these overhauls but it needs a supplementary tool that assist the chief planner to plan forthcoming overhauls.

It should be able to display coming overhauls in a timetable and eventually print them, either to a PDF file or to a document. The timetables this function produces will help the chief planner and the assemblers to get a good overview of their day-to-day work.

The tool needs to be intelligent in that way that it takes into consideration were in the country different assignments will be performed. So that time consuming travels over great distances can be avoided. This coordination will lead to higher profitability for the company and more satisfied customers.

The paper contains theoretic background about what models and methods that are used in the development of an information system. This theoretic background is then used when developing a system in practise and the result of this is then showed. In the end the results are compared to the demands, goals and requirements stated in the beginning of the paper, to see if they are fulfilled.

This is a degree thesis at the S c ho o l o f E n gineering, Jö nkö pin g U niversity. It’s a part of the programme: Communication and Information Technology, and are mainly based on knowledge from the following courses: Programming Methods, Database Systems and Trends, Software Engineering Methods and Systems Analysis and Design with a Concept of Quality.

Det här examensarbetet beskriver vidareutvecklandet av ett befintligt informationssystem som hanterar servicerapporter på truckar och städmaskiner. Det befintliga systemet har behov av att kompletteras med ett verktyg som skall kunna lägga till kommande service, visa dessa i ett schema och sedan skriver ut denna planering som scheman i en PDF-fil och/eller på papper. Dessa scheman är till för att chef och de montörer som utför arbetet ska få en bra överblick över vad för arbete som skall göras under en vecka. Verktyget behöver vara smart så till vida att det måste veta var någonstans i landet montörer arbetar för att tidsförlust på grund av resor över stora geografiska avstånd minimeras. Effekten av införandet av verktyget är bättre lönsamhet för företaget och bättre kundrelationer.

Examensarbetet kommer att innehålla teoretisk bakgrund om vilka metoder som används i alla steg i ett informationssystems utveckling och hur de sedan kan kopplas till det praktiska arbetet. Den teoretiska bakgrunden kommer att användas i praktiken och resultatet blir ett fungerande informationssystem. Resultatet av utvecklingen av systemet kommer att relateras till de syften, mål och krav som anges i början av rapporten för att se om målen med rapporten uppnås.

Arbetet fokuserar på det praktiska arbete det innebär att utveckla ett informationssystem för ett mindre företag.

Examensarbetet skrivs vid IIngee njjörrsshögsskollaan, Högskolan i Jönköping och är en del av programmet Datateknik: Kommunikation och Informationskunskap. Arbetet bygger på kunskap främst från kurserna Programmeringsmetoder, Databas Internet, Systemutveckling, Teknisk information och Informationssystems användbarhet.

APA, Harvard, Vancouver, ISO, and other styles

43

Aniche, Mauricio Finavaro. "Como a prática de TDD influencia o projeto de classes em sistemas orientados a objetos." Universidade de São Paulo, 2012. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-31072012-181230/.

Full text

Abstract:

Desenvolvimento Guiado por Testes (TDD) e uma das praticas sugeridas na Programacao Extrema. A mecanica da pratica e simples: o programador escreve o teste antes de escrever o codigo. E, portanto, possivel inferir que a pratica de TDD e uma pratica de testes de software. Entretanto, muitos autores de livros conhecidos pela industria e academia afirmam que os efeitos da pratica vao alem. Segundo eles, TDD ajuda o desenvolvedor durante o processo de criacao do projeto classes, fazendo-os criar classes menos acopladas e mais coesas. Entretanto, grande parte dos trabalhos da literatura sao voltados a descobrir se a pratica faz diferenca na qualidade do codigo gerado, mas poucos sao os autores que discutem como a pratica realmente auxilia. Mesmo os proprios praticantes nao entendem ou conseguem expressar bem como a pratica os guia. Este trabalho tem por objetivo compreender melhor os efeitos de TDD e como sua pratica influencia o desenvolvedor durante o processo de projeto de sistemas orientados a objetos. Para entende-las, neste trabalho optamos por um estudo exploratorio essencialmente qualitativo, no qual participantes foram convidados a resolver exercicios pre-preparados utilizando TDD e, a partir dos dados colhidos nessa primeira parte, nos levantamos detalhes sobre como a pratica influenciou as decisoes de projeto de classes dos participantes por meio de entrevistas. Ao final, observamos que a pratica de TDD pode guiar o desenvolvedor durante o processo de criacao do projeto de classes por meio de constantes feedbacks sobre a qualidade do projeto. Esses feedbacks alertam desenvolvedores sobre possiveis problemas, como alto acoplamento ou baixa coesao. Os desenvolvedores, por sua vez, devem interpretar e melhorar o projeto de classes. Este trabalho catalogou e nomeou os padroes de feedback percebidos pelos participantes.
Test-Driven Development (TDD) is one of the suggested practices in Extreme Programming (XP). The mechanical is simple: the developer writes a test before writing the implementation. Thus, TDD is often seen as a software testing technique. However, many famous book authors suggest that TDD can help developers during the class design creation process, enabling developers to create less coupled highly cohesive classes. Most of the academic studies are interested on finding the difference between a TDDd and a non-TDDd code. Only a few of them discuss how the practice really supports class design. Even practitioners do not understand how the practice guides them. This work aims to understand better the effects of TDD and how the practice influences the practitioner during the class design process in object-oriented systems. To better understand them, we did a essencially qualitative explorative study, in which participants were invited to solve a set of pre-prepared exercises using TDD and, based on the gathered data, we retrieved details of how the practice influenced the developers class design decisions through interviews. At the end, we observed that the practice of TDD can guide developers during the class design creation process through constant feedback about its quality. These feedbacks alert developers about possible problems, such as high coupling or low cohesion. Developers then should interpret and improve the class design accordingly. This study also catalogues the TDD feedback patterns perceived by the participants.

APA, Harvard, Vancouver, ISO, and other styles

44

Chavan, Rohit. "JAVA synchronized collaborative multimedia toolkit: A collaborative communication tool." CSUSB ScholarWorks, 2004. https://scholarworks.lib.csusb.edu/etd-project/2549.

Full text

Abstract:

In this project a collaboration multimedia toolkit, JSCMT (Java Synchronized Collaborative Multimedia Toolkit) was developed which is intended to connect a group of people located in different geographical locations who are working on the same project.

APA, Harvard, Vancouver, ISO, and other styles

45

Pereira, Ana Maria. "Abordagem de especificação de requisitos baseada em projeto axiomático." Universidade Tecnológica Federal do Paraná, 2011. http://repositorio.utfpr.edu.br/jspui/handle/1/361.

Full text

Abstract:

Esta dissertação apresenta uma abordagem que aplica a Teoria de Projeto Axiomático à especificação de requisitos de sistemas de software visando melhorar a qualidade da solução de projeto desde a análise do problema até identificação dos requisitos efetivamente. O objetivo da abordagem desenvolvida é propor e integrar métodos que permitam o uso de Projeto Axiomático em um processo de Engenharia de Requisitos. A abordagem de especificação de requisitos proposta estabelece a aplicação do Axioma da Independência no estudo de problemas e necessidades do cliente. Desta forma, incluem-se no processo de engenharia de requisitos novos domínios de estudo, o domínio do problema e o domínio do cliente. É estabelecido um modelo de hierarquia para a decomposição de Problemas, Necessidades e Requisitos. Um processo de ziguezagueamento é sugerido para que se possa aplicar a abordagem proposta em conjunto com um processo de desenvolvimento interativo e incremental como o Processo Unificado. Apresenta-se um estudo de caso de um sistema de teste de equipamentos em uma linha de produção. O estudo de caso tem por objetivo demonstrar a aplicação prática da abordagem de especificação de requisitos proposta nesta dissertação. Além disso, apresentam-se os experimentos realizados durante o trabalho de pesquisa e seus resultados. Para exemplificar a execução dos experimentos é demonstrado o processo de especificação de requisitos para um sistema de relatórios de visitas a clientes. Este exemplo ajuda a ilustrar como a abordagem apresentada pode ser utilizada para aumentar a consistência e a qualidade dos requisitos de projetos de software.
This dissertation presents an approach that applies the Axiomatic Design Theory to the specification of software systems requirements. This Approach intends to improve the quality of design solution since its inception, which involves from the problem analysis to the requirements identification. The purpose of the proposed approach is to offer methods that allow the use of axiomatic design in a process of requirements engineering. The proposed requirements specification approach establishes the application of the Axiom of Independence in the study of problems and costumer needs. In this way, new domains, the problem domain and the costumer domain, are included in the requirements engineering process. It is established a hierarchical model for the decomposition of Problems, Needs and Requirements. A zig-zag process is suggested in order to use the propose approach in conjunction with a development process as the Unified Process. It is presented a case study of a system for equipment testing in a production line. The case study aims to demonstrate the practical application of the requirements specification approach proposed in this dissertation. In addition, the results of the experiments performed during the research are presented. The requirements specification process for a reporting system is shown to illustrate the experiments. This example helps billustrate how the proposed approach can be used to increase the consistency and quality of software requirements.

APA, Harvard, Vancouver, ISO, and other styles

46

Ross, Marlene Maria. "Unity-inspired object-oriented concurrent system development." Thesis, 2001. http://hdl.handle.net/2263/22782.

Full text

Abstract:

The design of correct software remains difficult, especially when dealing with concurrency. The primary goal of the research presented here is to devise a pragmatic software development method which  aids the software designer in producing reliable software,  is scalable,  is understandable,  follows a unified approach towards software development (is applicable to different implementation architectures),  promotes reuse,  has seamless transitions between the software development phases,  guarantees general availability and minimises developmental resources. The two main characteristics of the proposed new development method are captured in its name, viz. Single Location Object-Oriented Programming (SLOOP) . It is an object-oriented method, but its computational model is that of a set of statements that execute infinitely often and in any order. A program with such a computational model is called a Single Location Program (SLP). A UNITY program can also be classified as a Single Location Program. In the UNITY theory of programming it was demonstrated how this computational model could simplify correctness reasoning, particularly for concurrent systems. It is this simplification, together with the structuring and reuse features of object-orientation, that is leveraged in the SLOOP method to produce a mechanism whereby ordinary software practitioners can take advantage of the benefits of a more rigorous approach towards software development without requiring an in-depth understanding of the underlying mathematics. The following features of the SLOOP method contribute towards achieving the above goals:  its computational model (it simplifies correctness reasoning, thereby promoting understandability and scalability, and also facilitates designs that are independent of the target implementation architectures),  its object-oriented nature (apart from promoting reuse of frameworks, design patterns and classes, the SLOOP method provides the necessary mechanisms to facilitate reuse of correctness properties, correctness arguments as well as mappings to implementation architectures),  its emphasis on correctness reasoning throughout the software development life cycle (its "constructive approach" aids reliability and seamlessness),  the unique way in which the correctness properties can be specified, reused and reasoned about (this contributes towards understandability and scalability),  the checklist of useful correctness properties that is provided (this promotes reliability),  the incorporation of existing notations into the SLOOP syntax (this guarantees general availability, minimises developmental resources and aids understandability). The main contribution of this thesis is that it presents a unique way of incorporating the SLP computational model into an object-oriented method with the specific aim of simplifying informal correctness reasoning and promoting reuse. The notation used for the specification of correctness properties facilitates reuse of correctness properties, ensures the integrity of these specifications and allows one to specify correctness properties at a higher level of abstraction. The SLOOP method offers a unique way of modelling concurrency in object-oriented systems (via its parallel methods), which takes full advantage of the encapsulation and inheritance features of object-orientation. The issues surrounding mappings to implementation architectures are addressed, showing how even mappings can be reused. Finally, the general applicability of the SLOOP method is demonstrated.
Thesis (PhD (Computer Science))--University of Pretoria, 2007.
Computer Science
unrestricted

APA, Harvard, Vancouver, ISO, and other styles

47

Loock, Marianne. "Knowledge-based support for object-oriented design." Diss., 1994. http://hdl.handle.net/10500/17231.

Full text

Abstract:

The research is conducted in the area of Software Engineering, with emphasis on the design phase of the Software Development Life Cycle (SDLC). The object-oriented paradigm is the point of departure. The investigation deals with the problem of creating support for the design phase of object-oriented system development. This support must be able to guide the system designer through the design process, according to a sound design method, highlight opportunities for prototyping and point out where to re-iterate a design step, for example. A solution is proposed in the form of a knowledge-based support system. In the prototype this support guides a designer partially through the first step of the System Design task for object-oriented design. The intention is that the knowledge-based system should capture the know-how of an expert system designer and assist an inexperienced system designer to create good designs.
Computing
M. Sc. (Information Systems)

APA, Harvard, Vancouver, ISO, and other styles

48

Kuo, Shi-Hong, and 郭士宏. "Development of an Object-Oriented 2D Parametric CAD System." Thesis, 2009. http://ndltd.ncl.edu.tw/handle/66497682612498943152.

Full text

Abstract:

碩士
國立高雄應用科技大學
機械與精密工程研究所
97
With the rapid development of machining technology in the last few years, computer numerical control (CNC) machine has already become an indispensable machinery for a machining workshop. For example, many new types of CNC machines have been introduced such as lathe machine, milling machine, drilling machine, WEDM …etc. to facilitate various demands. In fact, a designer often needs to draw the part with an off-the-shelf software. CNC machine operator writes and/or transmits the NC code generated by a CAM engineer to the controller for machining process. A typical controller can be used to edit and verify the NC code through toolpath simulation, but intelligent CAD system is not normally provided. This research adopted the Microsoft Visual C # and Direct3D to develop such a value-added CAD System. With a parametric CAD system as the drawing core, a designer could construct and revise the focused geometry more efficiently. The NC codes could then be output accordingly. To realize the developed parametric 2d CAD system, integration with a human-machine interface for a turret drilling center, WEDM, CNC milling machine and laser manufacturing machine has been successfully accomplished. The developed system has been used to draw a pattern and output the machining data of the pattern. NC codes were used to link with the virtual turret drilling center, Virtual CNC and the virtual wire electrical discharge machine while DXF and BMP files were used to link with the laser manufacturing machine. The developed parametric 2D CAD system is expected to serve as an assistant system for a CNC operator through integration to a CNC controller towards a value-added component.

APA, Harvard, Vancouver, ISO, and other styles

49

Kuo, Pei-Yi, and 郭沛益. "Development of Object-Oriented Workshop Controlling and Monitoring System." Thesis, 1997. http://ndltd.ncl.edu.tw/handle/80163349461892715356.

Full text

Abstract:

碩士
國立台灣工業技術學院
工程技術研究所
85
The main purpose of this study is to develop an object- oriented workshopcontrolling and monitoring system. In a CIM factory, the workshop controllerpasses the manufacturing command from the upper level to the lower level.It also collects the manufacturing status from the lower level and passes back to the upper level. The main function of a workshop controller is the integration of the manufacturing command and status between the lower andthe upper level. This study uses UML to model the manufacturing system,using the set of notations such as use case diagram, class diagram, sequencediagram, collaboration diagram and state diagram to describe the workshopcontroller system. Besides, this study takes the process of assembling piston and rodin the CIM factory of National Taiwan Institute of Technology as an exampleto simulate the material flow and the manufacturing process. In the study a workshop controlling and monitoring system which uses Java as a developinglanguage was implemented and evaluated by above process. The user in or even outside the workshop will easily access the manufacturing information throughany WWW browser on the Internet. Once the UI has updated in the server sidethrough the WWW, all the client side user on the Web will get the same UIversion without any change on client side.

APA, Harvard, Vancouver, ISO, and other styles

50

Cheng, Yu-sheng, and 鄭育昇. "A Flexible Object-Oriented Application Framework for Fitness Equipment System Development." Thesis, 2013. http://ndltd.ncl.edu.tw/handle/45505480730559785140.

Full text

Abstract:

碩士
逢甲大學
資訊工程學系
101
In these modern years, it is popular for people to do exercise on a fitness machine. Traditional fitness machines are controlled by electronic devices with functions limited to basic machine operations. Due to increasing cost-performance ratio of emerging micro-computers and embedded systems, more fitness equipment devices are equipped with computers and touch screens leading to many new services. In some intelligent healthcare systems an exercise machine is equipped with various physiological sensors to monitor the physical changes of a registered user during an exercise. Especially in medical exercise therapy, such equipment can help people in their long process of physical rehabilitation to recover from vocational injury, sports injury, surgery, illness and other conditions. In this paper, we propose an easy-to-use Application Framework for software development in the management of fitness equipment. A fitness equipment manufactory is able to efficiently integrate fitness equipment and various peripherals based on this framework. Software developers use high level APIs of the framework to implement the genuine and creative applications of a fitness machine. Using high abstract level APIs, developers require less effort in controlling general machine components and peripherals while more attention can be focused on processing users’ exercise data with better services. Fitness equipment industry faces a competitive market where latest machine models and new products emerge from manufacturers very quickly. It is important that we design software with a high degree of reusability and portability. Fitness manufactories require software developers to build flexible systems that can be adopted easily and quickly in as many production lines as possible with less cost and faster time-to-market delivery. To show that our framework is feasible and effective, we implemented an experimental system meeting the goal and analyzed various data using effective software metrics to illustrate good software quality and performance results.

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic 'Object-oriented system development'

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