Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

University: Virginia Tech

You searched for subject:(Requirements Engineering). Showing records 1 – 13 of 13 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Virginia Tech

1. Alkandari, Mohammad A. A Model of Multicultural Software Project Team Management applied in Requirements Engineering.

Degree: PhD, Computer Science and Applications, 2012, Virginia Tech

 In todayâ s world of global software teams, managing members from multiple countries and cultures adds to an already complex mix of software productivity issues.… (more)

Subjects/Keywords: software project; team management; requirements engineering; culture

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Alkandari, M. A. (2012). A Model of Multicultural Software Project Team Management applied in Requirements Engineering. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/26808

Chicago Manual of Style (16th Edition):

Alkandari, Mohammad A. “A Model of Multicultural Software Project Team Management applied in Requirements Engineering.” 2012. Doctoral Dissertation, Virginia Tech. Accessed July 20, 2019. http://hdl.handle.net/10919/26808.

MLA Handbook (7th Edition):

Alkandari, Mohammad A. “A Model of Multicultural Software Project Team Management applied in Requirements Engineering.” 2012. Web. 20 Jul 2019.

Vancouver:

Alkandari MA. A Model of Multicultural Software Project Team Management applied in Requirements Engineering. [Internet] [Doctoral dissertation]. Virginia Tech; 2012. [cited 2019 Jul 20]. Available from: http://hdl.handle.net/10919/26808.

Council of Science Editors:

Alkandari MA. A Model of Multicultural Software Project Team Management applied in Requirements Engineering. [Doctoral Dissertation]. Virginia Tech; 2012. Available from: http://hdl.handle.net/10919/26808


Virginia Tech

2. Magsarjav, Ulziidelger. Requirements Documents Evolution and Synchronization with Activities in the Refined Requirements Generation Model.

Degree: MS, Computer Science, 2004, Virginia Tech

  Over the past few years the real importance of requirements engineering has surfaced; hence, much research is now being directed towards generating quality requirements.… (more)

Subjects/Keywords: software engineering; requirements documents; requirements evolution; requirements generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Magsarjav, U. (2004). Requirements Documents Evolution and Synchronization with Activities in the Refined Requirements Generation Model. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/35017

Chicago Manual of Style (16th Edition):

Magsarjav, Ulziidelger. “Requirements Documents Evolution and Synchronization with Activities in the Refined Requirements Generation Model.” 2004. Masters Thesis, Virginia Tech. Accessed July 20, 2019. http://hdl.handle.net/10919/35017.

MLA Handbook (7th Edition):

Magsarjav, Ulziidelger. “Requirements Documents Evolution and Synchronization with Activities in the Refined Requirements Generation Model.” 2004. Web. 20 Jul 2019.

Vancouver:

Magsarjav U. Requirements Documents Evolution and Synchronization with Activities in the Refined Requirements Generation Model. [Internet] [Masters thesis]. Virginia Tech; 2004. [cited 2019 Jul 20]. Available from: http://hdl.handle.net/10919/35017.

Council of Science Editors:

Magsarjav U. Requirements Documents Evolution and Synchronization with Activities in the Refined Requirements Generation Model. [Masters Thesis]. Virginia Tech; 2004. Available from: http://hdl.handle.net/10919/35017


Virginia Tech

3. Srinivasan, Anirudh. Active Suspension Design Requirements for Compliant Boundary Condition Road Disturbances.

Degree: MS, Mechanical Engineering, 2017, Virginia Tech

 The aim of suspension systems in vehicles is to provide the best balance between ride and handling depending on the operating conditions of a vehicle.… (more)

Subjects/Keywords: Automotive Engineering; Active suspension; Actuator requirements; Ideal Control force; Bandwidth

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Srinivasan, A. (2017). Active Suspension Design Requirements for Compliant Boundary Condition Road Disturbances. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/78802

Chicago Manual of Style (16th Edition):

Srinivasan, Anirudh. “Active Suspension Design Requirements for Compliant Boundary Condition Road Disturbances.” 2017. Masters Thesis, Virginia Tech. Accessed July 20, 2019. http://hdl.handle.net/10919/78802.

MLA Handbook (7th Edition):

Srinivasan, Anirudh. “Active Suspension Design Requirements for Compliant Boundary Condition Road Disturbances.” 2017. Web. 20 Jul 2019.

