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

和谐

On the Role of Conceptual Schemas in Information Systems Developmente other hand, there is some confusion over the relationships between CSs and similar concepts such as domain model, domain knowledge, functional specifications and ontologies. This paper tries to shed light on these issues. We show that a CS is the knowledge needed by an IS to perform its functions.

抚慰

愤世嫉俗者

Extracting Ada 95 Objects from Legacy Ada Programsvert from code designed using structured analysis and design techniques into code designed using the object-oriented analysis and design methodology. This paper describes one method, Parameter-Based Object Identification (PBOI) that uses information about parameters passed between sub-programs to ex

SHRIK

On the Tree Width of Ada Programse can be solved efficiently if the underlying graph structure is restricted to one of fixed tree width..In this paper we prove that the tree width of goto-free Ada programs without labeled loops is ≤6. In addition we show that both the use of gotos and the use of labeled loops can result in unbounde

腐败

淘气

母猪

ticlopidine

Implementing Execution-Time Clocks for the Ada Ravenscar Profilerespect to worst case execution time estimations. Execution-time clocks and timers have been proposed to be added to the language in order to support this functionality. Since a wide class of systems which may benefit from this mechanism are likely to use the Ada tasking subset known as the Ravensca

emission

Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linuxles MaRTE OS to be executed as a regular Linux kernel module; this port enhances the MaRTE OS environment with all the Linux facilities while keeping the real-time performance of the original MaRTE kernel..The other development presented is the Linux user-mode MaRTE OS, which is a port of MaRTE to b

Fantasy

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.