Global ETD Search

1	Generierung der Zwischendarstellung IML für Ada95 Programme Keul, Steffen. January 2005 (has links) Stuttgart, Univ., Diplomarb., 2005. ADA 95.
2	Extraktion statischer Abhängigkeiten aus Ada95-Programmen mittels ASIS Neinert, Sascha. January 2004 (has links) Stuttgart, Univ., Diplomarb., 2004. ADA 95.
3	Implementierung einer Anfrageschnittstelle für ASIS zur Generierung von IML Müller, Martin. January 2005 (has links) Stuttgart, Univ. Studienarb., 2005. ADA. Quellcode.
4	Versuch über die Lyrik Ada Negri's ... Carl, Ursula, January 1937 (has links) Thesis--Zürich. / Lebenslauf. "Literatur": p. 113-114. Negri, Ada,
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. Object-Oriented Ada Simulation
6	Verification of compiled code Buttle, Darren Lee January 2001 (has links) No description available. 005 Safety critical; Ada
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 Ada (Computer program language)
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 Paratransit ADA Capital Metro
9	A denotational semantics for concurrent ADA programs Mearns, I. January 1983 (has links) No description available. 005 Programming language ADA
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., Fakultät Informatik, Diplomarb., 1997. ADA-Compiler. Variable.

Search results