Vancouver:

Srinivasan A. Active Suspension Design Requirements for Compliant Boundary Condition Road Disturbances. [Internet] [Masters thesis]. Virginia Tech; 2017. [cited 2019 Jul 20]. Available from: http://hdl.handle.net/10919/78802.

Council of Science Editors:

Srinivasan A. Active Suspension Design Requirements for Compliant Boundary Condition Road Disturbances. [Masters Thesis]. Virginia Tech; 2017. Available from: http://hdl.handle.net/10919/78802


Virginia Tech

4. Soundararajan, Shvetha. Agile Requirements Generation Model: A Soft-structured Approach to Agile Requirements Engineering.

Degree: MS, Computer Science, 2008, Virginia Tech

 The agile principles applied to software engineering include iterative and incremental development, frequent releases of software, direct stakeholder involvement, minimal documentation and welcome changing requirements(more)

Subjects/Keywords: Agile Methods; Agile Philosophy; Requirements Engineering; Agile Requirements Engineering; Agile RGM

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Soundararajan, S. (2008). Agile Requirements Generation Model: A Soft-structured Approach to Agile Requirements Engineering. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/34511

Chicago Manual of Style (16th Edition):

Soundararajan, Shvetha. “Agile Requirements Generation Model: A Soft-structured Approach to Agile Requirements Engineering.” 2008. Masters Thesis, Virginia Tech. Accessed July 20, 2019. http://hdl.handle.net/10919/34511.

MLA Handbook (7th Edition):

Soundararajan, Shvetha. “Agile Requirements Generation Model: A Soft-structured Approach to Agile Requirements Engineering.” 2008. Web. 20 Jul 2019.

Vancouver:

Soundararajan S. Agile Requirements Generation Model: A Soft-structured Approach to Agile Requirements Engineering. [Internet] [Masters thesis]. Virginia Tech; 2008. [cited 2019 Jul 20]. Available from: http://hdl.handle.net/10919/34511.

Council of Science Editors:

Soundararajan S. Agile Requirements Generation Model: A Soft-structured Approach to Agile Requirements Engineering. [Masters Thesis]. Virginia Tech; 2008. Available from: http://hdl.handle.net/10919/34511


Virginia Tech

5. Sud, Rajat. A Synergistic Approach to Software Requirements Generation: The Synergistic Requirements Generation Model (SRGM) and, An Interactive Tool for Modeling SRGM (itSRGM).

Degree: MS, Computer Science, 2003, Virginia Tech

 The importance of a well-formulated set of software requirements contributing to a successful software development effort has been underscored in recent times. However, the software… (more)

