A gentle transition from Java programming to Web Services using XML-RPC

Exposing students to leading edge vocational areas of relevance such as Web Services can be difficult. We show a lightweight approach by embedding a key component of Web Services within a Level 3 BSc module in Distributed Computing. We present a ready to use collection of lecture slides and student activities based on XML-RPC. In addition we show that this material addresses the central topics in the context of web services as identified by Draganova (2003)

The 14th Overture Workshop: Towards Analytical Tool Chains

This report contains the proceedings from the 14th Overture workshop organized in connection with the Formal Methods 2016 symposium. This includes nine papers describing different technological progress in relation to the Overture/VDM tool support and its connection with other tools such as Crescendo, Symphony, INTO-CPS, TASTE and ViennaTalk

Patient Monitoring and Abnormality Detection Along with an Android Application

The health related problems are becoming more and more critical. This necessitates the need for continuous monitoring of health parameters of the patient. The health monitoring electronic equipment’s are not able to maintain health logs, analyzing the biomedical data obtained and assisting the patient and caregivers depending on the analysis. This project is intended to monitor the patient’s bio-signals like Electro Cardio Gram (ECG), pulse rate, respiration rate and temperature. Suitable algorithms can be used to find out the abnormalities in these bio-signals. Today Electronic Patient Records (EPR) are confined to the hospital database and are available within the hospital information system. This project also aims to a modification of Electronic Patient Records depending on the real-time vital parameter feed. These updated EPR information instead of storing in the hospital database are uploaded through the internet and stored in a cloud system. The patient need not have to carry the medical records in the form of papers, films or Compact Disc (CD) while moving from hospital to hospital. The patient needs to carry only an android mobile phone. Using the android application, the medical records stored in the cloud can be retrieved. The physician can analyze the medical records of the patient either through personal computers or through the mobile phones with the help of android application

On the Extensibility of Formal Methods Tools

Modern software systems often have long lifespans over which they must continually evolve to meet new, and sometimes unforeseen, requirements. One way to effectively deal with this is by developing the system as a series of extensions. As requirements change, the system evolves through the addition of new extensions and, potentially, the removal of existing extensions. In order for this kind of development process to thrive, it is necessary that the system have a high level of extensibility. Extensibility is the capability of a system to support the gradual addition of new, unplanned functionalities. This dissertation investigates extensibility of software systems and focuses on a particular class of software: formal methods tools. The approach is broad in scope. Extensibility of systems is addressed in terms of design, analysis and improvement, which are carried out in terms of source code and software architecture. For additional perspective, extensibility is also considered in the context of formal modelling. The work carried out in this dissertation led to the development of various extensions to the Overture tool supporting the Vienna Development Method, including a new proof obligation generator and integration with theorem provers. Additionally, the extensibility of Overture itself was also improved and it now better supports the development and integration of various kinds of extensions. Finally, extensibility techniques have been applied to formal modelling, leading to an extensible architectural style for formal models

Test-Driven Learning in High School Computer Science

Test-driven development is a style of software development that emphasizes writing tests first and running them frequently with the aid of automated testing tools. This development style is widely used in the software development industry to improve the rate of development while reducing software defects. Some computer science educators are adopting the test-driven development approach to help improve student understanding and performance on programming projects. Several studies have examined the benefits of teaching test-driven programming techniques to undergraduate student programmers, with generally positive results. However, the usage of test-driven learning at the high school level has not been studied to the same extent. This thesis investigates the use of test-driven learning in high school computer science classes and whether test-driven learning provides benefits for high school as well as college students

Decentralization in Nation State Building of Indonesia

