Search results for " Language"

showing 10 items of 7270 documents

Economic strain and foreign language attainment: A Polish perspective

2016

Foreign language learning is not only a personal endeavor, but also an activity that takes place within a social support system. In times of economic crisis adverse economic conditions handicap parents’ educational investments. For this reason a student’s development of foreign language skills, limited to the school context, may suffer. This study sheds more light on the experience and effect of economic strain in Polish secondary grammar school students who learn English as a foreign language. The results corroborate studies in the field and demonstrate that high achievers have low perceptions of economic strain.

support systemforeign language attainmenteconomic straineconomic crisisfinancial problemsSelected Papers on Theoretical and Applied Linguistics
researchProduct

MUV: A Game to Encourage Sustainable Mobility Habits

2019

This working paper investigates the question of changing people mobility towards more sustainable habits involving them in an engaging gameplay. The work is performed within MUV H2020 research and innovation action. The game design, definition and features have been co-created through the involvement of different citizens and stakeholders in six European neighbourhoods. The paper discusses the game design as resulting from co-creation and co-design experiences with each neighbourhood communities involved in initial phases. The paper argues that the local co-design activities have influenced the game definition, together with the community engagement approach. The MUV gameplay approach resul…

sustainable urban mobilityCo-creation; Community engagement; Gamification; Urban sustainable mobility; Theoretical Computer Science; Computer Science (all)community engagementEconomic JusticeTheoretical Computer ScienceGame design11. Sustainability0502 economics and businessSettore ICAR/13 - Disegno IndustrialeCo-creationgamificationSociologyNeighbourhood (mathematics)060201 languages & linguistics050210 logistics & transportationSettore ICAR/20 - Tecnica E Pianificazione UrbanisticaCommunity engagementbusiness.industryCo-creationCommunity engagementComputer Science (all)05 social sciencesEquity (finance)06 humanities and the artsPublic relationsGamificationWork (electrical)Action (philosophy)0602 languages and literatureUrban sustainable mobilitybusinessco-creation
researchProduct

Język polski - ojczysty nieobcy czy obcy? Wyzwania edukacji językowej w czasach ponowoczesnych

2016

W artykule podjęty został temat rangi szkolnego nauczania języka polskiego jako ojczystego na tle uczenia języków obcych. Stwierdzono, że nie tylko w polityce językowo-edukacyjnej państwa polskiego, ale także w przekonaniach społecznych i działaniach uczelni wyższych widoczne jest preferowanie języków obcych i niedoszacowanie potrzeb rozwijania kompetencji językowej i komunikacyjnej w zakresie języka polskiego. Niewielka też jest społeczna świadomość znaczenia dobrego władania językiem ojczystym. O konieczności doszacowania wagi rozwijania i doskonalenia sprawności językowo-komunikacyjnych w języku ojczystym świadczą zmiany kulturowe dokonujące się we współczesnym świecie, które obniżają po…

sytuacja językowo-kulturowaeducation policylanguage educationkompetencja językowa i komunikacyjnapolityka edukacyjnaedukacja językowafirst language/L1język ojczystylinguistic and communicative competencelinguistic and cultural situation
researchProduct

Supporting Agile Development by Facilitating Natural User Interaction with Executable Formal Specifications

2011

Agile development benefits from fast feedback from various stakeholders. If implemented in a suitable way, formal methods can enhance the agile development process. With an executable formal specification, it is possible to analyse and simulate the behaviour of the target system before it is being built. However, for the users' and developers' natural participation in the development process, it is necessary to use a real end-user interface and bind it to the execution environment being used in the simulations and animations. This requires, though, that the execution model used to simulate the specification is appropriately changed to facilitate the use of these user interfaces. The authors…

ta113Agile usability engineeringbusiness.industryComputer scienceProgramming languageAgile Unified ProcessGeneral Medicinecomputer.file_formatFormal methodscomputer.software_genreFormal specificationExecutableUser interfacebusinessSoftware engineeringcomputerExecution modelAgile software developmentACM SIGSOFT Software Engineering Notes
researchProduct

Understanding beginners' mistakes with Haskell

2015

AbstractThis article presents an overview of student difficulties in an introductory functional programming (FP) course taught in Haskell. The motivation for this study stems from our belief that many student difficulties can be alleviated by understanding the underlying causes of errors and by modifying the educational approach and, possibly, the teaching language accordingly. We analyze students' exercise submissions and categorize student errors according to compiler error messages and then manually according to the observed underlying cause. Our study complements earlier studies on the topic by applying computer and manual analysis while focusing on providing descriptive statistics of d…

