701 research outputs found
Ravenscar Design Patterns? Reflections on Use of the Ravenscar Profile
No full textIndustrial developers have started to use the Ravenscar Profile in challenging application domains. The thorough feedback that begins to emerge from these experiences is of great interest to the community (i.e. the IRTAW group) that first conceived and promoted the Profile. This paper undertkes a first analysis of a specific experience report to which the author had early and privileged access
A New Strategy for the HRT-HOOD to Ada Mapping
No full textThe original mapping of HRT-HOOD diagrams to Ada code dates back to the late stages of the Ada 9X project. Since then, considerably deeper insight has been gained into the practical use of Ada 95 for high-integrity applications, of which the Ravenscar Profile is a notable emanation. In this paper we present a new HRT-HOOD to Ada mapping strategy, which aims to overcome the shortcomings we noted in the original one, by leveraging on the better understanding of the language power and of the user requirements that has been generally achieved in the meanwhile
Audrey Vardanega, Piano
No full text2019, March 22
Audrey Vardanega, piano, performed Brahms: 3 Intermezzi, Op. 117; Beethoven: Piano Sonata No. 26 in E-flat Major, Op. 81A (“Les Adieus”); Debussy: Selections from Piano Preludes Book II – Brouillards; La Peurta del Vino: Mouvement de Habanera; Beethoven: Piano Sonata No. 28 in A Major, Op. 101https://digitalcommons.rockefeller.edu/tri-institutional-noon-recitals/1036/thumbnail.jp
Vardanega, B, 1201504
No full textThis record was harvested from a previous catalogue system and will be withdrawn in 2025. Information in this record may be superseded or incomplete. Visit this record in UMA's new catalogue at: https://archives.library.unimelb.edu.au/nodes/view/422931Surname: VARDANEGA. Given Name(s) or Initials: B. Military Service Number or Last Known Location: 1201504. Missing, Wounded and Prisoner of War Enquiry Card Index Number: SEA-3618.249446
Item: [2016.0049.55192] "Vardanega, B, 1201504
- …
