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 subject:(Formal methods). Showing records 1 – 30 of 354 total matches.

[1] [2] [3] [4] [5] … [12]

Search Limiters

Last 2 Years | English Only

Department

Degrees

Levels

Languages

Country

▼ Search Limiters


California State University – Sacramento

1. Wyeth, Andrew Michael. Formal specification of software architecture design tactics for the Security Quality Attribute.

Degree: MS, Computer Science, 2010, California State University – Sacramento

 Designing the software architecture of a system is an important step in creating a system that will meet both the functional and non-functional requirements. Bass,… (more)

Subjects/Keywords: Formal methods; Security; Software architecture

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wyeth, A. M. (2010). Formal specification of software architecture design tactics for the Security Quality Attribute. (Masters Thesis). California State University – Sacramento. Retrieved from http://hdl.handle.net/10211.9/671

Chicago Manual of Style (16th Edition):

Wyeth, Andrew Michael. “Formal specification of software architecture design tactics for the Security Quality Attribute.” 2010. Masters Thesis, California State University – Sacramento. Accessed May 25, 2019. http://hdl.handle.net/10211.9/671.

MLA Handbook (7th Edition):

Wyeth, Andrew Michael. “Formal specification of software architecture design tactics for the Security Quality Attribute.” 2010. Web. 25 May 2019.

Vancouver:

Wyeth AM. Formal specification of software architecture design tactics for the Security Quality Attribute. [Internet] [Masters thesis]. California State University – Sacramento; 2010. [cited 2019 May 25]. Available from: http://hdl.handle.net/10211.9/671.

Council of Science Editors:

Wyeth AM. Formal specification of software architecture design tactics for the Security Quality Attribute. [Masters Thesis]. California State University – Sacramento; 2010. Available from: http://hdl.handle.net/10211.9/671


University of Toronto

2. Chen, Yibin. Circuit Debugging with Error Trace Compaction and Maximum Satisfiability.

Degree: 2009, University of Toronto

Improving the performance and functionality of contemporary debugging tools is essential to alleviate the debugging task. This dissertation aims at narrowing the gap between current… (more)

Subjects/Keywords: Circuit Debugging; Formal Methods; 0544

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chen, Y. (2009). Circuit Debugging with Error Trace Compaction and Maximum Satisfiability. (Masters Thesis). University of Toronto. Retrieved from http://hdl.handle.net/1807/18248

Chicago Manual of Style (16th Edition):

Chen, Yibin. “Circuit Debugging with Error Trace Compaction and Maximum Satisfiability.” 2009. Masters Thesis, University of Toronto. Accessed May 25, 2019. http://hdl.handle.net/1807/18248.

MLA Handbook (7th Edition):

Chen, Yibin. “Circuit Debugging with Error Trace Compaction and Maximum Satisfiability.” 2009. Web. 25 May 2019.

Vancouver:

Chen Y. Circuit Debugging with Error Trace Compaction and Maximum Satisfiability. [Internet] [Masters thesis]. University of Toronto; 2009. [cited 2019 May 25]. Available from: http://hdl.handle.net/1807/18248.

Council of Science Editors:

Chen Y. Circuit Debugging with Error Trace Compaction and Maximum Satisfiability. [Masters Thesis]. University of Toronto; 2009. Available from: http://hdl.handle.net/1807/18248


Cornell University

3. Raman, Vasumathi. Explaining Unsynthesizability Of High-Level Robot Behaviors .

Degree: 2013, Cornell University

 As robots become increasingly capable and general-purpose, it is desirable for them to be easily controllable by a wide variety of users. The near future… (more)

Subjects/Keywords: Robotics; Formal Methods; Synthesis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Raman, V. (2013). Explaining Unsynthesizability Of High-Level Robot Behaviors . (Thesis). Cornell University. Retrieved from http://hdl.handle.net/1813/34373

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Raman, Vasumathi. “Explaining Unsynthesizability Of High-Level Robot Behaviors .” 2013. Thesis, Cornell University. Accessed May 25, 2019. http://hdl.handle.net/1813/34373.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Raman, Vasumathi. “Explaining Unsynthesizability Of High-Level Robot Behaviors .” 2013. Web. 25 May 2019.

Vancouver:

Raman V. Explaining Unsynthesizability Of High-Level Robot Behaviors . [Internet] [Thesis]. Cornell University; 2013. [cited 2019 May 25]. Available from: http://hdl.handle.net/1813/34373.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Raman V. Explaining Unsynthesizability Of High-Level Robot Behaviors . [Thesis]. Cornell University; 2013. Available from: http://hdl.handle.net/1813/34373

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of New South Wales

4. Cock, David. Leakage in Trustworthy Systems.

Degree: Computer Science & Engineering, 2014, University of New South Wales

 This dissertation presents a survey of the theoretical and practical techniques necessary to provably eliminate side-channel leakage through known mechanisms in component-based secure systems.We cover… (more)

Subjects/Keywords: Microkernels; Security; Formal methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cock, D. (2014). Leakage in Trustworthy Systems. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/53707 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:12402/SOURCE02?view=true

Chicago Manual of Style (16th Edition):

Cock, David. “Leakage in Trustworthy Systems.” 2014. Doctoral Dissertation, University of New South Wales. Accessed May 25, 2019. http://handle.unsw.edu.au/1959.4/53707 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:12402/SOURCE02?view=true.

