Besides the official care for cultural heritage on Java, which in the 1920s and 1930s was under the responsibility of the Dutch Archeological Service, different attitudes towards heritage are... Show moreBesides the official care for cultural heritage on Java, which in the 1920s and 1930s was under the responsibility of the Dutch Archeological Service, different attitudes towards heritage are identified of which three are discussed more elaborately using three typical case studies. It will become clear how for the local population on Java statues and sites were still places of worship where offerings were made and rituals performed. This use of heritage often clashed with repairs undertaken by the Archeological Service, for instance, for constructional reasons, but which in practice sealed off the heritage for local people for whom it was a site of veneration still. On the other hand, local people sometimes also deliebrately destroyed heritage such as statues who would have had a negative agency. This chapter aims to contribute to how such responses and attitudes should be explained and what questions need to be addressed further to understand the meaning of cultural heritage for the people living nearby heritage sites to whom they are more than reminders of an ancient past. Show less
The development process of any software has become extremely important not just in the IT industry, but in almost every business or domain of research. The effort in making this process quick,... Show moreThe development process of any software has become extremely important not just in the IT industry, but in almost every business or domain of research. The effort in making this process quick, efficient, reliable and automated has constantly evolved into a flow that delivers software incrementally based on both the developer's best skills and the end user's feedback. Software modeling and modeling languages have the purpose of facilitating product development by designing correct and reliable applications. The concurrency model of the Abstract Behavioural Specification (ABS) Language with features for asynchronous programming and cooperative scheduling is an important example of how modeling contributes to the reliability and robustness of a product. By abstracting from the implementation details, program complexity and inner workings of libraries, software modeling, and specifically ABS, allow for an easier use of formal analysis techniques and proofs to support product design. However there is still a gap that exists between modeling languages and programming languages with the process of software development often going on two separate paths with respect to modeling and implementation. This potentially introduces errors and doubles the development effort. \par The overall objective of this research is bridging the gap between modeling and programming in order to provide a smooth integration between formal methods and two of the most well-known and used languages for software development, the Java and Scala languages. The research focuses mainly on sequential and highly parallelizable applications, but part of the research also involves some theoretical proposals for distributed systems. It is a first step towards having a programming language with support for formal models. Show less
Java was once the origin of extraordinary Buddhist art, including a great number of Avalokiteśvara images, in stone, bronze and other metals. These representations of the Bodhisattva date from... Show moreJava was once the origin of extraordinary Buddhist art, including a great number of Avalokiteśvara images, in stone, bronze and other metals. These representations of the Bodhisattva date from between the seventh and the thirteenth century CE. They form the subject of this thesis. The earliest Avalokiteśvara images show him in his ascetic form, but over time he takes on a princely form with jewellery and a sacred thread. The majority of the Avalokiteśvara images were produced during the Central Javanese period and examples in stone can be found at Borobudur, Candi Mendut and the Plaosan Lor complex. The Javanese developed their own artistic language to depict Avalokiteśvara which we see in the style and combination of iconographic features. A few of the Javanese iconographic choices for Avalokiteśvara were local and not adopted in the rest of Insular Southeast Asia. The final depictions of Avalokiteśvara show him in a specific iconographic form, Amoghapāśa Lokeśvara. These images are linked to Candi Jago, near Malang in East Java. This thesis is an iconographic study and traces the development of Avalokiteśvara imagery in Java through time and in connection with developments elsewhere. Show less
This dissertation points out the stark inequalities of segregated criminal justice in nineteenth-century Java and analyses this unequal system in practice, shown by an actor-focused approach... Show moreThis dissertation points out the stark inequalities of segregated criminal justice in nineteenth-century Java and analyses this unequal system in practice, shown by an actor-focused approach and through a framework of legal pluralities. Ravensbergen searched for the conflicts occurring around the green table of the 'pluralistic courts'(landraden and ommegaande rechtbanken) where the non-European population was tried by Javanese and Dutch court members, and Islamic and Chinese legal advisors. The pluralistic courts, the only places in Java where all regional power structures met and actively worked together, were courtrooms of many conflicts. The courts were also in interaction, and conflict, with other state institutions, together all furthering the project of colonial state formation. By taking this approach, Ravensbergen shows how it was not only inequality, but also uncertainty and injustice, that were central to colonial criminal justice imposed on the local population. Show less
This dissertation explores a recent development in the wayang kulit purwa (shadow puppetry) tradition of Surakarta, Central Java, Indonesia, known as pakeliran garap semalam or all-night... Show more This dissertation explores a recent development in the wayang kulit purwa (shadow puppetry) tradition of Surakarta, Central Java, Indonesia, known as pakeliran garap semalam or all-night contemporary-interpretive style. This style was created and debuted in Surakarta by the dhalang (puppeteer) Purbo Asmoro (born 1961 in Pacitan, East Java) in 1989. He spent the next decade developing his new system, and post-2000 it has became the most popular approach to performance practice among puppeteers Purbo Asmoro's generation and younger. This research examines the history of Purbo Asmoro's style, its essential elements and identifying characteristics, his creative processes in developing and working within this style, and the effect his new approach to story-telling has had on other dhalang and on audiences. It also explores Purbo Asmoro’s musings, decisions, motives, and strategies. Most importantly, this work analyzes how all-night contemporary-interpretive style, in Purbo Asmoro's hands, has evolved into an entirely new system of performance practice rather than simply being stylistically innovative in a few characteristic ways. Six live performances over a one year period, 2007–2008, is the primary source material for the analysis. In these recordings, Purbo Asmoro performed two different stories three times each: in classical style, contemporary-interpretive style, and condensed style. Show less
In this thesis we provide a unit testing approach for multi-purposes object-oriented programming languages in the style of Java and C#. Our approach includes the definition of a test... Show moreIn this thesis we provide a unit testing approach for multi-purposes object-oriented programming languages in the style of Java and C#. Our approach includes the definition of a test specification language which results from extending the programming language with new designated specification constructs. This way, the software developer does not need to learn a completely new language. At the same time, adding new constructs allows to increase the abstraction of the language regarding the specification of interaction-based tests. In order to execute a specified test, programming language code is automatically generated from a test specification. Our testing approach is presented in terms of a formal framework. On the one hand, this enables us to identify and analyze the requirements on the design of the specification language in a formal way. On the other hand, on the formal basis we can, likewise, give a formal definition of the code generation algorithm which, in turn, allows us to formally prove its correctness. Finally, we provide a correctness proof regarding the code generation algorithm. Show less
Pressures for religious reform—in any society or religious tradition—may lead to greater orthodoxy and orthopraxy, but can also invite opposition, social polarization, conflict, and violence. In... Show morePressures for religious reform—in any society or religious tradition—may lead to greater orthodoxy and orthopraxy, but can also invite opposition, social polarization, conflict, and violence. In this context the history of the Islamization of the Javanese is particularly interesting and significant. That history reveals periods of conflict and periods of reconciliation, so it may tell us something about what circumstances make religion a source for social harmony and what circumstances make it a cause of conflict. Show less
This book focuses on several Javanese theatre companies and more specifically on the way these groups shape and use their play texts. By looking at the different stages and dimensions of Javanese... Show moreThis book focuses on several Javanese theatre companies and more specifically on the way these groups shape and use their play texts. By looking at the different stages and dimensions of Javanese theatre productions various manifestations of the script and ‘script-like phenomena’ are encountered. All these phenomena play an important role in the production process as a whole. They are mnemonic and structuring devices employed by the participants of the production process. In case studies is explained how the playwright-director creates these tools and how he and the actors apply them. Furthermore, it is shown how ‘shaping agents’ such as the playwright-director, his assistant, the guest star and the companion of the guest star are at work during the performance. These agents influence the way the actors apply the mnemonic and structuring devices that form part of the production process. The interaction between shaping agents is characterised by multiple (humorous) misunderstandings. These misunderstandings eventually lead to collisions and call for multiple creative solutions in response. As a result the Javanese staging process has a lively, spontaneous and creative character. Show less
