Formal Semantics and Verification of Use Case Maps Jameleddine Hassine, Ph.D. Concordia University, 2008 Common to most software development processes is that system functionalities are defined early in the life cycle in terms of informal requirements and visual models. As requirement descriptions evolve, they quickly become error-prone and difficult to understand leading to prolonged detriment...

pairing theory with methodology, this study demonstrates how efl teachers’ limited wait-time practice structures in and affects the structuring of the unfolding classroom discourse with reference to learners’ participation opportunities. informed by the tenets of conversation analysis, we have observed, videotaped, and transcribed line-by-line 10 efl teachers’ naturally-occurring classroom inte...

This document describes the surface realization solution submitted by UCM to the Surface Realization Challenge. The UCM submission operates over the shallow representation of the challenge input. This submission to the surface realization challenge relies on an old-fashioned surface realizer based on unification with a grammar. Because this surface realizer requires fully specified inputs, a co...

A memory-based collaborative system for recommending Master programs has been recently developed for University College Maastricht (UCM). Given the academic profile of a Bachelor student, the system recommends Master programs for that student based on the similarity of her profile to the profiles of the alumni students. The system is operational since September 2011 and is already popular among...

The unplugged section edits some book reviews special forums dedicated to a topic, an author or a theoretical perspective. This first forum considers three very stimulating and rejuvenating volumes for academics in organization and management studies about research methods. They offer some new insights about problematizing, theorizing and academic writing which may contribute to regain scientif...

The Center for Computational Biology (UCM-CCB) was established at the newest campus of the University of California in fall, 2004. The UCM-CCB is sponsoring multidisciplinary scientific projects in which biological understanding is guided by mathematical and computational modeling. The center is also facilitating the development and dissemination of undergraduate and graduate course materials b...

The Linac Coherent Light Source, LCLS, at the SLAC National Accelerator Laboratory, SNAL, is the first hard xray Free Electron Laser [1]. The Undulator Controls Module, UCM, controls five cams and two translation stages that regulate the position of each of the 33 permanent undulator magnet segments within 10 microns. The UCM package, hardware and software, was designed and built by the Advance...