The formal ADL Wright allows to describe the structural and behavioral aspects ofabstract software architecture. The behavioral aspects are described in CSP and checked using themodel-checker FDR. While the ADL Wright does not offer any means to realize such architecturesabstract. The objective of this work is to open up the ADL Wright for Ada through an automatedapproach based ...

The effect of physiological concentrations of caffeine (purified from Persian tea) on adenosine deaminase (ADA) activity at physiological and pathological concentrations of adenosine (as substrate) in 50 mM Tris-HCl buffer (pH 7.3) at 37°C was investigated, using UV-VIS spectroscopy. ADA exhibited a bi-phasic activity behavior and both phases showed positive cooperativities indicating adenosine...

Adenosine deaminase (ADA) deficiency results in a combined immunodeficiency brought about by the immunotoxic properties of elevated ADA substrates. Additional non-lymphoid abnormalities are associated with ADA deficiency, however, little is known about how these relate to the metabolic consequences of ADA deficiency. ADA-deficient mice develop a combined immunodeficiency as well as severe pulmo...

Adenosine is generated at sites of tissue injury where it serves to regulate inflammation and damage. Adenosine signaling has been implicated in the regulation of pulmonary inflammation and damage in diseases such as asthma and chronic obstructive pulmonary disease; however, the contribution of specific adenosine receptors to key immunoregulatory processes in these diseases is still unclear. Mi...

This paper presents the foundations of RAPIDS (“Replicated Ada Partitions In Distributed Systems”), an implementation of the Distributed Systems Annex E incorporating the transparent replication of partitions in distributed Ada 95 applications. RAPIDS is a replication manager for semi–active replication based on a piecewise deterministic computation model. It guarantees replica consistency for ...

This article presents the quality and analysis model of the SQALE assessment method of software source code. It explains how an Ada quality model compliant to SQALE is implemented and the results of its application to selected software, and how the use of Ada reduces the quality debt unlike many other technologies.

This document describes an approach to support network applications, that is client-server applications with a dynamic number of short-lived clients, within the original Ada 95 distributed systems model. The conformance of this concept with the Ada Standard is verified. An implementation based on GLADE, the implementation for the GNAT compiler of Annex E of the Ada Reference Manual, is presente...

The paper describes some aspects of the development of control embedded systems concerned with the transformation from a formal RTCP-net model into Ada 2005 source code. RTCP-nets have been defined, among other things, to equip coloured Petri nets with capability of direct modelling of elements typical for concurrent programming in Ada, such as task priorities, timeouts, etc. Hence, it is possi...

Adenosine deaminase (ADA) deficiency is associated with a fatal severe combined immunodeficiency. Because most patients do not have a suitable marrow donor, the introduction of a normal ADA gene into the patient's marrow cells is a potentially useful alternative therapy. To identify vectors that provide optimal gene expression in human hematopoietic cells, we investigated retroviral vectors con...