• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 57
  • 42
  • 15
  • 8
  • 7
  • 7
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 168
  • 43
  • 32
  • 31
  • 27
  • 21
  • 16
  • 16
  • 15
  • 15
  • 15
  • 15
  • 15
  • 15
  • 15
  • 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

Generierung der Zwischendarstellung IML für Ada95 Programme

Keul, Steffen. January 2005 (has links)
Stuttgart, Univ., Diplomarb., 2005.
2

Extraktion statischer Abhängigkeiten aus Ada95-Programmen mittels ASIS

Neinert, Sascha. January 2004 (has links)
Stuttgart, Univ., Diplomarb., 2004.
3

Implementierung einer Anfrageschnittstelle für ASIS zur Generierung von IML

Müller, Martin. January 2005 (has links)
Stuttgart, Univ. Studienarb., 2005.
4

Versuch über die Lyrik Ada Negri's ...

Carl, Ursula, January 1937 (has links)
Thesis--Zürich. / Lebenslauf. "Literatur": p. 113-114.
5

AN OBJECT-ORIENTED COMMAND AND TELEMETRY "BLACK BOX" SIMULATION USING ADA

Policella, Joseph, White, Joey, Shillington, Keith 10 1900 (has links)
International Telemetering Conference Proceedings / October 25-28, 1993 / Riviera Hotel and Convention Center, Las Vegas, Nevada / To model the "black boxes" in a command and telemetry simulation, it is important to preserve the abstraction of a one-to-one match between the real-world interfaces and the simulated interfaces. Everywhere a physical interface exists on the box, there needs to be a simulated interface. Preserving this abstraction allows the model to evolve more naturally with real-world design changes. In most command and telemetry systems, many different types of commands and telemetry can be sent over a single interface. This creates a problem in preserving the interface abstraction if the Ada language is used for implementation. Due to the fact that Ada is a "strongly typed" language, a different or overloaded operation needs to exist for each type of command or telemetry. However, by using a "discriminated variant record" to represent the commands and telemetry streams, a single operation can be used in the Ada specification. This not only preserves the abstraction but makes the software more maintainable by allowing the data list to change during the design of the "black box" without changing the Ada specification. As a result, "loose coupling" is achieved, a common set of commands and telemetry formats can be "inherited" to promote reuse, and overall system development and maintenance costs are reduced.
6

Verification of compiled code

Buttle, Darren Lee January 2001 (has links)
No description available.
7

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
8

Policy-driven cost containment strategies for ADA mandated paratransit service : a case study of Capital Metropolitan Transportation Authority

Ballentine, Christopher Chadwick 17 February 2011 (has links)
This paper outlines five major policy change recommendations for Capital Metropolitan Transportation Authority’s (Capital Metro) paratransit department called MetroAccess. These policy changes are recommended in response to Capital Metro’s April 2010 audit from the Texas State Legislature’s Sunset Advisory Commission. Overall these policy changes must achieve a mandated 10% cost reduction in the program. / text
9

A denotational semantics for concurrent ADA programs

Mearns, I. January 1983 (has links)
No description available.
10

Implementierung eines modifizierten Variablenmodelles zur Vermeidung Parameter-induzierter Alias-Effekte auf Basis des GNU Ada 95 Compilers

Behrendt, Clemens. January 1997 (has links)
Stuttgart, Univ., Fakultät Informatik, Diplomarb., 1997.

Page generated in 0.0296 seconds