Items where Person is "Ahmad, Manzoor"
Group by: Item Type | No Grouping Jump to: Article | Conference or Workshop Item Number of items: 4. ArticleAhmad, Manzoor and Belloir, Nicolas and Bruel, Jean-Michel. Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems. (2015) Journal of Systems and Software, 107. 50-70. ISSN 0164-1212 Conference or Workshop ItemBelloir, Nicolas and Chiprianov, Vanea and Ahmad, Manzoor and Munier, Manuel and Gallon, Laurent and Bruel, Jean-Michel. Using Relax Operators into an MDE Security Requirement Elicitation Process for Systems of Systems. (2014) In: 2nd International Worksop on Software Enginering for Systems-of-Systems (SeSoS 2014), 26 August 2014 (Vienna, Austria). Ahmad, Manzoor and Araujo, Joao and Belloir, Nicolas and Bruel, Jean-Michel and Gnaho, Christophe and Laleau, Régine and Semmak, Farida. Self-Adaptive Systems Requirements Modelling: four related approaches comparison. (2013) In: International Wokshop Comparing Requirements Modeling Approaches (CMA@RE 2013) workshop in the field of 21st IEEE International Requirements Engineering Conference, 16 July 2013 (Rio de Janeiro, Brazil). Ahmad, Manzoor and Dragomir, Iulia and Bruel, Jean-Michel and Ober, Iulian and Belloir, Nicolas. Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx. (2013) In: 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2013), 29 July 2013 - 31 July 2013 (Reykjavik, Iceland). |