Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for +publisher:"Clemson University" +contributor:("Sitaraman , Murali"). Showing records 1 – 7 of 7 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Clemson University

1. Cook, Charles. A Web-Integrated Environment for Component-Based Software Reasoning.

Degree: MS, Computer Science, 2011, Clemson University

 This thesis presents the Web IDE, a web-integrated environment for component-based software reasoning. The Web IDE is specifically tailored to emphasize the relationships among various… (more)

Subjects/Keywords: IDE; Online; Reasoning; Software; Verification; Web-based; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Cook, C. (2011). A Web-Integrated Environment for Component-Based Software Reasoning. (Masters Thesis). Clemson University. Retrieved from https://tigerprints.clemson.edu/all_theses/1230

Chicago Manual of Style (16th Edition):

Cook, Charles. “A Web-Integrated Environment for Component-Based Software Reasoning.” 2011. Masters Thesis, Clemson University. Accessed April 02, 2020. https://tigerprints.clemson.edu/all_theses/1230.

MLA Handbook (7th Edition):

Cook, Charles. “A Web-Integrated Environment for Component-Based Software Reasoning.” 2011. Web. 02 Apr 2020.

Vancouver:

Cook C. A Web-Integrated Environment for Component-Based Software Reasoning. [Internet] [Masters thesis]. Clemson University; 2011. [cited 2020 Apr 02]. Available from: https://tigerprints.clemson.edu/all_theses/1230.

Council of Science Editors:

Cook C. A Web-Integrated Environment for Component-Based Software Reasoning. [Masters Thesis]. Clemson University; 2011. Available from: https://tigerprints.clemson.edu/all_theses/1230


Clemson University

2. Vo, Hung. SOFTWARE TESTABILITY MEASURE FOR SAE ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE (AADL)SOFTWARE TESTABILITY MEASURE FOR SAE ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE (AADL).

Degree: MS, Computer Science, 2012, Clemson University

 Testability is an important quality attribute of software, especially for critical systems such as avionics, medical, and automotive. Improvement in the early testability of software… (more)

Subjects/Keywords: AADL; information transfer graph; OSATE; SAE; software architecture; testability; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Vo, H. (2012). SOFTWARE TESTABILITY MEASURE FOR SAE ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE (AADL)SOFTWARE TESTABILITY MEASURE FOR SAE ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE (AADL). (Masters Thesis). Clemson University. Retrieved from https://tigerprints.clemson.edu/all_theses/1500

Chicago Manual of Style (16th Edition):

Vo, Hung. “SOFTWARE TESTABILITY MEASURE FOR SAE ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE (AADL)SOFTWARE TESTABILITY MEASURE FOR SAE ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE (AADL).” 2012. Masters Thesis, Clemson University. Accessed April 02, 2020. https://tigerprints.clemson.edu/all_theses/1500.

MLA Handbook (7th Edition):

Vo, Hung. “SOFTWARE TESTABILITY MEASURE FOR SAE ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE (AADL)SOFTWARE TESTABILITY MEASURE FOR SAE ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE (AADL).” 2012. Web. 02 Apr 2020.

Vancouver:

Vo H. SOFTWARE TESTABILITY MEASURE FOR SAE ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE (AADL)SOFTWARE TESTABILITY MEASURE FOR SAE ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE (AADL). [Internet] [Masters thesis]. Clemson University; 2012. [cited 2020 Apr 02]. Available from: https://tigerprints.clemson.edu/all_theses/1500.

Council of Science Editors:

Vo H. SOFTWARE TESTABILITY MEASURE FOR SAE ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE (AADL)SOFTWARE TESTABILITY MEASURE FOR SAE ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE (AADL). [Masters Thesis]. Clemson University; 2012. Available from: https://tigerprints.clemson.edu/all_theses/1500


Clemson University

3. Harton, Heather. Mechanical and Modular Verification Condition Generation for Object-Based Software.

Degree: PhD, Computer Science, 2011, Clemson University

 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.… (more)

Subjects/Keywords: assertions; formal specification; mechanical verification; modular verification; semantics; software engineering; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Harton, H. (2011). Mechanical and Modular Verification Condition Generation for Object-Based Software. (Doctoral Dissertation). Clemson University. Retrieved from https://tigerprints.clemson.edu/all_dissertations/869