MLA Handbook (7th Edition):

Cock, David. “Leakage in Trustworthy Systems.” 2014. Web. 25 May 2019.

Vancouver:

Cock D. Leakage in Trustworthy Systems. [Internet] [Doctoral dissertation]. University of New South Wales; 2014. [cited 2019 May 25]. Available from: http://handle.unsw.edu.au/1959.4/53707 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:12402/SOURCE02?view=true.

Council of Science Editors:

Cock D. Leakage in Trustworthy Systems. [Doctoral Dissertation]. University of New South Wales; 2014. Available from: http://handle.unsw.edu.au/1959.4/53707 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:12402/SOURCE02?view=true


University of Texas – Austin

5. Harrison, Amelia J. Formal methods for answer set programming.

Degree: Computer Sciences, 2018, University of Texas – Austin

 Answer set programming (ASP) is a declarative programming paradigm for the design and implementation of knowledge-intensive applications, particularly useful for modeling problems involving combinatorial search.… (more)

Subjects/Keywords: Logic programming; Formal methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Harrison, A. J. (2018). Formal methods for answer set programming. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/63692

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Harrison, Amelia J. “Formal methods for answer set programming.” 2018. Thesis, University of Texas – Austin. Accessed May 25, 2019. http://hdl.handle.net/2152/63692.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Harrison, Amelia J. “Formal methods for answer set programming.” 2018. Web. 25 May 2019.

Vancouver:

Harrison AJ. Formal methods for answer set programming. [Internet] [Thesis]. University of Texas – Austin; 2018. [cited 2019 May 25]. Available from: http://hdl.handle.net/2152/63692.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Harrison AJ. Formal methods for answer set programming. [Thesis]. University of Texas – Austin; 2018. Available from: http://hdl.handle.net/2152/63692

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of South Africa

6. Adesina-Ojo, Ayodele Adeola. Towards the formalisation of object-oriented methodologies .

Degree: 2011, University of South Africa

Formal methods have been shown to be beneficial in increasing the quality of, and confidence in software systems. Despite the advantages of using formal methods(more)

Subjects/Keywords: Object-orientation; UML; Object-Oriented Formal Methods (OOFMs); Formal methods; Z++

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Adesina-Ojo, A. A. (2011). Towards the formalisation of object-oriented methodologies . (Doctoral Dissertation). University of South Africa. Retrieved from http://hdl.handle.net/10500/11957

Chicago Manual of Style (16th Edition):

Adesina-Ojo, Ayodele Adeola. “Towards the formalisation of object-oriented methodologies .” 2011. Doctoral Dissertation, University of South Africa. Accessed May 25, 2019. http://hdl.handle.net/10500/11957.

MLA Handbook (7th Edition):

Adesina-Ojo, Ayodele Adeola. “Towards the formalisation of object-oriented methodologies .” 2011. Web. 25 May 2019.

Vancouver:

Adesina-Ojo AA. Towards the formalisation of object-oriented methodologies . [Internet] [Doctoral dissertation]. University of South Africa; 2011. [cited 2019 May 25]. Available from: http://hdl.handle.net/10500/11957.

Council of Science Editors:

Adesina-Ojo AA. Towards the formalisation of object-oriented methodologies . [Doctoral Dissertation]. University of South Africa; 2011. Available from: http://hdl.handle.net/10500/11957


California State University – Sacramento

7. George, Nixon Sunny. FOZCIL: a framework for converting formal specifications in Object-Z to design contracts in OO programming languages.

Degree: MS, Computer Science, 2010, California State University – Sacramento

Formal languages use mathematical notations to capture the software specifications precisely. Design by Contract is a technique used during software implementation to ensure that the… (more)

Subjects/Keywords: Formal methods; Design by contract; Formal languages; Z language

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

George, N. S. (2010). FOZCIL: a framework for converting formal specifications in Object-Z to design contracts in OO programming languages. (Masters Thesis). California State University – Sacramento. Retrieved from http://hdl.handle.net/10211.9/204

Chicago Manual of Style (16th Edition):

George, Nixon Sunny. “FOZCIL: a framework for converting formal specifications in Object-Z to design contracts in OO programming languages.” 2010. Masters Thesis, California State University – Sacramento. Accessed May 25, 2019. http://hdl.handle.net/10211.9/204.

MLA Handbook (7th Edition):

George, Nixon Sunny. “FOZCIL: a framework for converting formal specifications in Object-Z to design contracts in OO programming languages.” 2010. Web. 25 May 2019.

Vancouver:

George NS. FOZCIL: a framework for converting formal specifications in Object-Z to design contracts in OO programming languages. [Internet] [Masters thesis]. California State University – Sacramento; 2010. [cited 2019 May 25]. Available from: http://hdl.handle.net/10211.9/204.

Council of Science Editors:

George NS. FOZCIL: a framework for converting formal specifications in Object-Z to design contracts in OO programming languages. [Masters Thesis]. California State University – Sacramento; 2010. Available from: http://hdl.handle.net/10211.9/204


Universidade do Rio Grande do Sul

8. Barbosa, Raquel de Miranda. Especificação formal de organizações de sistemas multiagentes.

Degree: 2011, Universidade do Rio Grande do Sul

