Browsing by Author "Zhang, Cui"

Now showing items 1-11 of 11

2-SQUARE: Web-based enhancement of privacy and security for SQUARE

Lai, Alan Ning-Fat (2012-02-17)
CAIT: a computer assisted instruction tool

Minton, Suzanne Louise (2010-08-30)
CBAM Assistant: a tool to semi-automate CBAM

Darville, Lisa M. (2012-02-14)
eSQUARE: a web-based & formal-methods-enhanced SQUARE tool

Abukwaik, Hadil K.M. (2010-07-21)
Formal specification in Z notations for secure query processing in deductive database systems

Patel, Ketul Rajanikant (2011-02-10)
Formal specification of software architecture design tactics for the Security Quality Attribute

Wyeth, Andrew Michael (2010-09-20)
FOZCIL: a framework for converting formal specifications in Object-Z to design contracts in OO programming languages

George, Nixon Sunny (2010-06-15)
GPTW: a web-based tool for events scheduling

Hariri, Mona (2012-09-18)
Inferring likely design contracts in existing code

Bell, Brian J. (2012-09-07)
Software architecture recovery method (SARM) with a case study on a medium-sized web site accessibility assessment tool

Fletter, Dale Allen (2011-02-10)
SQUARE and mySQUARE : security made easy

Yip, Gordon (2010-09-22)

Now showing items 1-11 of 11

Search DSpace