Integrating Formal Methods with Informal Digital Hardware Development

This paper presents some results from an industrial project to develop high-integrity digital hardware by integrating formal methods with a more traditional informal approach. The ultimate goal of the project team was to produce sythesisable VHDL that could be proven to meet given requirements for an embedded controller. The burden was on the formal methods experts to integrate themselves into the team. This paper describes the formal approach that was developed as a result

Learning from Digital Natives: Bridging Formal and Informal Learning. Final Report

Overview This report suggests that students are increasingly making use of a variety of etools (such as mobile phones, email, MSN, digital cameras, games consoles and social networking sites) to support their informal learning within formalised educational settings, and that they use the tools that they have available if none are provided for them. Therefore, higher education institutions should encourage the use of these tools. Aims and background This study aimed to explore how e-tools (such as mobile phones, email, MSN, digital cameras, games consoles and social networking sites) and the processes that underpin their use can support learning within educational institutions and help improve the quality of students’ experiences of learning in higher education (pgs 9-11). Methodology The study entailed: (i) desk research to identify related international research and practice and examples of integration of e-tools and learning processes in formal educational settings; (ii) a survey of 160 engineering and social work students across two contrasting Scottish universities (pre- and post-1992) – the University of Strathclyde and Glasgow Caledonian University – and follow-up interviews with eight students across the two subject areas to explore which technologies students were using for both learning and leisure activities within and outside the formal educational settings and how they would like to use such technologies to support their learning in both formal and informal settings; and (iii) interviews with eight members of staff from across the institutions and two subject areas to identify their perceptions of the educational value of the e-tools. (pgs 24-27). Key findings • Students reported making extensive use of a variety of both e-tools (such as mobile phones, email, MSN, digital cameras) and social networking tools (such as Bebo, MySpace, Wikipedia and YouTube) for informal socialisation, communication, information gathering, content creation and sharing, alongside using the institutionally provided technologies and learning environments. • Most of the students owned their own computer or had access to a sibling or parent’s computer. Many students owned a laptop but preferred not to bring it onto campus due to security concerns and because they found it too heavy to carry about. • Ownership of mobile phones was ubiquitous. • Whilst the students’ information searching literacy seemed adequate, the ability of these students to harness the power of social networking tools and informal processes for their learning was low. Staff reported using a few Web 2.0 and social software tools but they were generally less familiar with how these could be used to support learning and teaching. There were misconceptions surrounding the affordances of the tools and fears expressed about security and invasion of personal space. Considerations of the costs and the time it would take staff to develop their skills meant that there was a reluctance to take up new technologies at an institutional level. • Subject differences emerged in both staff and student perceptions as to which type of tools they would find most useful. Attitudes to Web 2.0 tools were different. Engineers were concerned with reliability, using institutional systems and inter-operability. Social workers were more flexible because they were focused on communication and professional needs. • The study concluded that digital tools, personal devices, social networking software and many of the other tools explored all have a large educational potential to support learning processing and teaching practices. Therefore, use of these tools and processes within institutions, amongst staff and students should be encouraged. • The report goes on to suggest ways in which the use of such technologies can help strengthen the links between informal and formal learning in higher education. The recommendations are grouped under four areas – pedagogical, socio-cultural, organisational and technological