A abordagem de sistemas multiagentes tem sido cada vez mais utilizada para o desenvolvimento de sistemas complexos, o que despertou o interesse das pesquisas na… (more)

Subjects/Keywords: Formal methods; Inteligência artificial; MAS organizations; Sistemas multiagentes; RSL formal specification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Barbosa, R. d. M. (2011). Especificação formal de organizações de sistemas multiagentes. (Thesis). Universidade do Rio Grande do Sul. Retrieved from http://hdl.handle.net/10183/31122

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Barbosa, Raquel de Miranda. “Especificação formal de organizações de sistemas multiagentes.” 2011. Thesis, Universidade do Rio Grande do Sul. Accessed May 25, 2019. http://hdl.handle.net/10183/31122.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Barbosa, Raquel de Miranda. “Especificação formal de organizações de sistemas multiagentes.” 2011. Web. 25 May 2019.

Vancouver:

Barbosa RdM. Especificação formal de organizações de sistemas multiagentes. [Internet] [Thesis]. Universidade do Rio Grande do Sul; 2011. [cited 2019 May 25]. Available from: http://hdl.handle.net/10183/31122.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Barbosa RdM. Especificação formal de organizações de sistemas multiagentes. [Thesis]. Universidade do Rio Grande do Sul; 2011. Available from: http://hdl.handle.net/10183/31122

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


McMaster University

9. Kumar, Apurva. A Preparatory Study Towards a Body of Knowledge in the Field of Formal Methods for the Railway Domain.

Degree: MASc, 2015, McMaster University

Bodies or Books of Knowledge (BoKs) have only been transcribed in mature fields where practices and rules have been well established (settled) and are gathered… (more)

Subjects/Keywords: Formal Methods; Railway Software; Formal Concept Analysis; Body of Knowledge

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kumar, A. (2015). A Preparatory Study Towards a Body of Knowledge in the Field of Formal Methods for the Railway Domain. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/18416

Chicago Manual of Style (16th Edition):

Kumar, Apurva. “A Preparatory Study Towards a Body of Knowledge in the Field of Formal Methods for the Railway Domain.” 2015. Masters Thesis, McMaster University. Accessed May 25, 2019. http://hdl.handle.net/11375/18416.

MLA Handbook (7th Edition):

Kumar, Apurva. “A Preparatory Study Towards a Body of Knowledge in the Field of Formal Methods for the Railway Domain.” 2015. Web. 25 May 2019.

Vancouver:

Kumar A. A Preparatory Study Towards a Body of Knowledge in the Field of Formal Methods for the Railway Domain. [Internet] [Masters thesis]. McMaster University; 2015. [cited 2019 May 25]. Available from: http://hdl.handle.net/11375/18416.

Council of Science Editors:

Kumar A. A Preparatory Study Towards a Body of Knowledge in the Field of Formal Methods for the Railway Domain. [Masters Thesis]. McMaster University; 2015. Available from: http://hdl.handle.net/11375/18416


The Ohio State University

10. Zaccai, Diego Sebastian. A Balanced Verification Effort for the Java Language.

Degree: PhD, Computer Science and Engineering, 2016, The Ohio State University

 Current tools used to verify software in languages with reference semantics, such as Java, are hampered by the possibility of aliases. Existing approaches to addressing… (more)

Subjects/Keywords: Computer Science; Formal Methods; Software Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zaccai, D. S. (2016). A Balanced Verification Effort for the Java Language. (Doctoral Dissertation). The Ohio State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=osu1461243619

Chicago Manual of Style (16th Edition):

Zaccai, Diego Sebastian. “A Balanced Verification Effort for the Java Language.” 2016. Doctoral Dissertation, The Ohio State University. Accessed May 25, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=osu1461243619.

MLA Handbook (7th Edition):

Zaccai, Diego Sebastian. “A Balanced Verification Effort for the Java Language.” 2016. Web. 25 May 2019.

Vancouver:

Zaccai DS. A Balanced Verification Effort for the Java Language. [Internet] [Doctoral dissertation]. The Ohio State University; 2016. [cited 2019 May 25]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1461243619.

Council of Science Editors:

Zaccai DS. A Balanced Verification Effort for the Java Language. [Doctoral Dissertation]. The Ohio State University; 2016. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1461243619


Cornell University

11. Xu, Bingxin. Guaranteeing High-Level Robot Behaviours With Past Memory And Future Unknown .

Degree: 2013, Cornell University

 This thesis presents the development of high-level guaranteed robot control for reactive behaviours by relaxing two assumptions: 1) the workspace is well-known in advance; 2)… (more)

Subjects/Keywords: high-level control; robot; formal methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Xu, B. (2013). Guaranteeing High-Level Robot Behaviours With Past Memory And Future Unknown . (Thesis). Cornell University. Retrieved from http://hdl.handle.net/1813/33823

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Xu, Bingxin. “Guaranteeing High-Level Robot Behaviours With Past Memory And Future Unknown .” 2013. Thesis, Cornell University. Accessed May 25, 2019. http://hdl.handle.net/1813/33823.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Xu, Bingxin. “Guaranteeing High-Level Robot Behaviours With Past Memory And Future Unknown .” 2013. Web. 25 May 2019.

Vancouver:

Xu B. Guaranteeing High-Level Robot Behaviours With Past Memory And Future Unknown . [Internet] [Thesis]. Cornell University; 2013. [cited 2019 May 25]. Available from: http://hdl.handle.net/1813/33823.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Xu B. Guaranteeing High-Level Robot Behaviours With Past Memory And Future Unknown . [Thesis]. Cornell University; 2013. Available from: http://hdl.handle.net/1813/33823

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Waikato

12. Crickett, Scott. Design Patterns: Infrastructure and Examples .

Degree: 2017, University of Waikato

 Modern interactive systems can be incredibly complex, with a variety of screens, menus, widgets, etc. available to the user. Due to this, modelling these interactive… (more)

Subjects/Keywords: Computer Science; Formal Methods; Design Patterns

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Crickett, S. (2017). Design Patterns: Infrastructure and Examples . (Masters Thesis). University of Waikato. Retrieved from http://hdl.handle.net/10289/11703

Chicago Manual of Style (16th Edition):

Crickett, Scott. “Design Patterns: Infrastructure and Examples .” 2017. Masters Thesis, University of Waikato. Accessed May 25, 2019. http://hdl.handle.net/10289/11703.

MLA Handbook (7th Edition):

Crickett, Scott. “Design Patterns: Infrastructure and Examples .” 2017. Web. 25 May 2019.

Vancouver:

Crickett S. Design Patterns: Infrastructure and Examples . [Internet] [Masters thesis]. University of Waikato; 2017. [cited 2019 May 25]. Available from: http://hdl.handle.net/10289/11703.

Council of Science Editors:

Crickett S. Design Patterns: Infrastructure and Examples . [Masters Thesis]. University of Waikato; 2017. Available from: http://hdl.handle.net/10289/11703


Clemson University

13. 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 May 25, 2019. https://tigerprints.clemson.edu/all_dissertations/1132.

MLA Handbook (7th Edition):

Smith, Hampton. “Engineering Specifications and Mathematics for Verified Software.” 2013. Web. 25 May 2019.

Vancouver:

Smith H. Engineering Specifications and Mathematics for Verified Software. [Internet] [Doctoral dissertation]. Clemson University; 2013. [cited 2019 May 25]. 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

14. Cordy, Maxime. Model Checking for the Masses.

Degree: 2014, DIAL (Belgium)

The model-checking problem for software product lines is harder than for single systems. Indeed, one has to verify all the software variants of a product… (more)

Subjects/Keywords: Formal methods; model checking; software product lines

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cordy, M. (2014). Model Checking for the Masses. (Thesis). DIAL (Belgium). Retrieved from http://hdl.handle.net/2078.2/152729

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Cordy, Maxime. “Model Checking for the Masses.” 2014. Thesis, DIAL (Belgium). Accessed May 25, 2019. http://hdl.handle.net/2078.2/152729.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Cordy, Maxime. “Model Checking for the Masses.” 2014. Web. 25 May 2019.

Vancouver:

Cordy M. Model Checking for the Masses. [Internet] [Thesis]. DIAL (Belgium); 2014. [cited 2019 May 25]. Available from: http://hdl.handle.net/2078.2/152729.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Cordy M. Model Checking for the Masses. [Thesis]. DIAL (Belgium); 2014. Available from: http://hdl.handle.net/2078.2/152729

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Oklahoma

15. Ralston, Ryan. Translating Clojure to ACL2 for Verification.

Degree: PhD, 2016, University of Oklahoma

 Software spends a significant portion of its life-cycle in the maintenance phase and over 20% of the maintenance effort is fixing defects. Formal methods, including… (more)

Subjects/Keywords: Software Verification; Formal Methods; Theorem Proving

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ralston, R. (2016). Translating Clojure to ACL2 for Verification. (Doctoral Dissertation). University of Oklahoma. Retrieved from http://hdl.handle.net/11244/42982

Chicago Manual of Style (16th Edition):

Ralston, Ryan. “Translating Clojure to ACL2 for Verification.” 2016. Doctoral Dissertation, University of Oklahoma. Accessed May 25, 2019. http://hdl.handle.net/11244/42982.

MLA Handbook (7th Edition):

Ralston, Ryan. “Translating Clojure to ACL2 for Verification.” 2016. Web. 25 May 2019.

Vancouver:

Ralston R. Translating Clojure to ACL2 for Verification. [Internet] [Doctoral dissertation]. University of Oklahoma; 2016. [cited 2019 May 25]. Available from: http://hdl.handle.net/11244/42982.

Council of Science Editors:

Ralston R. Translating Clojure to ACL2 for Verification. [Doctoral Dissertation]. University of Oklahoma; 2016. Available from: http://hdl.handle.net/11244/42982


University of Texas – Austin

16. Yang, Hongkun. Efficient verification of packet networks.

Degree: Computer Sciences, 2015, University of Texas – Austin

 Network management will benefit from automated tools based upon formal methods. In these tools, the algorithm for computing reachability is the core algorithm for verifying… (more)

Subjects/Keywords: Network verification; Formal methods; Automated tools

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yang, H. (2015). Efficient verification of packet networks. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/33271

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Yang, Hongkun. “Efficient verification of packet networks.” 2015. Thesis, University of Texas – Austin. Accessed May 25, 2019. http://hdl.handle.net/2152/33271.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Yang, Hongkun. “Efficient verification of packet networks.” 2015. Web. 25 May 2019.

