Login

 

Show simple item record

dc.contributor.advisor Zhang, Cui en
dc.contributor.author Abukwaik, Hadil K.M. en
dc.date.accessioned 2010-07-21T21:04:07Z en
dc.date.available 2010-07-21T21:04:07Z en
dc.date.issued 2010-07-21 en
dc.date.submitted 2010-05-07 en
dc.identifier.uri http://hdl.handle.net/10211.9/274 en
dc.description Project (M.S., Software Engineering)--California State University, Sacramento, 2010. en
dc.description.abstract Development of security requirements has been neglected for a long time in the software development industry [1]. This has caused many errors and failures in the delivered products and increased the cost spent on correcting the defects and maintaining the products. It is important to have early integration of security requirements in software development life cycle (SDLC) and get the benefits of using formal methods in specifying security requirements. This report presents the SQUARE methodology and the development of the eSQUARE tool that automates the nine steps of the methodology. The eSQUARE is a web-based and formal-methods-enhanced tool that integrates the specification of security requirements using the formal methods based language Z with the security requirement engineering methodology SQUARE. en
dc.description.sponsorship Software Engineering en
dc.language.iso en_US en
dc.subject Security requirements en
dc.subject Requirements engineering en
dc.subject Formal methods en
dc.title eSQUARE: a web-based & formal-methods-enhanced SQUARE tool en
dc.type Project en


Files in this item

Thumbnail

The following license files are associated with this item:

This item appears in the following Collection(s)

Show simple item record

Search DSpace


My Account

RSS Feeds