Theses and Dissertations
Executable behavioral modeling of system- and software-architecture specifications to inform resourcing decisions
Identifying and quantifying emergent behavior through system of systems modeling and simulation
Nextgen Navy eLearning tracking
Safety of mixed model access control in a multilevel system
A systematic software, firmware, and hardware codesign methodology for digital signal processing
An investigation into specifying service level agreements for provisioning cloud computing services
Use of Statechart Assertions for Modeling Human-in-the-Loop Security Analysis and Decision-Making Processes
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
Author
Branch Of Service
Date Issued
Degree
Department
-
Computer Science (13)
-
Software Engineering (13)