Vancouver:

Yang H. Efficient verification of packet networks. [Internet] [Thesis]. University of Texas – Austin; 2015. [cited 2019 May 25]. Available from: http://hdl.handle.net/2152/33271.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Yang H. Efficient verification of packet networks. [Thesis]. University of Texas – Austin; 2015. Available from: http://hdl.handle.net/2152/33271

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Kansas State University

17. Zhang, Zhi. A formal approach to contract verification for high-integrity applications.

Degree: PhD, Department of Computing and Information Sciences, 2016, Kansas State University

 High-integrity applications are safety- and security-critical applications developed for a variety of critical tasks. The correctness of these applications must be thoroughly tested or formally… (more)

Subjects/Keywords: Formal Methods; Language Semantics; Program Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhang, Z. (2016). A formal approach to contract verification for high-integrity applications. (Doctoral Dissertation). Kansas State University. Retrieved from http://hdl.handle.net/2097/32880

Chicago Manual of Style (16th Edition):

Zhang, Zhi. “A formal approach to contract verification for high-integrity applications.” 2016. Doctoral Dissertation, Kansas State University. Accessed May 25, 2019. http://hdl.handle.net/2097/32880.

MLA Handbook (7th Edition):

Zhang, Zhi. “A formal approach to contract verification for high-integrity applications.” 2016. Web. 25 May 2019.

Vancouver:

Zhang Z. A formal approach to contract verification for high-integrity applications. [Internet] [Doctoral dissertation]. Kansas State University; 2016. [cited 2019 May 25]. Available from: http://hdl.handle.net/2097/32880.

Council of Science Editors:

Zhang Z. A formal approach to contract verification for high-integrity applications. [Doctoral Dissertation]. Kansas State University; 2016. Available from: http://hdl.handle.net/2097/32880


University of New South Wales

18. Avnit, Karin. Provably correct on-chip communication: a formal approach to automatic synthesis of SoC protocol converters.

Degree: Computer Science & Engineering, 2010, University of New South Wales

 The field of chip design is characterized by contradictory pressures to reduce time-to-market and maintain a high level of reliability. As a result, module reuse… (more)

Subjects/Keywords: System-on-Chip; Formal Methods; Protocol converter

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Avnit, K. (2010). Provably correct on-chip communication: a formal approach to automatic synthesis of SoC protocol converters. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/44701 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:8001/SOURCE01?view=true

Chicago Manual of Style (16th Edition):

Avnit, Karin. “Provably correct on-chip communication: a formal approach to automatic synthesis of SoC protocol converters.” 2010. Doctoral Dissertation, University of New South Wales. Accessed May 25, 2019. http://handle.unsw.edu.au/1959.4/44701 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:8001/SOURCE01?view=true.

MLA Handbook (7th Edition):

Avnit, Karin. “Provably correct on-chip communication: a formal approach to automatic synthesis of SoC protocol converters.” 2010. Web. 25 May 2019.

Vancouver:

Avnit K. Provably correct on-chip communication: a formal approach to automatic synthesis of SoC protocol converters. [Internet] [Doctoral dissertation]. University of New South Wales; 2010. [cited 2019 May 25]. Available from: http://handle.unsw.edu.au/1959.4/44701 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:8001/SOURCE01?view=true.

Council of Science Editors:

Avnit K. Provably correct on-chip communication: a formal approach to automatic synthesis of SoC protocol converters. [Doctoral Dissertation]. University of New South Wales; 2010. Available from: http://handle.unsw.edu.au/1959.4/44701 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:8001/SOURCE01?view=true


University of New South Wales

19. Zhang, Chenyi. Information flow security - models, verification and schedulers.

Degree: Computer Science & Engineering, 2009, University of New South Wales

 Information flow security concerns how to protect sensitive data in computer systems by avoiding undesirable flow of information between the users of the systems. This… (more)

Subjects/Keywords: Information flow; Formal methods; Security; Noninterference

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhang, C. (2009). Information flow security - models, verification and schedulers. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/43410 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:4631/SOURCE1?view=true

Chicago Manual of Style (16th Edition):

Zhang, Chenyi. “Information flow security - models, verification and schedulers.” 2009. Doctoral Dissertation, University of New South Wales. Accessed May 25, 2019. http://handle.unsw.edu.au/1959.4/43410 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:4631/SOURCE1?view=true.

MLA Handbook (7th Edition):

Zhang, Chenyi. “Information flow security - models, verification and schedulers.” 2009. Web. 25 May 2019.

Vancouver:

Zhang C. Information flow security - models, verification and schedulers. [Internet] [Doctoral dissertation]. University of New South Wales; 2009. [cited 2019 May 25]. Available from: http://handle.unsw.edu.au/1959.4/43410 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:4631/SOURCE1?view=true.

Council of Science Editors:

Zhang C. Information flow security - models, verification and schedulers. [Doctoral Dissertation]. University of New South Wales; 2009. Available from: http://handle.unsw.edu.au/1959.4/43410 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:4631/SOURCE1?view=true


University of Illinois – Urbana-Champaign

20. Katelman, Michael. A meta-language for functional verification.

Degree: PhD, 0112, 2012, University of Illinois – Urbana-Champaign

 This dissertation perceives a similarity between two activities: that of coordinating the search for simulation traces toward reaching verification closure, and that of coordinating the… (more)

