Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 4 of 4
Full-Text Articles in Computer Sciences
Teaching And Assessment Of Mathematical Principles For Software Correctness Using A Reasoning Concept Inventory, Svetlana Drachova-Strang
Teaching And Assessment Of Mathematical Principles For Software Correctness Using A Reasoning Concept Inventory, Svetlana Drachova-Strang
All Dissertations
As computing becomes ubiquitous, software correctness has a fundamental role in ensuring the safety and security of the systems we build. To design and develop software correctly according to their formal contracts, CS students, the future software practitioners, need to learn a critical set of skills that are necessary and sufficient for reasoning about software correctness.
This dissertation presents a systematic approach to both introducing these reasoning skills into the curriculum, and assessing how well the students have learned them. Specifically, it introduces a comprehensive Reasoning Concept Inventory (RCI) that captures the fine details of basic reasoning skills that are …
A Radio Link Quality Model And Simulation Framework For Improving The Design Of Embedded Wireless Systems, Sally Wahba
A Radio Link Quality Model And Simulation Framework For Improving The Design Of Embedded Wireless Systems, Sally Wahba
All Dissertations
Despite the increasing application of embedded wireless systems, developers face numerous challenges during the design phase of the application life cycle. One of the critical challenges is ensuring performance reliability with respect to radio link quality. Specifically, embedded links experience exaggerated link quality variation, which results in undesirable wireless performance characteristics. Unfortunately, the resulting post-deployment behaviors often necessitate network redeployment.
Another challenge is recovering from faults that commonly occur in embedded wireless systems, including node failure and state corruption. Self-stabilizing algorithms can provide recovery in the presence of such faults. These algorithms guarantee the eventual satisfaction of a given state …
Mechanical And Modular Verification Condition Generation For Object-Based Software, Heather Harton
Mechanical And Modular Verification Condition Generation For Object-Based Software, Heather Harton
All Dissertations
The foundational goal of this work is the development of mechanizable proof rules and a verification condition generator based on those rules for modern software. The verification system will be modular so that it is possible to verify the implementation of a component relying upon only the specifications of underlying components that are reused. The system must enable full behavioral verification. The proof rules used to generate verification conditions (VCs) of correctness must be amenable to automation. While automation requires software developers to annotate implementations with assertions, it should not require assistance in the proofs. This research has led to …
A Reasoning Framework For Dependability In Software Architectures, Tacksoo Im
A Reasoning Framework For Dependability In Software Architectures, Tacksoo Im
All Dissertations
The degree to which a software system possesses specified levels of software quality attributes, such as performance and modifiability, often have more influence on the success and failure of those systems than the functional requirements. One method of improving the level of a software quality that a product possesses is to reason about the structure of the software architecture in terms of how well the structure supports the quality. This is accomplished by reasoning through software quality attribute scenarios while designing the software architecture of the system.
As society relies more heavily on software systems, the dependability of those systems …