ta113Functional programmingDescriptive statisticsProgramming languageComputer scienceFunction applicationcomputer.software_genrebeginners' mistakesSyntaxCategorizationHaskellComputingMilieux_COMPUTERSANDEDUCATIONMathematics educationTeaching languagecomputer analysisHaskellCompilercomputerSoftwarecomputer.programming_languageJournal of Functional Programming
researchProduct

Formal specification of open standards and the case of RSS v2.0

2014

Open standardization seems to be very popular among software developers as it makes the standard's adoption by the software engineering community easier and smoother. Formal specification methods, on the other hand, while very promising, are being adopted by protocol engineers very slowly; the industry seems to have little motivation to move into this, almost unknown, territory.In this paper the authors present the i) idea of applying formal methods (formal specification techniques) to open standards' specifications, and ii) an example of a formal specification of open standards, RSS v2.0 in particular. The authors support and provide evidence for the advantages of the open standards formal…

ta113Language Of Temporal Ordering SpecificationProgramming languageComputer scienceFormal specificationObject languageAlgebraic specificationSpecification languageRefinementcomputer.software_genreFormal methodscomputerFormal verification
researchProduct

Icons: Visual representation to enrich requirements engineering work

2013

Adapting icons in requirements engineering can support the multifaceted needs of stakeholders. Conventional ap- proaches to RE are mainly highlighted in diagrams. This paper introduces icon-based information as a way to represent ideas and concepts in the requirements engineering domain. We report on icon artifacts that support requirements engi- neering work such as priority types, status states and stakeholder kinds. We evaluate how users interpret meanings of icons and the efficacy of icon prototypes shaped to represent those requirements attributes. Our hypothesis is whether practitioners can recognize the icons’ meaning in terms of their functional representation. According to the empi…

ta113Requirements engineeringComputer scienceProcess (engineering)Interpretation (philosophy)Stakeholdervisuaalinen kieliikonitDomain (software engineering)Visual languagevaatimusmäärittelyHuman–computer interactionvisual languagekulttuuriiconsvaatimustenhallintaIconstakeholdercomputercomputer.programming_languageMeaning (linguistics)
researchProduct

Domain Specific Case Tool for ICT-Enabled Service Design

2014

One major problem in service design is the limited availability of information gathered during the development process. In particular, information on end-user requirements is difficult for designers, developers, and maintainers to access. Here, we provide a mechanism that supports the gathering and modeling of various types of information throughout the service and software development life cycle. As various existing tools focus on a particular part of the life cycle, essential information is not available, or it is more difficult to obtain in later stages. The linkage between information collected in the different stages is often lost. The implemented tool support enables the modeling of r…

ta113Service (systems architecture)Computer sciencebusiness.industryService designDomain (software engineering)SoftwareUnified Modeling LanguageInformation and Communications TechnologySystems development life cycleComponent (UML)Component-based software engineeringSoftware engineeringbusinessComputer-aided software engineeringcomputercomputer.programming_language2014 47th Hawaii International Conference on System Sciences
researchProduct

Use of a Semantic Language to Reduce the Indeterminacy in Agents Communication

2014

In the field of agent communications uncertainty and vagueness in the message content and in the achievable results play a primordial role when two agents (human or artificial) communicate. Even though the importance of vagueness and uncertainty has been recognized long ago, only recently mechanisms related to the communications’ semantics that allow a practical approach have been designed; more specifically, the development of tools such as agent programming languages and frameworks, which is a field of intensive research. On the other hand, recent theoretical ideas, drawn from situation semantics theory and the works of Sutton on semantic information, support this work. This paper applies…

ta113business.industryComputer scienceVaguenessSemanticsOperational semanticscommunications semanticsSoftware agentWell-founded semanticsHuman–computer interactionmulti-agent systems programming languageFourth-generation programming languageArtificial intelligenceFifth-generation programming languageta518businessProgramming language theory
researchProduct

Turing's error-revised

2016

Many important lines of argumentation have been presented during the last decades claiming that machines cannot think like people. Yet, it has been possible to construct devices and information systems, which replace people in tasks which have previously been occupied by people as the tasks require intelligence. The long and versatile discourse over, what machine intelligence is, suggests that there is something unclear in the foundations of the discourse itself. Therefore, we critically studied the foundations of used theory languages. By looking critically some of the main arguments of machine thinking, one can find unifying factors. Most of them are based on the fact that computers canno…

ta113computationClass (set theory)modelformal language02 engineering and technologyconsciousnessArgumentation theoryEpistemologyTuring machineTuring machinesymbols.namesake020204 information systemsFormal language0202 electrical engineering electronic engineering information engineeringsymbolsSelection (linguistics)020201 artificial intelligence & image processingSociologyConstruct (philosophy)TuringcomputermindNatural languagecomputer.programming_languageInternational Journal of Philosophy Study
researchProduct