7,815 research outputs found
Metamodel-based model conformance and multiview consistency checking
Model-driven development, using languages such as UML and BON, often makes use of multiple diagrams (e.g., class and sequence diagrams) when modeling systems. These diagrams, presenting different views of a system of interest, may be inconsistent. A metamodel provides a unifying framework in which to ensure and check consistency, while at the same time providing the means to distinguish between valid and invalid models, that is, conformance. Two formal specifications of the metamodel for an object-oriented modeling language are presented, and it is shown how to use these specifications for model conformance and multiview consistency checking. Comparisons are made in terms of completeness and the level of automation each provide for checking multiview consistency and model conformance. The lessons learned from applying formal techniques to the problems of metamodeling, model conformance, and multiview consistency checking are summarized
"Audacity or Precision": The Paradoxes of Henri Villat's Fluid Mechanics in Interwar France
In Interwar France, Henri Villat became the true leader of theoretical
researches on fluid mechanics. Most of his original work was done before the
First World War; it was highly theoretical and its applicability was
questioned. After having organized the first post-WWI International Congress of
Mathematicians in 1920, Villat became the editor of the famous Journal de
math\'ematiques pure et appliqu\'es and the director of the influential book
series "M\'emorial des sciences math\'ematiques." From 1929 on, he held the
fluid mechanics chair established by the Air Ministry at the Sorbonne in Paris
and was heading the government's critical effort invested in fluid mechanics.
However, while both his wake theory and his turbulence theory seemingly had
little success outside France or in the aeronautical industry (except in the
eyes of his students), applied mathematics was despised by the loud generation
of Bourbaki mathematicians coming of age in the mid 1930s. How are we to
understand the contrasted assessments one can make of Villat's place in the
history of fluid mechanics
Promoting Rhema Tours and Travel's Holyland Tours Using a Marketing Booklet
Rhema Tours and Travel is a travel agency located in Jalan Jemursari 234A that specializes in Christian pilgrimage trips. It offers tours to Israel, Jordan, Egypt, and Europe. There were only a few people who know about Rhema Tours and Travel. This is probably due to ineffective promotional tools. Rhema Tours and Travel had brochures and company profiles to promote their Holy-land tours. However, those promotional tools are not very effective since they did not highlight the uniqueness of Rhema's Holy Land Tours. Therefore, I made a marketing booklet to serve as an effective promotional tool that can promote Rhema's Holy Land tours to customers by highlighting its uniqueness
Recommended from our members
The artist in the field: investigating tourist performativity and ethnographic methodology through art practice
This research centres on an artistic exploration of ethnographic methodologies whilst investigating tourist performativity and the presentation of self within tourist documentation. Central to this presentation is the performance of the documented smile. The materiality of this research comes from documentary evidence (video, sound, photography, interviews, fieldnotes and diaries) recorded during a fieldtrip around popular tourist destinations in Europe. Data gathering methods, such as participant observation, reflexive writing and informal interviews with tourists, were employed not just to capture the tourist experience of others, but also to explore the multiplicity and variability of the researcher self within the field. The representation of the researcher within the research findings has become one of the issues that this project has sought to address. Two practical outputs, a primary case study entitled Smile: Formaggio con Queso (a randomly configuring computer networked installation) and a secondary case study (an interactive kiosk), interface a database constructed from the field data. Both case studies support research into how ethnographic methods might be used to inform the production processes of an art project, and, additionally, how digital art practice might contribute to the presentation of post-paradigm ethnography. The practical issues of data collecting and the implications of using the self as part of the data source are highlighted. This will be of interest to artists working in field environments where the self and 'other' is synonymous. Furthermore, the primary case study challenges conventional representational ethnographic modes in order to facilitate new kinds of qualitative and ethnographic insights. A reflexive autoethnographic approach to writing the thesis has been utilised to validate my personal narrative as a line of inquiry
- …