Chicago Manual of Style (16th Edition):

Harton, Heather. “Mechanical and Modular Verification Condition Generation for Object-Based Software.” 2011. Doctoral Dissertation, Clemson University. Accessed April 02, 2020. https://tigerprints.clemson.edu/all_dissertations/869.

MLA Handbook (7th Edition):

Harton, Heather. “Mechanical and Modular Verification Condition Generation for Object-Based Software.” 2011. Web. 02 Apr 2020.

Vancouver:

Harton H. Mechanical and Modular Verification Condition Generation for Object-Based Software. [Internet] [Doctoral dissertation]. Clemson University; 2011. [cited 2020 Apr 02]. Available from: https://tigerprints.clemson.edu/all_dissertations/869.

Council of Science Editors:

Harton H. Mechanical and Modular Verification Condition Generation for Object-Based Software. [Doctoral Dissertation]. Clemson University; 2011. Available from: https://tigerprints.clemson.edu/all_dissertations/869


Clemson University

4. Regula, Kalyan chakradhar. A Verifying Compiler for Embedded Networked Systems.

Degree: MS, Computer Science, 2010, Clemson University

 Embedded networked devices are required to produce dependable outputs and communicate with peer devices given limited computing resources. These devices monitor and control processes within… (more)

Subjects/Keywords: Embedded Networked Systems; Software Verification; Verifying Compiler; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Regula, K. c. (2010). A Verifying Compiler for Embedded Networked Systems. (Masters Thesis). Clemson University. Retrieved from https://tigerprints.clemson.edu/all_theses/899

Chicago Manual of Style (16th Edition):

Regula, Kalyan chakradhar. “A Verifying Compiler for Embedded Networked Systems.” 2010. Masters Thesis, Clemson University. Accessed April 02, 2020. https://tigerprints.clemson.edu/all_theses/899.

MLA Handbook (7th Edition):

Regula, Kalyan chakradhar. “A Verifying Compiler for Embedded Networked Systems.” 2010. Web. 02 Apr 2020.

Vancouver:

Regula Kc. A Verifying Compiler for Embedded Networked Systems. [Internet] [Masters thesis]. Clemson University; 2010. [cited 2020 Apr 02]. Available from: https://tigerprints.clemson.edu/all_theses/899.

Council of Science Editors:

Regula Kc. A Verifying Compiler for Embedded Networked Systems. [Masters Thesis]. Clemson University; 2010. Available from: https://tigerprints.clemson.edu/all_theses/899


Clemson University

5. Bryfczynski, Samuel. BeSocratic: An Intelligent Tutoring System for the Recognition, Evaluation, and Analysis of Free-form Student Input.

Degree: PhD, Computer Science, 2012, Clemson University

  This dissertation describes a novel intelligent tutoring system, BeSocratic, which aims to help fill the gap between simple multiple-choice systems and free-response systems. BeSocratic… (more)

Subjects/Keywords: Assessment; Hidden Markov Model; Intelligent Tutor; Visualization; Education

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bryfczynski, S. (2012). BeSocratic: An Intelligent Tutoring System for the Recognition, Evaluation, and Analysis of Free-form Student Input. (Doctoral Dissertation). Clemson University. Retrieved from https://tigerprints.clemson.edu/all_dissertations/1053

Chicago Manual of Style (16th Edition):

Bryfczynski, Samuel. “BeSocratic: An Intelligent Tutoring System for the Recognition, Evaluation, and Analysis of Free-form Student Input.” 2012. Doctoral Dissertation, Clemson University. Accessed April 02, 2020. https://tigerprints.clemson.edu/all_dissertations/1053.

MLA Handbook (7th Edition):

Bryfczynski, Samuel. “BeSocratic: An Intelligent Tutoring System for the Recognition, Evaluation, and Analysis of Free-form Student Input.” 2012. Web. 02 Apr 2020.

Vancouver:

Bryfczynski S. BeSocratic: An Intelligent Tutoring System for the Recognition, Evaluation, and Analysis of Free-form Student Input. [Internet] [Doctoral dissertation]. Clemson University; 2012. [cited 2020 Apr 02]. Available from: https://tigerprints.clemson.edu/all_dissertations/1053.

