994 resultados para Algebraic Specification Language


Relevância:

20.00% 20.00%

Publicador:

Resumo:

This article reports on an exploratory study into the use of students' native language (NL) by teachers in the foreign language (FL) classroom. The project was undertaken by four teachers of beginner French at the University of Queensland. The teachers' aim was to investigate the use of NL in a context which actively promotes an immersion approach to FL teaching. The audio recordings of the teachers' speech were transcribed to provide data for estimating the amount of NL, and for analyzing the various instances of NL use. The study indicates that the activity type is a significant variable affecting NL amount. It also isolates two strategic uses of NL, translating FL words into NL, and contrasting NL and FL forms, both of which involve intrasentential code switching with NL words embedded in an FL sentence. The study suggests that these strategies may facilitate acquisition during immersion in FL, but experimental research is needed to test the hypothesis that translation and contrast facilitate learning of FL vocabulary and grammar.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper investigates the factors affecting the language choices of the Chinese Foochows of Sarawak, focusing in particular on how the use of the Foochow dialect vis-a`-vis English and other languages might potentially result in a shift in language allegiance away from Foochow. In the context of Sarawak, the Foochows are a substantial, cohesive and homogeneous Chinese ethnic group with a distinctive language and ethnic identity. One would predict that they would engage in extensive language maintenance behaviour. Instead, Foochows living in non-Foochow dominant areas do not seem to have sufficient attachment to the language to transmit it to the next generation. Is this because the Foochows consider that accommodating to communicative norms is more important than preserving their native language as an inherent symbol of their ethnic identity? Or is it the result of the Foochows’ insecurity about the prestige of the dialect and the status of the Foochow people? These issues of accommodation and language allegiance are discussed, based on interview and questionnaire data from 11 Foochow participants. This data set is part of a larger study on the language use of different ethnic groups in multilingual organisational settings in Sarawak.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We present an abstract model of the leader election protocol used in the IEEE 1394 High Performance Serial Bus standard. The model is expressed in the probabilistic Guarded Command Language. By formal reasoning based on this description, we establish the probability of the root contention part of the protocol successfully terminating in terms of the number of attempts to do so. Some simple calculations then allow us to establish an upper bound on the time taken for those attempts.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A new algebraic Bethe ansatz scheme is proposed to diagonalize classes of integrable models relevant to the description of Bose-Einstein condensation in dilute alkali gases. This is achieved by introducing the notion of Z-graded representations of the Yang-Baxter algebra. (C) 2003 American Institute of Physics.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Graphical user interfaces (GUIs) are critical components of today's software. Developers are dedicating a larger portion of code to implementing them. Given their increased importance, correctness of GUIs code is becoming essential. This paper describes the latest results in the development of GUISurfer, a tool to reverse engineer the GUI layer of interactive computing systems. The ultimate goal of the tool is to enable analysis of interactive system from source code.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The integration and composition of software systems requires a good architectural design phase to speed up communications between (remote) components. However, during implementation phase, the code to coordinate such components often ends up mixed in the main business code. This leads to maintenance problems, raising the need for, on the one hand, separating the coordination code from the business code, and on the other hand, providing mechanisms for analysis and comprehension of the architectural decisions once made. In this context our aim is at developing a domain-specific language, CoordL, to describe typical coordination patterns. From our point of view, coordination patterns are abstractions, in a graph form, over the composition of coordination statements from the system code. These patterns would allow us to identify, by means of pattern-based graph search strategies, the code responsible for the coordination of the several components in a system. The recovering and separation of the architectural decisions for a better comprehension of the software is the main purpose of this pattern language

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A common problem among information systems is the storage and maintenance of permanent information identified by a key. Such systems are typically known as data base engines or simply as data bases. Today the systems information market is full of solutions that provide mass storage capacities implemented in different operating system and with great amounts of extra functionalities. In this paper we will focus on the formal high level specification of data base systems in the Haskell language. We begin by introducing a high level view of a data base system with a specification of the most common operations in a functional point of view. We then augment this specification by lifting to the state monad which is then modified once again to permit input/output operations between the computations

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The lack of a commonly accepted de nition of a software component, the proliferation of competing `standards' and component frameworks, is here to stay, raising the fundamental question in component-based development of how to cope in practice with heterogeneity. This paper reports on the design of a Component Repository aimed to give at least a partial answer to the above question. The repository was fully speci ed in Vdm and a working prototype is currently being used in an industrial environment

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O XBRL - eXtensible Business Report Language - é uma linguagem que está sendo implementada em vários países para divulgação das informações contábil-financeiras pela internet. Este artigo mostra o estado-da-arte do XBRL e como se deu sua evolução, bem como avalia o estágio atual do Brasil na divulgação de informações contábil-financeiras pela internet. Foi realizada uma pesquisa do tipo survey com empresas de capital aberto no Brasil. A pesquisa revelou uma forte aceitação do meio eletrônico para divulgação de informações financeiras e também que ainda é muito pequeno o conhecimento da linguagem XBRL no país e, conseqüentemente, menor ainda o número de entidades que já iniciaram formalmente os estudos para sua implementação. Mostrou ainda a inexistência de um padrão de divulgação de informações eletrônicas, tendo predominado os formatos PDF, HTML e DOC, o que dificulta a análise e comparação de informações entre órgãos reguladores e com o público em geral.