|
Search the dblp DataBase
Mohamed Shehata:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Mohamed Shehata, Armin Eberlein
Requirements Interaction Detection Using Semi-Formal Methods. [Citation Graph (0, 0)][DBLP] ECBS, 2003, pp:224-232 [Conf]
- Mohamed Shehata, Armin Eberlein, Abraham O. Fapojuwo
IRIS: A Semi-Formal Approach for Detecting Requirements Interactions. [Citation Graph (0, 0)][DBLP] ECBS, 2004, pp:273-281 [Conf]
- Mohamed Shehata, Armin Eberlein, Abraham O. Fapojuwo
The use of semi-formal methods for detecting requirements interactions. [Citation Graph (0, 0)][DBLP] IASTED Conf. on Software Engineering, 2004, pp:230-235 [Conf]
- Mohamed Shehata, Armin Eberlein
Detecting Requirements Interactions: A Three-Level Framework. [Citation Graph (0, 0)][DBLP] ASE, 2003, pp:352-355 [Conf]
- Mohamed Shehata, Armin Eberlein, Abraham O. Fapojuwo
A taxonomy for identifying requirement interactions in software systems. [Citation Graph (0, 0)][DBLP] Computer Networks, 2007, v:51, n:2, pp:398-425 [Journal]
- Mohamed Shehata, Armin Eberlein, Abraham O. Fapojuwo
Managing Policy Interactions in KNX-Based Smart Homes. [Citation Graph (0, 0)][DBLP] COMPSAC (2), 2007, pp:367-378 [Conf]
- Mohamed Shehata, Armin Eberlein, Abraham O. Fapojuwo
Using semi-formal methods for detecting interactions among smart homes policies. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2007, v:67, n:2-3, pp:125-161 [Journal]
Search in 0.001secs, Finished in 0.002secs
|