Council of Science Editors:

Bryfczynski S. BeSocratic: An Intelligent Tutoring System for the Recognition, Evaluation, and Analysis of Free-form Student Input. [Doctoral Dissertation]. Clemson University; 2012. Available from: https://tigerprints.clemson.edu/all_dissertations/1053


Clemson University

6. Drachova-strang, Svetlana. TEACHING AND ASSESSMENT OF MATHEMATICAL PRINCIPLES FOR SOFTWARE CORRECTNESS USING A REASONING CONCEPT INVENTORY.

Degree: PhD, Computer Science, 2013, Clemson University

  As computing becomes ubiquitous, software correctness has a fundamental role in ensuring the safety and security of the systems we build. To design and… (more)

Subjects/Keywords: analytical reasoning; inventory; mathematical reasoning; reasoning concept inventory; software correctness; software engineering; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Drachova-strang, S. (2013). TEACHING AND ASSESSMENT OF MATHEMATICAL PRINCIPLES FOR SOFTWARE CORRECTNESS USING A REASONING CONCEPT INVENTORY. (Doctoral Dissertation). Clemson University. Retrieved from https://tigerprints.clemson.edu/all_dissertations/1095

Chicago Manual of Style (16th Edition):

Drachova-strang, Svetlana. “TEACHING AND ASSESSMENT OF MATHEMATICAL PRINCIPLES FOR SOFTWARE CORRECTNESS USING A REASONING CONCEPT INVENTORY.” 2013. Doctoral Dissertation, Clemson University. Accessed April 02, 2020. https://tigerprints.clemson.edu/all_dissertations/1095.

MLA Handbook (7th Edition):

Drachova-strang, Svetlana. “TEACHING AND ASSESSMENT OF MATHEMATICAL PRINCIPLES FOR SOFTWARE CORRECTNESS USING A REASONING CONCEPT INVENTORY.” 2013. Web. 02 Apr 2020.

Vancouver:

Drachova-strang S. TEACHING AND ASSESSMENT OF MATHEMATICAL PRINCIPLES FOR SOFTWARE CORRECTNESS USING A REASONING CONCEPT INVENTORY. [Internet] [Doctoral dissertation]. Clemson University; 2013. [cited 2020 Apr 02]. Available from: https://tigerprints.clemson.edu/all_dissertations/1095.

Council of Science Editors:

Drachova-strang S. TEACHING AND ASSESSMENT OF MATHEMATICAL PRINCIPLES FOR SOFTWARE CORRECTNESS USING A REASONING CONCEPT INVENTORY. [Doctoral Dissertation]. Clemson University; 2013. Available from: https://tigerprints.clemson.edu/all_dissertations/1095


Clemson University

7. Smith, Hampton. Engineering Specifications and Mathematics for Verified Software.

Degree: PhD, Computer Science, 2013, Clemson University

 Developing a verifying compiler – a compiler that proves that components are correct with respect to their specifications – is a grand challenge for the computing community.… (more)

Subjects/Keywords: Formal Methods; Specficiation; Verification; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Smith, H. (2013). Engineering Specifications and Mathematics for Verified Software. (Doctoral Dissertation). Clemson University. Retrieved from https://tigerprints.clemson.edu/all_dissertations/1132

Chicago Manual of Style (16th Edition):

Smith, Hampton. “Engineering Specifications and Mathematics for Verified Software.” 2013. Doctoral Dissertation, Clemson University. Accessed April 02, 2020. https://tigerprints.clemson.edu/all_dissertations/1132.

MLA Handbook (7th Edition):

Smith, Hampton. “Engineering Specifications and Mathematics for Verified Software.” 2013. Web. 02 Apr 2020.

Vancouver:

Smith H. Engineering Specifications and Mathematics for Verified Software. [Internet] [Doctoral dissertation]. Clemson University; 2013. [cited 2020 Apr 02]. Available from: https://tigerprints.clemson.edu/all_dissertations/1132.

Council of Science Editors:

Smith H. Engineering Specifications and Mathematics for Verified Software. [Doctoral Dissertation]. Clemson University; 2013. Available from: https://tigerprints.clemson.edu/all_dissertations/1132

.