FInCo 2007 AGAPIA v0.1: A programming language for interactive systems and its typing system

Abstract A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming and reasoning about interactive computing systems have been recently introduced by Stefanescu using register machines and space-time duality, se

Reading in the Disciplines: The Challenges of Adolescent Literacy

A companion report to Carnegie's Time to Act, focuses on the specific skills and literacy support needed for reading in academic subject areas in higher grades. Outlines strategies for teaching content knowledge and reading strategies together

Electronic administration in Spain: from its beginnings to the present

This study presents the basic lines of electronic administration in Spain. The complexity of the Spanish political-administrative system makes such a study challenging, in view of the considerable degree of autonomy and competences of the regional administrative bodies and local agencies with respect to the central government, the former being more visible in the 17 regions of Spain. Nonetheless, the central government maintains a series of legal instruments that allow a certain common framework of action to be imposed, aside from what is put into effect through diverse programs aimed precisely to develop common tools for the regions and municipalities of Spain. After an introduction that provides some necessary background, this study describes the legislative framework in which Spain's electronic administrative system has developed. The data included in the study refer to investment in information and communication technologies (ICT) and the services offered by the different Administrations on the internet; internet access by citizens, homes, businesses, and employees, as well as the interactivity existing with administrations by means of the internet; the origins and rise of various political initiatives of the Central Government involving electronic administration; and finally, the situation of civil service personnel, as catalysts of the success of Information Society in the Public Administration within Spain

Researching the Use of Dictionary by Students of English Literature Department at Jenderal Soedirman University

Dictionaries are recommnded as a useful tool when learning EFL because it gives information of the language about many aspects like, phonology, morphology, syntax, and semantics. Nevertheless, EFL practionaires rarely pay attention to the dictionary used by the students. The article focuses on the investigation about types of dictionaries used, the frequency of dictionary use, and the lexical information examined. Respondents were students of English Literature Department, Jenderal Soedirman University. Data were taken from questionnaires. The result showed that students did not have any special instruction on how to make full use of the dictionaries. The respondents favored bilingual dictionaries over monolingual dictionaries. Respondents saw that pronunciation, usage, and examples were considered as a secondary importance