Titlebook: Reliable Software Technologies - Ada-Europe 2004; 9th Ada-Europe Inter Albert Llamosí,Alfred Strohmeier Conference proceedings 2004 Springe

emission

犬儒主义者

Accrue

Benefits and Problems of Formal Methodsds and languages in general and the Object Constraint Language (OCL) in particular can be employed in a beneficial way. The success of using a formal approach is highly influenced by the expectations and pre-requisite knowledge of the developers, the role the formal support in the development process is given, and of course by the used tools.

妨碍

Supporting Deadlines and EDF Scheduling in Adaching. In this paper we argue that the language should be extended to support another common paradigm, Earliest Deadline First (EDF). A proposal is described that uses standard priorities and the priority ceiling protocol for protected objects.

jagged

Keratectomy

Anemia

Ada Meets GiottoGiotto is a new language for embedded software. It is time-triggered, with temporally fixed communication events and computations occurring in between. We give some motivation and then describe a framework that supports the Giotto programming model in Ada.

judiciousness

出没

978-3-540-22011-4Springer-Verlag Berlin Heidelberg 2004

新星