InfoInternet for Education in the Global South: A Study of Applications Enabled by Free Information-only Internet Access in Technologically Disadvantaged Areas (authors' version)

This paper summarises our work on studying educational applications enabled by the introduction of a new information layer called InfoInternet. This is an initiative to facilitate affordable access to internet based information in communities with network scarcity or economic problems from the Global South. InfoInternet develops both networking solutions as well as business and social models, together with actors like mobile operators and government organisations. In this paper we identify and describe characteristics of educational applications, their specific users, and learning environment. We are interested in applications that make the adoption of Internet faster, cheaper, and wider in such communities. When developing new applications (or adopting existing ones) for such constrained environments, this work acts as initial guidelines prior to field studies.Comment: 16 pages, 1 figure, under review for a journal since March 201

Digital information support for concept design

This paper outlines the issues in effective utilisation of digital resources in conceptual design. Access to appropriate information acts as stimuli and can lead to better substantiated concepts. This paper addresses the issues of presenting such information in a digital form for effective use, exploring digital libraries and groupware as relevant literature areas, and argues that improved integration of these two technologies is necessary to better support the concept generation task. The development of the LauLima learning environment and digital library is consequently outlined. Despite its attempts to integrate the designers' working space and digital resources, continuing issues in library utilisation and migration of information to design concepts are highlighted through a class study. In light of this, new models of interaction to increase information use are explored

Transforming pedagogy using mobile Web 2.0

Blogs, wikis, podcasting, and a host of free, easy to use Web 2.0 social software provide opportunities for creating social constructivist learning environments focusing on student-centred learning and end-user content creation and sharing. Building on this foundation, mobile Web 2.0 has emerged as a viable teaching and learning tool, facilitating engaging learning environments that bridge multiple contexts. Today’s dual 3G and wifi-enabled smartphones provide a ubiquitous connection to mobile Web 2.0 social software and the ability to view, create, edit, upload, and share user generated Web 2.0 content. This article outlines how a Product Design course has moved from a traditional face-to-face, studio-based learning environment to one using mobile Web 2.0 technologies to enhance and engage students in a social constructivist learning paradigm. Keywords: m-learning; Web 2.0; pedagogy 2.0; social constructivism; product desig

Best practices for deploying digital games for personal empowerment and social inclusion

Digital games are being increasingly used in initiatives to promote personal empowerment and social inclusion (PESI) of disadvantaged groups through learning and participation. There is a lack of knowledge regarding best practices, however. The literature on game-based learning insufficiently addresses the process and context of game-based practice and the diversity of contexts and intermediaries involved in PESI work. This paper takes an important step in addressing this knowledge gap using literature review, case studies, and expert consultation. Based on our findings, we formulate a set of best practices for different stakeholders who wish to set up a project using digital games for PESI. The seven cases in point are projects that represent various application domains of empowerment and inclusion. Case studies were conducted using documentation and interviews, covering background and business case, game format/technology, user groups, usage context, and impact assessment. They provide insight into each case’s strengths and weaknesses, allowing a meta-analysis of the important features and challenges of using digital games for PESI. This analysis was extended and validated through discussion at two expert workshops. Our study shows that a substantial challenge lies in selecting or designing a digital game that strikes a balance between enjoyment, learning and usability for the given use context. The particular needs of the target group and those that help implement the digital game require a highly specific approach. Projects benefit from letting both intermediaries and target groups contribute to the game design and use context. Furthermore, there is a need for multi-dimensional support to facilitate the use and development of game-based practice. Integrating game use in the operation of formal and informal intermediary support organiszations increases the chances at reaching, teaching and empowering those at risk of exclusion. The teachers, caregivers and counsellors involved in the implementation of a game-based approach, in turn can be helped through documentation and training, in combination with structural support

Landscape Study in Wireless and Mobile Learning in the post-16 sector

In the post-16 sector (further and higher education, and adult and community learning) there is a need to understand how wireless and mobile technologies can contribute to improving the student experience of learning, and help institutions fulfil their missions in an age of incomparably fast technological change. In the context of this interest and growing need, a Landscape Study project was commissioned by JISC through the Innovation strand of the JISC e-Learning Programme in 2004-5. Our project aims were to take a birds-eye view of developments and practice in the UK and internationally, and to communicate our findings to a broad and varied audience. The Summary report is accompanied by 3 associated reports on 'Current Uses', 'Potential Uses' and 'Strategic Aspects'. (The four reports are available in one single document here.

Are digital natives a myth or reality?: Students’ use of technologies for learning

This paper outlines the findings of a study investigating the extent and nature of use of digital technologies by undergraduate students in Social Work and Engineering, in two British universities. The study involved a questionnaire survey of students (n=160) followed by in-depth interviews with students (n=8) and lecturers and support staff (n=8) in both institutions. Firstly, the findings suggest that students use a limited range of technologies for both learning and socialisation. For learning, mainly established ICTs are used- institutional VLE, Google and Wikipedia and mobile phones. Students make limited, recreational use of social technologies such as media sharing tools and social networking sites. Secondly, the findings point to a low level of use of and familiarity with collaborative knowledge creation tools, virtual worlds, personal web publishing, and other emergent social technologies. Thirdly, the study did not find evidence to support the claims regarding students adopting radically different patterns of knowledge creation and sharing suggested by some previous studies. The study shows that students’ attitudes to learning appear to be influenced by the approaches adopted by their lecturers. Far from demanding lecturers change their practice, students appear to conform to fairly traditional pedagogies, albeit with minor uses of technology tools that deliver content. Despite both groups clearly using a rather limited range of technologies for learning, the results point to some age differences, with younger, engineering students making somewhat more active, albeit limited, use of tools than the older ones. The outcomes suggest that although the calls for radical transformations in educational approaches may be legitimate it would be misleading to ground the arguments for such change solely in students’ shifting expectations and patterns of learning and technology use

A framework for design engineering education in a global context

This paper presents a framework for teaching design engineering in a global context using innovative technologies to enable distributed teams to work together effectively across international and cultural boundaries. The DIDET Framework represents the findings of a 5-year project conducted by the University of Strathclyde, Stanford University and Olin College which enhanced student learning opportunities by enabling them to partake in global, team based design engineering projects, directly experiencing different cultural contexts and accessing a variety of digital information sources via a range of innovative technology. The use of innovative technology enabled the formalization of design knowledge within international student teams as did the methods that were developed for students to store, share and reuse information. Coaching methods were used by teaching staff to support distributed teams and evaluation work on relevant classes was carried out regularly to allow ongoing improvement of learning and teaching and show improvements in student learning. Major findings of the 5 year project include the requirement to overcome technological, pedagogical and cultural issues for successful eLearning implementations. The DIDET Framework encapsulates all the conclusions relating to design engineering in a global context. Each of the principles for effective distributed design learning is shown along with relevant findings and suggested metrics. The findings detailed in the paper were reached through a series of interventions in design engineering education at the collaborating institutions. Evaluation was carried out on an ongoing basis and fed back into project development, both on the pedagogical and the technological approaches