• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 13
  • 3
  • Tagged with
  • 27
  • 27
  • 27
  • 27
  • 6
  • 6
  • 6
  • 6
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 3
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

An Ada review : a history, problems and complaints, and the current status of the language

Hodges, Michael Irwin January 2010 (has links)
Typescript (photocopy). / Digitized by Kansas Correctional Industries
2

Creating an Ada module description tool

Rice, Richard M. January 1988 (has links)
The purpose of this project was to develop, using Object Oriented Development (OOD), a software tool identified as the Ada Module Description Tool (AMDT). The AMDT provides an automated way to get a module level description of Ada code. A module level description will identify packages, subprograms, objects and type declarations and relationships. This software tool also has the ability to compare Ada source code with a module level description. The comparison shall identify any object, type, subprogram, or package declared in the module level description that does not match the provided source code.The AMDT is made up of two executable programs that run on a VAX/VMS system. The Module Description Generator (MDG) generates a module level description from a set of Ada source code files. The Module Description Checker (MDC) compares a module level description to the Ada source code. Ada is the required High Order Language for the Department Of Defense. The development methodology used was basically Object Oriented Development as described in the book Software Engineerinq With-AAA by Grady Booch and the Software Standards and Procedure Manual for Object Oriented Development (SSPM-M02.04 Draft).Booch's book is a description of Object Oriented Development methodology, while the SSPM is a set of instructions and standard format to implement the methodology. The total design of the AMDT is documented in five segments. The SSPM defines a segment as the code and documentation resulting from a pass through the OOD process. From a Software Quality Engineer's point of view the AMDT would save time in not having to check module descriptions by hand. From the Software Engineer's point of view, when the code is updated a new module description can be generated easily to keep the documentation current with the code. The AMDT tool as written does not find object declarations in the code. Fortunately the effect is minor because the module descriptions needs to be edited anyway. The module description generated by the MDG may have too much information in it. The designer wants only the types, objects, and operations that aid in the understandability of the design and how it is implemented. The only checks the MDC makes are to see if an identifier on the module description is in the code. It does not check to see if there are extra items in the code that should be required in the module description. / Department of Computer Science
3

Ada and the graphical kernel system /

Wessman, Richard R. January 1988 (has links)
Thesis (M.S.)--Rochester Institute of Technology, 1988. / Includes bibliographical references (leaves 50-52).
4

Ada as a design specification language /

Gibson, Barbara Brunner. January 1988 (has links)
Thesis (M.S.)--Rochester Institute of Technology, 1988. / Typescript. Includes bibliographical references (leaves 247-252).
5

Using Ada for process-interaction oriented discrete event simulation /

Dutko, John L. January 1988 (has links)
Thesis (M.S.)--Rochester Institute of Technology, 1988. / Typescript. Includes bibliographical references (leaves 51-52).
6

A graphic tool for generating Ada language specifications

Bodle, Donald E. January 1985 (has links)
Call number: LD2668 .T4 1985 B62 / Master of Science
7

Methodologies for developing distributed systems in Ada with a simulation of a distributed Ada system

Jeon, Dae Kyung January 1989 (has links)
In recent years, the field of distributed processing, distributed systems, has undergone great change, and has been an area attracting tremendous research and development efforts. This thesis explores the various current methodologies for designing, developing and implementing distributed systems using the Ada programming language, and goes on to implement a simulation of a distributed store system using the "virtual node" design approach. After a brief introduction on distributed systems in general, an investigation of the basic issues and problems involved in distributing Ada programs coupled with an analysis and comparison of various approaches to developing distributed Ada systems is carried out. It is shown that one of the critical problems of Ada in a distributed environment is its implicit assumption of a single memory processor. A simulation of a distributed system (store system) is carried out using the virtual node method of developing distributed Ada systems. The various stages of this design method including interface task specification are stepped through. A sample run of the. system is given, including the customer file, stock file data and the monitored output of the system. / Department of Computer Science
8

Simulation of lower layers of communication protocols using Ada

Goel, Ashu January 1988 (has links)
From the smallest microcomputer to the largest mainframe computer, data communication capabilities are and will be a major factor in the success and usefulness of the computer systems. The need for larger systems to process data created on the small computers, the need to move subsets of data to small computers access larger computers for other capabilities, and the need for growth in hardware capability are all major reasons that data communication is so important to today's technology.As data communication is the backbone of today's technology, it will play a leading role in governing the changes in the technology of the future. Hence the knowledge of data communication becomes a very important aspect.In this thesis emphasis has been given to simulate the lower layers of communication protocols using Ada as the base language. The language Ada is chosen because of it's capability of providing parallel processing, which is an inherent property of the data communication. Ada is a complex, general purpose programming language that provides an excellent concurrent programing facility called task, that is based on rendezvous concept.Simulation is an excellent way to teach & understand concepts, which otherwise becomes infeasible to understand. Now a days more and more communication details is embedded in the hardware, and hence what is going inside the computer, to provide communication between two computers or just plain data communication, is becoming transparent to the user. However, this does not eliminate the need to know about the functional characteristics of the protocols, which are the rules to provide an effective and reliable communication environment, rather the need to understand protocols is increasing as more and more computer vendors are coming out with their own products. Thanks to the ISO (International Standard Organization), which has come with the standard for the Computer to Computer Communication, but still protocol analysis and design will play a very important role. The field of protocol conversion has grown tremendously in order to provide communication across heterogeneous systems using message communication will to the field of protocol which now a days is an different protocols.Here in this study, communication backbone is simulated in Ada using its concurrent processing capabilities and it is tried to show how a data or aMessage communication will actually take place. This study can serve as a blue print to improve this in order to cater to the field of protocol analysis and protocol conversion, which now a days is an important facet of the data communication industry. / Department of Computer Science
9

Network model of a concentrator solar cell

Brooks, Clarence A. January 1989 (has links)
Solar concentrating systems are often used to decrease the cost of solar energy by redirecting the incident sunlight from a relatively large area onto a photovoltaic cell of smaller area. In addition to the convergence characteristics of the concentrator, indices of refraction and reflectivities which are functions of wavelength can result in an illumination which varies both spatially and spectrally on the solar cell. Nonuniformity can also be induced by concentrator tracking error. The effects of such nonuniform illumination on solar cell performance are of interest.In this investigation, a model of a concentrator solar cell consisting of a network of preexisting one-dimensional models has been developed. This model is analyzed for three sample grid configurations for both spot-focusing and line-focusing concentrator applications.Ada computer programs have been created which, together with a few other pieces of readily available software, are capable of simulating the model. Sample simulations have been performed for line-focusing concentrator applications. These results are presented and discussed. / Department of Physics and Astronomy
10

An Ada library for positional board games /

Mangolas, Athanassios Anastassios, January 1990 (has links)
Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1990. / Vita. Abstract. Includes bibliographical references (leaves 116-118). Also available via the Internet.

Page generated in 0.111 seconds