Subjects/Keywords: Requirements Generation; Software Engineering; Model; Tool

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Sud, R. (2003). A Synergistic Approach to Software Requirements Generation: The Synergistic Requirements Generation Model (SRGM) and, An Interactive Tool for Modeling SRGM (itSRGM). (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/32942

Chicago Manual of Style (16th Edition):

Sud, Rajat. “A Synergistic Approach to Software Requirements Generation: The Synergistic Requirements Generation Model (SRGM) and, An Interactive Tool for Modeling SRGM (itSRGM).” 2003. Masters Thesis, Virginia Tech. Accessed July 20, 2019. http://hdl.handle.net/10919/32942.

MLA Handbook (7th Edition):

Sud, Rajat. “A Synergistic Approach to Software Requirements Generation: The Synergistic Requirements Generation Model (SRGM) and, An Interactive Tool for Modeling SRGM (itSRGM).” 2003. Web. 20 Jul 2019.

Vancouver:

Sud R. A Synergistic Approach to Software Requirements Generation: The Synergistic Requirements Generation Model (SRGM) and, An Interactive Tool for Modeling SRGM (itSRGM). [Internet] [Masters thesis]. Virginia Tech; 2003. [cited 2019 Jul 20]. Available from: http://hdl.handle.net/10919/32942.

Council of Science Editors:

Sud R. A Synergistic Approach to Software Requirements Generation: The Synergistic Requirements Generation Model (SRGM) and, An Interactive Tool for Modeling SRGM (itSRGM). [Masters Thesis]. Virginia Tech; 2003. Available from: http://hdl.handle.net/10919/32942


Virginia Tech

6. Lloyd, Wes J. Tools and Techniques for Effective Distributed Requirements Engineering: An Empirical Study.

Degree: MS, Computer Science, 2001, Virginia Tech

 Software development teams are often geographically distributed from their customers and end users. This creates significant communication and coordination challenges that impact the effectiveness of… (more)

Subjects/Keywords: Groupware; Distributed Requirements Engineering; Requirements Analysis; Computer Supported Cooperative Work

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lloyd, W. J. (2001). Tools and Techniques for Effective Distributed Requirements Engineering: An Empirical Study. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/34174

Chicago Manual of Style (16th Edition):

Lloyd, Wes J. “Tools and Techniques for Effective Distributed Requirements Engineering: An Empirical Study.” 2001. Masters Thesis, Virginia Tech. Accessed July 20, 2019. http://hdl.handle.net/10919/34174.

MLA Handbook (7th Edition):

Lloyd, Wes J. “Tools and Techniques for Effective Distributed Requirements Engineering: An Empirical Study.” 2001. Web. 20 Jul 2019.

Vancouver:

Lloyd WJ. Tools and Techniques for Effective Distributed Requirements Engineering: An Empirical Study. [Internet] [Masters thesis]. Virginia Tech; 2001. [cited 2019 Jul 20]. Available from: http://hdl.handle.net/10919/34174.

Council of Science Editors:

Lloyd WJ. Tools and Techniques for Effective Distributed Requirements Engineering: An Empirical Study. [Masters Thesis]. Virginia Tech; 2001. Available from: http://hdl.handle.net/10919/34174


Virginia Tech

7. Gröner, Markus K. Capturing Requirements Meeting Customer Intent: A Methodological Approach.

Degree: PhD, Computer Science, 2002, Virginia Tech

 Product quality is directly related to how well that product meets the customerâ s needs and intents. It is paramount, therefore, to capture customer requirements(more)

Subjects/Keywords: software development lifecycle; methodology; software engineering; requirements engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gröner, M. K. (2002). Capturing Requirements Meeting Customer Intent: A Methodological Approach. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/27857

Chicago Manual of Style (16th Edition):

Gröner, Markus K. “Capturing Requirements Meeting Customer Intent: A Methodological Approach.” 2002. Doctoral Dissertation, Virginia Tech. Accessed July 20, 2019. http://hdl.handle.net/10919/27857.

MLA Handbook (7th Edition):

Gröner, Markus K. “Capturing Requirements Meeting Customer Intent: A Methodological Approach.” 2002. Web. 20 Jul 2019.

Vancouver:

Gröner MK. Capturing Requirements Meeting Customer Intent: A Methodological Approach. [Internet] [Doctoral dissertation]. Virginia Tech; 2002. [cited 2019 Jul 20]. Available from: http://hdl.handle.net/10919/27857.

Council of Science Editors:

Gröner MK. Capturing Requirements Meeting Customer Intent: A Methodological Approach. [Doctoral Dissertation]. Virginia Tech; 2002. Available from: http://hdl.handle.net/10919/27857


Virginia Tech

8. Lobo, Lester Oscar. Analysis and Evaluation of Methods for Activities in the Expanded Requirements Generation Model (x-RGM).

Degree: MS, Computer Science, 2004, Virginia Tech

  In recent years, the requirements engineering community has proposed a number of models for the generation of a well-formulated, complete set of requirements. However,… (more)

Subjects/Keywords: Techniques; Requirements Engineering Models; Requirements Generation Process; Method Selection Criteria; Software Engineering; Synchronization of Methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lobo, L. O. (2004). Analysis and Evaluation of Methods for Activities in the Expanded Requirements Generation Model (x-RGM). (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/34199

Chicago Manual of Style (16th Edition):

Lobo, Lester Oscar. “Analysis and Evaluation of Methods for Activities in the Expanded Requirements Generation Model (x-RGM).” 2004. Masters Thesis, Virginia Tech. Accessed July 20, 2019. http://hdl.handle.net/10919/34199.

MLA Handbook (7th Edition):

Lobo, Lester Oscar. “Analysis and Evaluation of Methods for Activities in the Expanded Requirements Generation Model (x-RGM).” 2004. Web. 20 Jul 2019.

Vancouver:

Lobo LO. Analysis and Evaluation of Methods for Activities in the Expanded Requirements Generation Model (x-RGM). [Internet] [Masters thesis]. Virginia Tech; 2004. [cited 2019 Jul 20]. Available from: http://hdl.handle.net/10919/34199.

Council of Science Editors:

Lobo LO. Analysis and Evaluation of Methods for Activities in the Expanded Requirements Generation Model (x-RGM). [Masters Thesis]. Virginia Tech; 2004. Available from: http://hdl.handle.net/10919/34199


Virginia Tech

9. Ravichandar, Ramya. Capabilities Engineering:Promoting Change-Reduction and Constructing Change-Tolerant Systems.

Degree: PhD, Computer Science, 2008, Virginia Tech

 We propose a Capabilities-based approach for constructing complex emergent systems such that they are change-tolerant, and the development effort promotes change-reduction. The inherent complexity of… (more)

Subjects/Keywords: Change Tolerance; Requirements Engineering; Complex Emergent Systems; Capabilities Engineering; Capabilities; Software Evolution

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ravichandar, R. (2008). Capabilities Engineering:Promoting Change-Reduction and Constructing Change-Tolerant Systems. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/27732

Chicago Manual of Style (16th Edition):

Ravichandar, Ramya. “Capabilities Engineering:Promoting Change-Reduction and Constructing Change-Tolerant Systems.” 2008. Doctoral Dissertation, Virginia Tech. Accessed July 20, 2019. http://hdl.handle.net/10919/27732.

MLA Handbook (7th Edition):

Ravichandar, Ramya. “Capabilities Engineering:Promoting Change-Reduction and Constructing Change-Tolerant Systems.” 2008. Web. 20 Jul 2019.

Vancouver:

Ravichandar R. Capabilities Engineering:Promoting Change-Reduction and Constructing Change-Tolerant Systems. [Internet] [Doctoral dissertation]. Virginia Tech; 2008. [cited 2019 Jul 20]. Available from: http://hdl.handle.net/10919/27732.

Council of Science Editors:

Ravichandar R. Capabilities Engineering:Promoting Change-Reduction and Constructing Change-Tolerant Systems. [Doctoral Dissertation]. Virginia Tech; 2008. Available from: http://hdl.handle.net/10919/27732


Virginia Tech

10. Pawar, Sourabh A. A Common Software Development Framework For Coordinating Usability Engineering and Software Engineering Activities.

Degree: MS, Computer Science, 2004, Virginia Tech

 Currently, the Usability Engineering (UE) and Software Engineering (SE) processes are practiced as being independent of each other. However, several dependencies and constraints exist between… (more)

Subjects/Keywords: Framework; Integration; Coordination; Usability Engineering; Requirements Generation; Development Process; Software Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Pawar, S. A. (2004). A Common Software Development Framework For Coordinating Usability Engineering and Software Engineering Activities. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/33023

Chicago Manual of Style (16th Edition):

Pawar, Sourabh A. “A Common Software Development Framework For Coordinating Usability Engineering and Software Engineering Activities.” 2004. Masters Thesis, Virginia Tech. Accessed July 20, 2019. http://hdl.handle.net/10919/33023.

MLA Handbook (7th Edition):

Pawar, Sourabh A. “A Common Software Development Framework For Coordinating Usability Engineering and Software Engineering Activities.” 2004. Web. 20 Jul 2019.

Vancouver:

Pawar SA. A Common Software Development Framework For Coordinating Usability Engineering and Software Engineering Activities. [Internet] [Masters thesis]. Virginia Tech; 2004. [cited 2019 Jul 20]. Available from: http://hdl.handle.net/10919/33023.

Council of Science Editors:

Pawar SA. A Common Software Development Framework For Coordinating Usability Engineering and Software Engineering Activities. [Masters Thesis]. Virginia Tech; 2004. Available from: http://hdl.handle.net/10919/33023


Virginia Tech

11. Montabert, Cyril. Supporting Requirements Reuse in a User-centric Design Framework through Task Modeling and Critical Parameters.

Degree: MS, Computer Science, 2006, Virginia Tech

 Many software systems fail as a direct consequence of errors in requirements analysis. Establishing formal metrics early in the design process, using attributes like critical… (more)

Subjects/Keywords: Notification systems; Reuse; Requirements engineering; Human-computer interaction; Scenario-based design; Task modeling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Montabert, C. (2006). Supporting Requirements Reuse in a User-centric Design Framework through Task Modeling and Critical Parameters. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/33152

Chicago Manual of Style (16th Edition):

Montabert, Cyril. “Supporting Requirements Reuse in a User-centric Design Framework through Task Modeling and Critical Parameters.” 2006. Masters Thesis, Virginia Tech. Accessed July 20, 2019. http://hdl.handle.net/10919/33152.

MLA Handbook (7th Edition):

Montabert, Cyril. “Supporting Requirements Reuse in a User-centric Design Framework through Task Modeling and Critical Parameters.” 2006. Web. 20 Jul 2019.

Vancouver:

Montabert C. Supporting Requirements Reuse in a User-centric Design Framework through Task Modeling and Critical Parameters. [Internet] [Masters thesis]. Virginia Tech; 2006. [cited 2019 Jul 20]. Available from: http://hdl.handle.net/10919/33152.

Council of Science Editors:

Montabert C. Supporting Requirements Reuse in a User-centric Design Framework through Task Modeling and Critical Parameters. [Masters Thesis]. Virginia Tech; 2006. Available from: http://hdl.handle.net/10919/33152

12. Rane, Prerana Pradeepkumar. Automatic Generation of Test Cases for Agile using Natural Language Processing.

Degree: MS, Electrical and Computer Engineering, 2017, Virginia Tech

 Test case design and generation is a tedious manual process that requires 40-70% of the software test life cycle. The test cases written manually by… (more)

Subjects/Keywords: Automatic Test Case Generation; Agile Testing; Requirements Engineering

…Hypothesis testing for Test Coverage of Requirements . . . . . . . . . . . . . 64 5.27 List of… …from business requirements. In Agile, business requirements are captured in the form of user… …requirements of the business stakeholders and the needs of the customers. The traditional waterfall… …requirements are met. Providing higher requirement coverage and defect detection through testing is… …specifications during the post software development phase. Now, user requirements are most often… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Rane, P. P. (2017). Automatic Generation of Test Cases for Agile using Natural Language Processing. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/76680

Chicago Manual of Style (16th Edition):

Rane, Prerana Pradeepkumar. “Automatic Generation of Test Cases for Agile using Natural Language Processing.” 2017. Masters Thesis, Virginia Tech. Accessed July 20, 2019. http://hdl.handle.net/10919/76680.

MLA Handbook (7th Edition):

Rane, Prerana Pradeepkumar. “Automatic Generation of Test Cases for Agile using Natural Language Processing.” 2017. Web. 20 Jul 2019.

Vancouver:

Rane PP. Automatic Generation of Test Cases for Agile using Natural Language Processing. [Internet] [Masters thesis]. Virginia Tech; 2017. [cited 2019 Jul 20]. Available from: http://hdl.handle.net/10919/76680.

Council of Science Editors:

Rane PP. Automatic Generation of Test Cases for Agile using Natural Language Processing. [Masters Thesis]. Virginia Tech; 2017. Available from: http://hdl.handle.net/10919/76680


Virginia Tech

13. Mansour, Riham. Formal Analysis and Design for Engineering Security.

Degree: PhD, Computer Science, 2009, Virginia Tech

Engineering secure software remains a significant challenge for todayâ s software organizations as they struggle to understand the implications of security on their systems and… (more)

Subjects/Keywords: Security Engineering; Formal methods; Security; Formal Analysis and Design; Goal-Oriented Requirements Analysis; Software Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mansour, R. (2009). Formal Analysis and Design for Engineering Security. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/26486

Chicago Manual of Style (16th Edition):

Mansour, Riham. “Formal Analysis and Design for Engineering Security.” 2009. Doctoral Dissertation, Virginia Tech. Accessed July 20, 2019. http://hdl.handle.net/10919/26486.

MLA Handbook (7th Edition):

Mansour, Riham. “Formal Analysis and Design for Engineering Security.” 2009. Web. 20 Jul 2019.

Vancouver:

Mansour R. Formal Analysis and Design for Engineering Security. [Internet] [Doctoral dissertation]. Virginia Tech; 2009. [cited 2019 Jul 20]. Available from: http://hdl.handle.net/10919/26486.

Council of Science Editors:

Mansour R. Formal Analysis and Design for Engineering Security. [Doctoral Dissertation]. Virginia Tech; 2009. Available from: http://hdl.handle.net/10919/26486

.