Subjects/Keywords: Programming Languages; Formal Methods; Hardware Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Katelman, M. (2012). A meta-language for functional verification. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/29614

Chicago Manual of Style (16th Edition):

Katelman, Michael. “A meta-language for functional verification.” 2012. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed May 25, 2019. http://hdl.handle.net/2142/29614.

MLA Handbook (7th Edition):

Katelman, Michael. “A meta-language for functional verification.” 2012. Web. 25 May 2019.

Vancouver:

Katelman M. A meta-language for functional verification. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2012. [cited 2019 May 25]. Available from: http://hdl.handle.net/2142/29614.

Council of Science Editors:

Katelman M. A meta-language for functional verification. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2012. Available from: http://hdl.handle.net/2142/29614


Université de Grenoble

21. Qamar, Muhammad Nafees. Spécification et animation de modèles de conception de la sécurité avec Z : Specification and animation of security design models using Z.

Degree: Docteur es, Informatique, 2011, Université de Grenoble

L'écriture de spécifications pour des logiciels en général et en particulier pour des applications sécurisées demande de développer des techniques qui facilitent la détection et… (more)

Subjects/Keywords: Information systems; Formal methods; Z; UML; Information systems; Formal methods; Z; UML; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Qamar, M. N. (2011). Spécification et animation de modèles de conception de la sécurité avec Z : Specification and animation of security design models using Z. (Doctoral Dissertation). Université de Grenoble. Retrieved from http://www.theses.fr/2011GRENM057

Chicago Manual of Style (16th Edition):

Qamar, Muhammad Nafees. “Spécification et animation de modèles de conception de la sécurité avec Z : Specification and animation of security design models using Z.” 2011. Doctoral Dissertation, Université de Grenoble. Accessed May 25, 2019. http://www.theses.fr/2011GRENM057.

MLA Handbook (7th Edition):

Qamar, Muhammad Nafees. “Spécification et animation de modèles de conception de la sécurité avec Z : Specification and animation of security design models using Z.” 2011. Web. 25 May 2019.

Vancouver:

Qamar MN. Spécification et animation de modèles de conception de la sécurité avec Z : Specification and animation of security design models using Z. [Internet] [Doctoral dissertation]. Université de Grenoble; 2011. [cited 2019 May 25]. Available from: http://www.theses.fr/2011GRENM057.

Council of Science Editors:

Qamar MN. Spécification et animation de modèles de conception de la sécurité avec Z : Specification and animation of security design models using Z. [Doctoral Dissertation]. Université de Grenoble; 2011. Available from: http://www.theses.fr/2011GRENM057

22. FARIAS, Adalberto Cajueiro de. Abstraction of infinite and communicating CSPZ processes .

Degree: 2009, Universidade Federal de Pernambuco

 Esta tese trata de um problema muito comum em verificação formal: explosão de estados. O problema desabilita a verificação automática de propriedades através da verificação… (more)

Subjects/Keywords: Formal methods; Formal specification; CSPZ; Data abstraction; Data refinement, Process refinement; Model checking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

FARIAS, A. C. d. (2009). Abstraction of infinite and communicating CSPZ processes . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/1364

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

FARIAS, Adalberto Cajueiro de. “Abstraction of infinite and communicating CSPZ processes .” 2009. Thesis, Universidade Federal de Pernambuco. Accessed May 25, 2019. http://repositorio.ufpe.br/handle/123456789/1364.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

FARIAS, Adalberto Cajueiro de. “Abstraction of infinite and communicating CSPZ processes .” 2009. Web. 25 May 2019.

Vancouver:

FARIAS ACd. Abstraction of infinite and communicating CSPZ processes . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2009. [cited 2019 May 25]. Available from: http://repositorio.ufpe.br/handle/123456789/1364.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

FARIAS ACd. Abstraction of infinite and communicating CSPZ processes . [Thesis]. Universidade Federal de Pernambuco; 2009. Available from: http://repositorio.ufpe.br/handle/123456789/1364

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Dublin City University

23. Power, James. Institutional approaches to programming language specification.

Degree: School of Computing, 1994, Dublin City University

Formal specification has become increasingly important in software engineering, both as a design tool, and as a basis for verified software design. Formal methods have… (more)

Subjects/Keywords: Software engineering; Formal methods; Formal specification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Power, J. (1994). Institutional approaches to programming language specification. (Thesis). Dublin City University. Retrieved from http://doras.dcu.ie/19279/

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Power, James. “Institutional approaches to programming language specification.” 1994. Thesis, Dublin City University. Accessed May 25, 2019. http://doras.dcu.ie/19279/.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Power, James. “Institutional approaches to programming language specification.” 1994. Web. 25 May 2019.

Vancouver:

Power J. Institutional approaches to programming language specification. [Internet] [Thesis]. Dublin City University; 1994. [cited 2019 May 25]. Available from: http://doras.dcu.ie/19279/.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Power J. Institutional approaches to programming language specification. [Thesis]. Dublin City University; 1994. Available from: http://doras.dcu.ie/19279/

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

24. Bockenek, Joshua A. USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow.

Degree: MS, Electrical and Computer Engineering, 2017, Virginia Tech

 Writing bug-free code is fraught with difficulty, and existing tools for the formal verification of programs do not scale well to large, complicated codebases such… (more)

