Theses and Dissertations
Formal specifications for an electrical power grid system stability and reliability
Nextgen Navy eLearning tracking
Mobility and cloud: operating in intermittent, austere network conditions
Application of architectural patterns and lightweight formal method for the validation and verification of safety critical systems
SPECIFICATION, VALIDATION AND VERIFICATION OF MOBILE APPLICATION BEHAVIOR
An investigation into specifying service level agreements for provisioning cloud computing services
Cloud-based Communications Planning Collaboration and Interoperability
MVC for content management on the cloud
Using statechart assertion for the formal validation and verification of a real-time software system a case study
The effectiveness of software project management practices a quantitative measurement
Refine By:
Advisor
-
Shing, Man-Tak (22)
Author
Branch Of Service
Date Issued
Degree
Department
-
Computer Science (22)