Explicating an English speaking examination : challenges and considerations

The assessment of speaking has become increasingly important in most language learning programmes. The Maltese postsecondary context saw the revision of the MATSEC Advanced English syllabus and the subsequent introduction of a speaking component as part of this high-stakes examination . The component's outline in the syllabus provided a degree of latitude but also had certain limitations; however, it was immediately clear that it required further refinement to guarantee a more rigorous speaking assessment. This article discusses the initiative undertaken by a group of lecturers of English at the University of Malta Junior College to explicate the speaking examination outlined in the syllabus. It illustrates how these lecturers positioned themselves as test developers in order to elaborate on the 'what' and 'how' of testing second language speaking at post-secondary level. In discussing various challenges and considerations, this article aims to illustrate some means of enhancing the high-stakes testing of speaking proficiency.peer-reviewe

Formalization and Validation of Safety-Critical Requirements

The validation of requirements is a fundamental step in the development process of safety-critical systems. In safety critical applications such as aerospace, avionics and railways, the use of formal methods is of paramount importance both for requirements and for design validation. Nevertheless, while for the verification of the design, many formal techniques have been conceived and applied, the research on formal methods for requirements validation is not yet mature. The main obstacles are that, on the one hand, the correctness of requirements is not formally defined; on the other hand that the formalization and the validation of the requirements usually demands a strong involvement of domain experts. We report on a methodology and a series of techniques that we developed for the formalization and validation of high-level requirements for safety-critical applications. The main ingredients are a very expressive formal language and automatic satisfiability procedures. The language combines first-order, temporal, and hybrid logic. The satisfiability procedures are based on model checking and satisfiability modulo theory. We applied this technology within an industrial project to the validation of railways requirements

Tools for producing formal specifications : a view of current architectures and future directions

During the last decade, one important contribution towards requirements engineering has been the advent of formal specification languages. They offer a well-defined notation that can improve consistency and avoid ambiguity in specifications. However, the process of obtaining formal specifications that are consistent with the requirements is itself a difficult activity. Hence various researchers are developing systems that aid the transition from informal to formal specifications. The kind of problems tackled and the contributions made by these proposed systems are very diverse. This paper brings these studies together to provide a vision for future architectures that aim to aid the transition from informal to formal specifications. The new architecture, which is based on the strengths of existing studies, tackles a number of key issues in requirements engineering such as identifying ambiguities, incompleteness, and reusability. The paper concludes with a discussion of the research problems that need to be addressed in order to realise the proposed architecture

Building a Common Ground – The Use of Design Representation Cards for Enhancing Collaboration between Industrial Designers and Engineering Designers

To achieve success in today’s commercial environment, manufacturers have progressively adopted collaboration strategies. Industrial design has been increasingly used with engineering design to enhance competitiveness. Research between the two fields has been limited and existing collaboration methods have not achieved desired results. This PhD research project investigated the level of collaboration between industrial designers and engineering designers. The aim is to develop an integration tool for enhanced collaboration, where a common language would improve communication and create shared knowledge. An empirical research using questionnaires and observations identified 61 issues between industrial designers and engineering designers. The results were grouped and coded based on recurrence and importance, outlining 3 distinct problem categories in collaborative activity: conflicts in values and principles, differences in design representation, and education differences. A taxonomy further helped categorise design representations into sketches, drawings, models and prototypes. This knowledge was indexed into cards to provide uniform definition of design representations with key information. They should benefit practitioners and educators by serving as a decision-making guide and support a collaborative working environment. A pilot study first refined the layout and improved information access. The final validation involving interviews with practitioners revealed most respondents to be convinced that the tool would provide a common ground in design representations, contributing to enhanced collaboration. Additional interviews were sought from groups of final-year industrial design and engineering design students working together. Following their inter-disciplinary experience, nearly all respondents were certain that the cards would provide mutual understanding for greater product success. Lastly, a case study approach tested the cards in an industry-based project. A design diary captured and analysed the researchers’ activities and observations on a daily basis. It revealed positive feedback, reinforcing the benefits of the cards for successful collaboration in a multi-disciplinary environment. Keywords Industrial Design, Engineering Design, Collaboration, Design Representation, New Product Development.</p