Commenced in January 2007
Frequency: Monthly
Edition: International
Paper Count: 5

Search results for: Rajaa Benabbou

5 Hybrid Project Management Model Based on Lean and Agile Approach

Authors: Fatima-Zahra Eddoug, Jamal Benhra, Rajaa Benabbou

Abstract:

Several project management models exist in the literature and the most used ones are the hybrids for their multiple advantages. Our objective in this paper is to analyze the existing models, which are based on the Lean and Agile approaches and to propose a novel framework with the convenient tools that will allow efficient management of a general project. To create the desired framework, we were based essentially on 7 existing models. Only the Scrum tool among the agile tools was identified by several authors to be appropriate for project management. In contrast, multiple lean tools were proposed in different phases of the project.

Keywords: agility, hybrid project management, lean, scrum

Procedia PDF Downloads 47
4 Modeling and Analyzing the WAP Class 2 Wireless Transaction Protocol Using Event-B

Authors: Rajaa Filali, Mohamed Bouhdadi

Abstract:

This paper presents an incremental formal development of the Wireless Transaction Protocol (WTP) in Event-B. WTP is part of the Wireless Application Protocol (WAP) architectures and provides a reliable request-response service. To model and verify the protocol, we use the formal technique Event-B which provides an accessible and rigorous development method. This interaction between modelling and proving reduces the complexity and helps to eliminate misunderstandings, inconsistencies, and specification gaps. As result, verification of WTP allows us to find some deficiencies in the current specification.

Keywords: event-B, wireless transaction protocol, proof obligation, refinement, Rodin, ProB

Procedia PDF Downloads 235
3 An Incremental Refinement Approach to a Development of Dynamic Host Configuration Protocol (DHCP) Using Event-B

Authors: Rajaa Filali, Mohamed Bouhdadi

Abstract:

This paper presents an incremental development of the Dynamic Host Configuration Protocol (DHCP) in Event-B. DHCP is widely used communication protocol, which provides a standard mechanism to obtain configuration parameters. The specification is performed in a stepwise manner and verified through a series of refinements. The Event-B formal method uses the Rodin platform to modeling and verifying some properties of the protocol such as safety, liveness and deadlock freedom. To model and verify the protocol, we use the formal technique Event-B which provides an accessible and rigorous development method. This interaction between modelling and proving reduces the complexity and helps to eliminate misunderstandings, inconsistencies, and specification gaps.

Keywords: DHCP protocol, Event-B, refinement, proof obligation, Rodin

Procedia PDF Downloads 141
2 Optimizing Exposure Parameters in Digital Mammography: A Study in Morocco

Authors: Talbi Mohammed, Oustous Aziz, Ben Messaoud Mounir, Sebihi Rajaa, Khalis Mohammed

Abstract:

Background: Breast cancer is the leading cause of death for women around the world. Screening mammography is the reference examination, due to its sensitivity for detecting small lesions and micro-calcifications. Therefore, it is essential to ensure quality mammographic examinations with the most optimal dose. These conditions depend on the choice of exposure parameters. Clinically, practices must be evaluated in order to determine the most appropriate exposure parameters. Material and Methods: We performed our measurements on a mobile mammography unit (PLANMED Sofie-classic.) in Morocco. A solid dosimeter (AGMS Radcal) and a MTM 100 phantom allow to quantify the delivered dose and the image quality. For image quality assessment, scores are defined by the rate of visible inserts (MTM 100 phantom), obtained and compared for each acquisition. Results: The results show that the parameters of the mammography unit on which we have made our measurements can be improved in order to offer a better compromise between image quality and breast dose. The last one can be reduced up from 13.27% to 22.16%, while preserving comparable image quality.

Keywords: Mammography, Breast Dose, Image Quality, Phantom

Procedia PDF Downloads 64
1 Using Urban Conversion to Green Public Space as a Tool to Generate Urban Change: Case of Seoul

Authors: Rachida Benabbou, Sang Hun Park, Hee Chung Lee

Abstract:

The world’s population is increasing with unprecedented speed, leading to fast growing urbanization pace. Cities since the Industrial revolution had evolved to fit the growing demand on infrastructure, roads, transportation, and housing. Through this evolution, cities had grown into grey, polluted, and vehicle-oriented urban areas with a significant lack of green spaces. Consequently, we ended up with low quality of life for citizens. Therefore, many cities, nowadays, are revising the way we think urbanism and try to grow into more livable and citizen-friendly, by creating change from the inside out. Thus, cities are trying to bring back nature in its crowded grey centers and regenerate many urban areas as green public spaces not only as a way to give new breath to the city, but also as a way to create change either in the environmental, social and economic levels. The city of Seoul is one of the fast growing global cities. Its population is over 12 million and it is expected to continue to grow to a point where the quality of life may seriously deteriorate. As most green areas in Seoul are located in the suburbs in form of mountains, the city’s urban areas suffer from lack of accessible green spaces in a walking distance. Understanding the gravity and consequences of this issue, Seoul city is undergoing major changes. Many of its projects are oriented to be green public spaces where citizens can enjoy the public life in healthy outdoors. The aim of this paper is to explore the results of urban conversions into green public spaces. Starting with different locations, nature, size, and scale, these conversions can lead to significant change in the surrounding areas, thus can be used as an efficient tool of regeneration for urban areas. Through a comparative analysis of three different types of urban conversions projects in the city of Seoul, we try to show the positive urban influence of the outcomes, in order to encourage cities to use green spaces as a strategic tool for urban regeneration and redevelopment.

Keywords: urban conversion, green public space, change, urban regeneration

Procedia PDF Downloads 203