Subjects/Keywords: Formal Verification; Formal Methods; Isabelle; Unifying Theories of Programming; Verification Condition Generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bockenek, J. A. (2017). USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/81710

Chicago Manual of Style (16th Edition):

Bockenek, Joshua A. “USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow.” 2017. Masters Thesis, Virginia Tech. Accessed May 25, 2019. http://hdl.handle.net/10919/81710.

MLA Handbook (7th Edition):

Bockenek, Joshua A. “USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow.” 2017. Web. 25 May 2019.

Vancouver:

Bockenek JA. USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow. [Internet] [Masters thesis]. Virginia Tech; 2017. [cited 2019 May 25]. Available from: http://hdl.handle.net/10919/81710.

Council of Science Editors:

Bockenek JA. USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow. [Masters Thesis]. Virginia Tech; 2017. Available from: http://hdl.handle.net/10919/81710


Universitat Politècnica de València

25. Peiró Frasquet, Salvador. Metodología para hipervisores seguros utilizando técnicas de validación formal .

Degree: 2016, Universitat Politècnica de València

 [EN] The availability of new processors with more processing power for embedded systems has raised the development of applications that tackle problems of greater complexity.… (more)

Subjects/Keywords: Secure Hypervisor construction using formal verification; Partitioned system; Hypervisor; Formal methods; Security; Validation and verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Peiró Frasquet, S. (2016). Metodología para hipervisores seguros utilizando técnicas de validación formal . (Doctoral Dissertation). Universitat Politècnica de València. Retrieved from http://hdl.handle.net/10251/63152

Chicago Manual of Style (16th Edition):

Peiró Frasquet, Salvador. “Metodología para hipervisores seguros utilizando técnicas de validación formal .” 2016. Doctoral Dissertation, Universitat Politècnica de València. Accessed May 25, 2019. http://hdl.handle.net/10251/63152.

MLA Handbook (7th Edition):

Peiró Frasquet, Salvador. “Metodología para hipervisores seguros utilizando técnicas de validación formal .” 2016. Web. 25 May 2019.

Vancouver:

Peiró Frasquet S. Metodología para hipervisores seguros utilizando técnicas de validación formal . [Internet] [Doctoral dissertation]. Universitat Politècnica de València; 2016. [cited 2019 May 25]. Available from: http://hdl.handle.net/10251/63152.

Council of Science Editors:

Peiró Frasquet S. Metodología para hipervisores seguros utilizando técnicas de validación formal . [Doctoral Dissertation]. Universitat Politècnica de València; 2016. Available from: http://hdl.handle.net/10251/63152


University of Texas – Austin

26. Swords, Sol Otis. A verified framework for symbolic execution in the ACL2 theorem prover.

Degree: Computer Sciences, 2010, University of Texas – Austin

 Mechanized theorem proving is a promising means of formally establishing facts about complex systems. However, in applying theorem proving methodologies to industrial-scale hardware and software… (more)

Subjects/Keywords: Formal verification; Hardware verification; Formal methods; Symbolic execution; Symbolic simulation; Theorem proving

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Swords, S. O. (2010). A verified framework for symbolic execution in the ACL2 theorem prover. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2010-12-2210

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Swords, Sol Otis. “A verified framework for symbolic execution in the ACL2 theorem prover.” 2010. Thesis, University of Texas – Austin. Accessed May 25, 2019. http://hdl.handle.net/2152/ETD-UT-2010-12-2210.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Swords, Sol Otis. “A verified framework for symbolic execution in the ACL2 theorem prover.” 2010. Web. 25 May 2019.

Vancouver:

Swords SO. A verified framework for symbolic execution in the ACL2 theorem prover. [Internet] [Thesis]. University of Texas – Austin; 2010. [cited 2019 May 25]. Available from: http://hdl.handle.net/2152/ETD-UT-2010-12-2210.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Swords SO. A verified framework for symbolic execution in the ACL2 theorem prover. [Thesis]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/ETD-UT-2010-12-2210

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

27. Diego Henrique Oliveira de Souza. Joker: um realizador de desenhos animados para linguagens formais.

Degree: 2011, Universidade Federal do Rio Grande do Norte

Usando métodos formais, o desenvolvedor pode aumentar a confiabilidade e corretude do software. Além disso, o desenvolvedor pode concentrar-se mais nos requisitos funcionais. Porém há… (more)

Subjects/Keywords: Interface Gráfica; Animação; Java; Especificação formal; Métodos formais.; SISTEMAS DE COMPUTACAO; Graphical User Interface; Animation; Java; Formal Specifications; Formal Methods.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Souza, D. H. O. d. (2011). Joker: um realizador de desenhos animados para linguagens formais. (Thesis). Universidade Federal do Rio Grande do Norte. Retrieved from http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=4515

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Souza, Diego Henrique Oliveira de. “Joker: um realizador de desenhos animados para linguagens formais.” 2011. Thesis, Universidade Federal do Rio Grande do Norte. Accessed May 25, 2019. http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=4515.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Souza, Diego Henrique Oliveira de. “Joker: um realizador de desenhos animados para linguagens formais.” 2011. Web. 25 May 2019.

Vancouver:

