scholarly journals Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661

2020 ◽  
pp. 21-39
Author(s):  
Neeraj Kumar Singh ◽  
Yamine Aït-Ameur ◽  
Dominique Méry ◽  
David Navarre ◽  
Philippe Palanque ◽  
...  
Keyword(s):  
Formal Development ◽  
Interactive Application

The Rhythms of Reiteration: Formal Development in Stravinsky's Ostinati

1992 ◽  
Vol 14 (2) ◽  
pp. 171-187 ◽  
Author(s):  
Gretchen Horlacher
Keyword(s):  
Formal Development

scholarly journals Is Architecture Connected with Intangible Cultural Heritage? Reflections from Architectural Digital Documentation and Interactive Application Design in Three Aegean Islands

Heritage ◽  
2021 ◽  
Vol 4 (2) ◽  
pp. 664-689
Author(s):  
Pavlos Chatzigrigoriou ◽  
Vasiliki Nikolakopoulou ◽  
Theodoros Vakkas ◽  
Spyros Vosinakis ◽  
Panayiotis Koutsabasis
Keyword(s):  
Cultural Heritage ◽  
Intangible Cultural Heritage ◽  
Tourist Industry ◽  
Interactive Technologies ◽  
Aegean Islands ◽  
Research Findings ◽  
Digital Documentation ◽  
Early Design Stages ◽  
Interactive Application ◽  
Areas Of Interest

The research project “Mouseion Topos” (in English: “Museums Place”), focusing on traditional local settlements situated at three Aegean islands, aims to contribute to the promotion of their physiognomy and intangible cultural heritage by connecting regional museums with each settlement. The present article, part of the project’s initial phase, via the application of the HERMeS methodology (version 1 and 2) and the development of the associate digital documentation tools, identifies and records the architectural and urban elements influenced by each settlement’s intangible cultural heritage as listed by UNESCO and presented by their corresponding museums. The research findings revealed connections between the museums’ content and the documented tangible heritage based on the formulated conceptual and heatmaps, which can be used at the early design stages of the current project’s interactive applications, especially in mobile tours. Finally, the research findings verify that despite the limitations and issues for further research, the introduced HERMeS methodology and digital tools are reliable and contribute to the respective field’s theory. The paper also provides beneficial deliberation on digital architectural heritage documentation methods and interactive technologies, highlighting points and areas of interest that the tourist industry, technology designers, museum curators, and architects can employ.

A Simple Screen Management System to Aid Quick Development of Interactive Application Programs

1987 ◽  
Vol 24 (2) ◽  
pp. 115-129 ◽  
Author(s):  
A. J. Walker
Keyword(s):  
Management System ◽  
Program Design ◽  
Teaching Environment ◽  
Application Program ◽  
Human Interface ◽  
Interactive Application ◽  
Application Programs

Experience shows that one of the most time consuming aspects of interactive application program design is the development of the human interface. This paper describes a set of procedures for aiding the development of well-engineered interactive programs in a teaching environment.

scholarly journals Toward formal development of programs from algebraic specifications: Parameterisation revisited

1992 ◽  
Vol 29 (8) ◽  
pp. 689-736 ◽  
Author(s):  
Donald Sannella ◽  
Stefan Sokolowski ◽  
Andrzej Tarlecki
Keyword(s):  
Algebraic Specifications ◽  
Formal Development

Formal Development of General Relativity

1969 ◽  
pp. 155-212
Author(s):  
Wolfgang Rindler
Keyword(s):  
General Relativity ◽  
Formal Development
Sign in / Sign up

Export Citation Format

Share Document