Search

Your search keyword '"Selim, Gehan"' showing total 130 results
Start Over Author "Selim, Gehan"
130 results on '"Selim, Gehan"'

13. Just Enough Formality in Assurance Argument Structures

Author

Viger, Torin, Salay, Rick, Selim, Gehan, Chechik, Marsha, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Casimiro, António, editor, Ortmeier, Frank, editor, Bitsch, Friedemann, editor, and Ferreira, Pedro, editor

Published
2020
Full Text
View/download PDF

14. SL2SF: Refactoring Simulink to Stateflow

Author

Wynn-Williams, Stephen, Diskin, Zinovy, Pantelic, Vera, Lawford, Mark, Selim, Gehan, Milo, Curtis, Diab, Moustapha, Weslati, Feisel, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Hähnle, Reiner, editor, and van der Aalst, Wil, editor

Published
2019
Full Text
View/download PDF

21. Remaking urban spaces in Egypt : a study of Bulaq Abul Ela planning schemes 1960-2005

Author

Selim, Gehan Mohammad Elsayed

Subjects
711.4096216
Abstract

This thesis examines the shifting politics of remaking the urban experience in post-colonial Cairo, through investigating the account of remaking an old historical district, namely, Bulaq Abul Ela. It examines the extent to which planning approaches and ambitions to improve the quality of the built environment have achieved their objectives and attended to people's changing needs. To achieve this aim, critical analysis of the chronological development of the remaking process, planning institutions and legislation in Egypt has been undertaken in the context of three re-planning schemes for Bulaq, drafted between 1966 and 2005. Understanding spatial quality, in this context, indicates an intersection between two realms: spatial settings and social needs, which both influence the process of space reproduction in Cairo. The schemes are investigated on two levels; first, there is a careful study of the planning institution's ambitions for improving Bulaq's spatial qualities; second, there is critical analysis of how such visions were imposed on the schemes, and how this affected their credibility in terms of improving the district. Through each scheme, the district's conditions, approved re-planning actions, proposed physical attributes and land uses will be discussed and analyzed. The study is based on detailed accounts of original reports, meetings, decrees, correspondents' archives, interviews and fieldwork that took place between 2008 and 2009, and has relied on original documents from various planning institutions, and local newspapers in Egypt. The investigated schemes revealed a consistent clarity of the planning institution's visions towards remaking old districts, but alongside this, there is evidence of a lack of coherent processes in planning and of implementing these visions. Not only was there an apparent conflict between the planning institution's underlying objectives towards re-planning Bulaq, and people's needs, but within the planning institution itself there was a lack of reliability and consistency in performing its role, in which respect it was impeded by the absence of an effective legislative framework to guide planning practices in Egypt. The study revealed that Bulaq's spatial qualities are grounded in the historical authenticity of the district, its physical attributes, and the vibrant mix of activities and land usage practised in Bulaq's urban spaces. Thus, investigating Bulaq re-planning schemes has allowed the research to find new meanings, images, stories, and places to replace the increasingly undesirable authentic fabric of the district. Against this background, continuous dialogue for participation, shared commitments, and flexible planning approaches, have emerged as necessary and, indeed, the only tools through which improvement of the built environment and creation of a successful remaking project may be achieved.

Published
2012

27. Coda

Author

Abdelmonem, Mohamed Gamal, primary and Selim, Gehan, additional

Published
2019
Full Text
View/download PDF

37. SL2SF: Refactoring Simulink to Stateflow

Author

Wynn-Williams, Stephen, primary, Diskin, Zinovy, additional, Pantelic, Vera, additional, Lawford, Mark, additional, Selim, Gehan, additional, Milo, Curtis, additional, Diab, Moustapha, additional, and Weslati, Feisel, additional

Published
2019
Full Text
View/download PDF

38. Migrating Automotive Product Lines: A Case Study

Author

Famelis, Michalis, Lúcio, Levi, Selim, Gehan, Di Sandro, Alessio, Salay, Rick, Chechik, Marsha, Cordy, James R., Dingel, Juergen, Vangheluwe, Hans, S., Ramesh, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Kolovos, Dimitris, editor, and Wimmer, Manuel, editor

Published
2015
Full Text
View/download PDF

41. Specification and Verification of Graph-Based Model Transformation Properties

Author

Selim, Gehan M. K., Lúcio, Levi, Cordy, James R., Dingel, Juergen, Oakes, Bentley J., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Giese, Holger, editor, and König, Barbara, editor

Published
2014
Full Text
View/download PDF

44. Automated Verification of Model Transformations in the Automotive Industry

Author

Selim, Gehan M. K., Büttner, Fabian, Cordy, James R., Dingel, Juergen, Wang, Shige, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Moreira, Ana, editor, Schätz, Bernhard, editor, Gray, Jeff, editor, Vallecillo, Antonio, editor, and Clarke, Peter, editor

Published
2013
Full Text
View/download PDF

45. Model Transformations for Migrating Legacy Models: An Industrial Case Study

Author

Selim, Gehan M. K., Wang, Shige, Cordy, James R., Dingel, Juergen, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Vallecillo, Antonio, editor, Tolvanen, Juha-Pekka, editor, Kindler, Ekkart, editor, Störrle, Harald, editor, and Kolovos, Dimitris, editor

Published
2012
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results