Introduction：Today, many countries, regardless of developed or developing, are trying to promote decentralization. According to Manor, as his quoting of Nickson\u27s argument, decentralization stems from the necessity to strengthen local governments as proxy of civil society to fill the yawning gap between the state and civil society (Manor [1999]: 30). With the end to the Cold War following the collapse of the Soviet Union rendering the cause of the “leadership of the central government to counter communism” meaningless, Manor points out, it has become increasingly difficult to respond flexibly to changes in society under the centralized system. Then, what benefits can be expected from the effectuation of decentralization? Litvack-Ahmad-Bird cited the four points: attainment of allocative efficiency in the face of different local preferences for local public goods; improvement to government competitiveness; realization of good governance; and enhancement of the legitimacy and sustainability of heterogeneous national states (Litvack, Ahmad & Bird [1998]: 5). They all contribute to reducing the economic and social costs of a central government unable to respond to changes in society and enhancing the efficiency of state administration through the delegation of authority to local governments. Why did Indonesia have a go at decentralization? As Maryanov recognizes, reasons for the implementation of decentralization in Indonesia have never been explicitly presented (Maryanov [1958]: 17). But there was strong momentum toward building a democratic state in Indonesia at the time of independence, and as indicated by provisions of Article 18 of the 1945 Constitution, there was the tendency in Indonesia from the beginning to debate decentralization in association with democratization. That said debate about democratization was fairly abstract and the main points are to ease the tensions, quiet the complaints, satisfy the political forces and thus stabilize the process of government (Maryanov [1958]: 26-27). What triggered decentralization in Indonesia in earnest, of course, was the collapse of the Soeharto regime in May 1998. The Soeharto regime, regarded as the epitome of the centralization of power, became incapable of effectively dealing with problems in administration of the state and development administration. Besides, the post-Soeharto era of “reform (reformasi)” demanded the complete wipeout of the Soeharto image. In contraposition to the centralization of power was decentralization. The Soeharto regime that ruled Indonesia for 32 years was established in 1966 under the banner of “anti-communism.” The end of the Cold War structure in the late 1980s undermined the legitimate reason the centralization of power to counter communism claimed by the Soeharto regime. The factor for decentralization cited by Manor is applicable here. Decentralization can be interpreted to mean not only the reversal of the centralized system of government due to its inability to respond to changes in society, as Manor points out, but also the participation of local governments in the process of the nation state building through the more positive transfer of power (democratic decentralization) and in the coordinated pursuit with the central government for a new shape of the state. However, it is also true that a variety of problems are gushing out in the process of implementing decentralization in Indonesia. This paper discusses the relationship between decentralization and the formation of the nation state with the awareness of the problems and issues described above. Section 1 retraces the history of decentralization by examining laws and regulations for local administration and how they were actually implemented or not. Section 2 focuses on the relationships among the central government, local governments, foreign companies and other actors in the play over the distribution of profits from exploitation of natural resources, and examines the process of the ulterior motives of these actors and the amplification of mistrust spawning intense conflicts that, in extreme cases, grew into separation and independence movements. Section 3 considers the merits and demerits at this stage of decentralization implemented since 2001 and shed light on the significance of decentralization in terms of the nation state building. Finally, Section 4 attempts to review decentralization as the “opportunity to learn by doing” for the central and local governments in the process of the nation state building. In the context of decentralization in Indonesia, deconcentration (dekonsentrasi), decentralization (desentralisasi) and support assignments (tugas pembantuan; medebewind, a Dutch word, was used previously) are defined as follows. Dekonsentrasi means that when the central government puts a local office of its own, or an outpost agency, in charge of implementing its service without delegating the administrative authority over this particular service. The outpost agency carries out the services as instructed by the central government. A head of a local government, when acting for the central government, gets involved in the process of dekonsentrasi. Desentralisasi, meanwhile, occurs when the central government cedes the administrative authority over a particular service to local governments. Under desentralisasi, local governments can undertake the particular service at their own discretion, and the central government, after the delegation of authority, cannot interfere with how local governments handle that service. Tugas pembantuan occur when the central government makes local governments or villages, or local governments make villages, undertake a particular service. In this case, the central government, or local governments, provides funding, equipment and materials necessary, and officials of local governments and villages undertake the service under the supervision and guidance of the central or local governments. Tugas pembantuan are maintained until local governments and villages become capable of undertaking that particular service on their own

Democratizing Indonesia: Reformasi Period in Historical Perspective

Introduction : Triggered by the Asian currency crisis, Indonesia plunged into the times of violent change. With the downfall of the long-standing Soeharto rule in May 1998, changes of the state order started with great magnitude and rapidity under a new banner of “reformasi” (reform). What changes have occurred in this reformasi period? What do these changes signify? To answer these questions, it would be better to have a certain yardstick to allow us comparison. One possibility is to use a yardstick of history. What picture will emerge if we see the current array of changes in long-term historical perspectives is a main question of this paper. This paper intends to provide a bird\u27s-eye picture illustrating where in the Indonesian history the current restructuring of the state order is located. Rather than focusing on a specific area, I here attempt to broaden our outlook on Indonesia\u27s political, economic and social arenas in order to identify what are happening in these arenas, how they are mutually related, and what those events signify in the Indonesia\u27s historical context

Mit cyklopa w antyku i literaturze hiszpańskiej złotych wieków

W literaturze starożytnej obecne są dwa, biegunowo odmienne, motywy podania o Cyklopie: epicki, znany z IX ks. Odysei, przywołany później i poddany modyfikacji przez Eurypidesa w dramacie satyrowym Cyklop oraz liryczno-erotyczny spopularyzowany przez Teokryta w XI sielance, Skargi Cyklopa. Wersję Teokryta rozbudował Owidiusz w XIII ks. Metamorfoz. Pomostem między obydwoma wariantami mitycznymi jest tzw. dytyramb Filoksenosa z Kytery. Mit Polifema, głównie w postaci, jaką nadał mu Owidiusz, przewija się przez hiszpański wiek XVI aż do początku kolejnego stulecia, znajdując wielu naśladowców i tłumaczy. Pod koniec XVI wieku sięga do niego również Lope de Vega w powieści pasterskiej La Arcadia (1598), nadając mu formę tradycyjnej hiszpańskiej strofy romance. Mit stanowi odbicie historii będącej przedmiotem narracji, wzbogacając powieść o elementy perspektywy autobiograficznej. W Fábula de Polifemo (1612) Luisa de Góngory mit ulega całkowitej transformacji. W jego interpretacji przeważają barokowe kontrasty i hiperbola. Struktura dzieła oparta jest na zbieżności przeciwieństw: potworności Polifema i piękna Galatei. Mit staje się też okazją do transpozycji koncepcji piękna, wywodzącej się od petrarkizmu: obserwować można dominantę planu metaforycznego, zastępującego elementy rzeczywistości

The Cowl - v.7 - n.17 - Mar 6, 1942

The Cowl - student newspaper of Providence College. Volume 7, Number 17 - Mar 6, 1942. 4 pages