Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Entire DC Network
Semantic Tableaux Program, Sirisha Lakshmi Vadaparty
Semantic Tableaux Program, Sirisha Lakshmi Vadaparty
Theses Digitization Project
This project created a program that takes predicate calculus formulas and creates a visual Semantic Tableaux truth tree, thereby proving or disproving a conclusion. Formal methods used in developing and verifying software and hardware are mathematically based techniques for describing and reasoning about system properties. Such formal methods provide frameworks within which people specify, develop, and verify systems in a systematic, rather than ad hoc, manner. Formal methods include the more specific activities of program specification, program verification and hardware verification.
Analysis Of Psp-Like Processes For Software Engineering, Paul Jefferson Conrad
Analysis Of Psp-Like Processes For Software Engineering, Paul Jefferson Conrad
Theses Digitization Project
The purpose of this thesis is to provide the California State University, San Bernardino, Department of Computer Science with an analysis and recommended solution to improving the software development process.