Souza DHOd. Joker: um realizador de desenhos animados para linguagens formais. [Internet] [Thesis]. Universidade Federal do Rio Grande do Norte; 2011. [cited 2019 May 25]. Available from: http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=4515.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Souza DHOd. Joker: um realizador de desenhos animados para linguagens formais. [Thesis]. Universidade Federal do Rio Grande do Norte; 2011. Available from: http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=4515

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade do Rio Grande do Norte

28. Souza, Diego Henrique Oliveira de. Joker: um realizador de desenhos animados para linguagens formais .

Degree: 2011, Universidade do Rio Grande do Norte

 Using formal methods, the developer can increase software s trustiness and correctness. Furthermore, the developer can concentrate in the functional requirements of the software. However,… (more)

Subjects/Keywords: Interface Gráfica; Animação; Java; Especificação formal; Métodos formais.; Graphical User Interface; Animation; Java; Formal Specifications; Formal Methods.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Souza, D. H. O. d. (2011). Joker: um realizador de desenhos animados para linguagens formais . (Masters Thesis). Universidade do Rio Grande do Norte. Retrieved from http://repositorio.ufrn.br/handle/123456789/18024

Chicago Manual of Style (16th Edition):

Souza, Diego Henrique Oliveira de. “Joker: um realizador de desenhos animados para linguagens formais .” 2011. Masters Thesis, Universidade do Rio Grande do Norte. Accessed May 25, 2019. http://repositorio.ufrn.br/handle/123456789/18024.

MLA Handbook (7th Edition):

Souza, Diego Henrique Oliveira de. “Joker: um realizador de desenhos animados para linguagens formais .” 2011. Web. 25 May 2019.

Vancouver:

Souza DHOd. Joker: um realizador de desenhos animados para linguagens formais . [Internet] [Masters thesis]. Universidade do Rio Grande do Norte; 2011. [cited 2019 May 25]. Available from: http://repositorio.ufrn.br/handle/123456789/18024.

Council of Science Editors:

Souza DHOd. Joker: um realizador de desenhos animados para linguagens formais . [Masters Thesis]. Universidade do Rio Grande do Norte; 2011. Available from: http://repositorio.ufrn.br/handle/123456789/18024


Universidade do Rio Grande do Norte

29. Souza, Diego Henrique Oliveira de. Joker: um realizador de desenhos animados para linguagens formais .

Degree: 2011, Universidade do Rio Grande do Norte

 Using formal methods, the developer can increase software s trustiness and correctness. Furthermore, the developer can concentrate in the functional requirements of the software. However,… (more)

Subjects/Keywords: Interface Gráfica; Animação; Java; Especificação formal; Métodos formais.; Graphical User Interface; Animation; Java; Formal Specifications; Formal Methods.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Souza, D. H. O. d. (2011). Joker: um realizador de desenhos animados para linguagens formais . (Thesis). Universidade do Rio Grande do Norte. Retrieved from http://repositorio.ufrn.br/handle/123456789/18024

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Souza, Diego Henrique Oliveira de. “Joker: um realizador de desenhos animados para linguagens formais .” 2011. Thesis, Universidade do Rio Grande do Norte. Accessed May 25, 2019. http://repositorio.ufrn.br/handle/123456789/18024.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Souza, Diego Henrique Oliveira de. “Joker: um realizador de desenhos animados para linguagens formais .” 2011. Web. 25 May 2019.

Vancouver:

Souza DHOd. Joker: um realizador de desenhos animados para linguagens formais . [Internet] [Thesis]. Universidade do Rio Grande do Norte; 2011. [cited 2019 May 25]. Available from: http://repositorio.ufrn.br/handle/123456789/18024.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Souza DHOd. Joker: um realizador de desenhos animados para linguagens formais . [Thesis]. Universidade do Rio Grande do Norte; 2011. Available from: http://repositorio.ufrn.br/handle/123456789/18024

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Virginia Tech

30. Moustafa, Iman Saleh. Formal Specification and Verification of Data-Centric Web Services.

Degree: PhD, Computer Science, 2012, Virginia Tech

 In this thesis, we develop and evaluate a formal model and contracting framework for data-centric Web services. The central component of our framework is a… (more)

Subjects/Keywords: Formal Methods; Data Modeling; Software Specification and Verification; Formal Methods; Data Modeling; Software Specification and Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Moustafa, I. S. (2012). Formal Specification and Verification of Data-Centric Web Services. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/26294

Chicago Manual of Style (16th Edition):

Moustafa, Iman Saleh. “Formal Specification and Verification of Data-Centric Web Services.” 2012. Doctoral Dissertation, Virginia Tech. Accessed May 25, 2019. http://hdl.handle.net/10919/26294.

MLA Handbook (7th Edition):

Moustafa, Iman Saleh. “Formal Specification and Verification of Data-Centric Web Services.” 2012. Web. 25 May 2019.

Vancouver:

Moustafa IS. Formal Specification and Verification of Data-Centric Web Services. [Internet] [Doctoral dissertation]. Virginia Tech; 2012. [cited 2019 May 25]. Available from: http://hdl.handle.net/10919/26294.

Council of Science Editors:

Moustafa IS. Formal Specification and Verification of Data-Centric Web Services. [Doctoral Dissertation]. Virginia Tech; 2012. Available from: http://hdl.handle.net/10919/26294

[1] [2] [3] [4] [5] … [12]

.