Search results for " Formal"
showing 3 items of 273 documents
Forma, cultura, società. Teorie e metodi degli studi sull’arte
2010
Usability Assessment of a UML-Based Formal Modeling Method Using a Cognitive Dimensions Framework
2008
Conceptual models communicate the important aspects of a problem domain to stakeholders. The quality of the models is highly dependent on the usability of the modeling method used. This paper presents a survey conducted on a method that integrates the use of a semiformal notation, namely the Unified Modeling Language (UML) and a formal notation, namely B. The survey assessed the usability of the method by using the grounded theory, the Cognitive Dimensions of Notations (CD) framework, and several criteria suggested by the International Organization for Standardization (ISO). Ten participants responded to the survey. The results suggest that the method is accessible to users when the princip…
How secondary school pupils bring their informal learning experiences into a Content and Language Integrated (CLIL) classroom
2014
This article explores how students’ informal language learning experiences with English find their way into the formal context of content-based language teaching (CLIL). The analysis is focused on stretches of classroom talk in which native Finnish-speaking students draw on their expertise of English-language popular culture, and use their knowledge as a semiotic resource for producing various types of actions. Based on the data, it is argued that the organisation of peer group talk in the language classroom provides students with affordances for participation that are characteristically different from whole-class interaction. In this environment, global popular culture and conversational h…