Jean-Pierre Corriveau

Learn More
The use of examples as the basis for machine translation systems has gained considerable acceptance since the original proposal of Nagao in 1984. In this short book, Jones first reviews the fundamental principles of example-based machine translation (EBMT) in order to then introduce the specific mechanisms of his model. The key characteristic of this model(More)
One of the most crucial and complicated phases of realtime system development lies in the transition from system behavior (generally specified using scenario models) to the behavior of interacting components (typically captured by means of communicating hierarchical finite state machines). It is commonly accepted that a systematic approach is required for(More)
A quality-driven approach to software development and testing demands that, ultimately, the requirements of stakeholders be validated against the actual behavior of an implementation under test (IUT). In model-based testing, much work has been done on the generation of functional test cases. But few approaches tackle the executability of such test cases.(More)
A quality-driven approach to software development and testing demands that, ultimately, the requirements of stakeholders be validated against the actual behavior of an implementation under test (IUT). In Model-Based Testing, much work has been done on the generation of functional test cases. But few approaches tackle the executability of such test cases.(More)
Software testing is the traditional way to verify the functionality of a given software system against its requirements. In domain engineering, these requirements consist of variabilities and commonalities observed in a domain and captured in a domain model [5]. We remark that the latter may be used to obtain an elaborate design; however tests cannot be(More)
BACKGROUND Explicit patient consent requirements in privacy laws can have a negative impact on health research, leading to selection bias and reduced recruitment. Often legislative requirements to obtain consent are waived if the information collected or disclosed is de-identified. OBJECTIVE The authors developed and empirically evaluated a new globally(More)
Scenario models and hierarchical state machines play key roles in current object-oriented modeling methodologies. Our work maily focuses on a systematic transition between these two models. In this paper, we argue for the need to develop a catalog of design patterns [18,19] for state machine implementation. The originality of our proposal stems from having(More)