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 356 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 July 17, 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. 17 Jul 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 Jul 17]. 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


Cornell University

2. 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 July 17, 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. 17 Jul 2019.

Vancouver:

Raman V. Explaining Unsynthesizability Of High-Level Robot Behaviors . [Internet] [Thesis]. Cornell University; 2013. [cited 2019 Jul 17]. 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 Texas – Austin

3. 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 July 17, 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. 17 Jul 2019.

Vancouver:

Harrison AJ. Formal methods for answer set programming. [Internet] [Thesis]. University of Texas – Austin; 2018. [cited 2019 Jul 17]. 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 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 July 17, 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. 17 Jul 2019.

Vancouver:

Cock D. Leakage in Trustworthy Systems. [Internet] [Doctoral dissertation]. University of New South Wales; 2014. [cited 2019 Jul 17]. 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 South Africa

5. 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 July 17, 2019. http://hdl.handle.net/10500/11957.

MLA Handbook (7th Edition):

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

Vancouver:

Adesina-Ojo AA. Towards the formalisation of object-oriented methodologies . [Internet] [Doctoral dissertation]. University of South Africa; 2011. [cited 2019 Jul 17]. 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

6. 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 July 17, 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. 17 Jul 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 Jul 17]. 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

7. 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 July 17, 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. 17 Jul 2019.

Vancouver:

Barbosa RdM. Especificação formal de organizações de sistemas multiagentes. [Internet] [Thesis]. Universidade do Rio Grande do Sul; 2011. [cited 2019 Jul 17]. 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

8. 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 July 17, 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. 17 Jul 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 Jul 17]. 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

9. 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 July 17, 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. 17 Jul 2019.

Vancouver:

Zaccai DS. A Balanced Verification Effort for the Java Language. [Internet] [Doctoral dissertation]. The Ohio State University; 2016. [cited 2019 Jul 17]. 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

10. 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 July 17, 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. 17 Jul 2019.

Vancouver:

Xu B. Guaranteeing High-Level Robot Behaviours With Past Memory And Future Unknown . [Internet] [Thesis]. Cornell University; 2013. [cited 2019 Jul 17]. 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

11. 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 July 17, 2019. http://hdl.handle.net/10289/11703.

MLA Handbook (7th Edition):

Crickett, Scott. “Design Patterns: Infrastructure and Examples .” 2017. Web. 17 Jul 2019.

Vancouver:

Crickett S. Design Patterns: Infrastructure and Examples . [Internet] [Masters thesis]. University of Waikato; 2017. [cited 2019 Jul 17]. 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

12. 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 July 17, 2019. https://tigerprints.clemson.edu/all_dissertations/1132.

MLA Handbook (7th Edition):

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

Vancouver:

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

13. 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 July 17, 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. 17 Jul 2019.

Vancouver:

Cordy M. Model Checking for the Masses. [Internet] [Thesis]. DIAL (Belgium); 2014. [cited 2019 Jul 17]. 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

14. 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 July 17, 2019. http://hdl.handle.net/11244/42982.

MLA Handbook (7th Edition):

Ralston, Ryan. “Translating Clojure to ACL2 for Verification.” 2016. Web. 17 Jul 2019.

Vancouver:

Ralston R. Translating Clojure to ACL2 for Verification. [Internet] [Doctoral dissertation]. University of Oklahoma; 2016. [cited 2019 Jul 17]. 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

15. 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 July 17, 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. 17 Jul 2019.

Vancouver:

Yang H. Efficient verification of packet networks. [Internet] [Thesis]. University of Texas – Austin; 2015. [cited 2019 Jul 17]. 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

16. 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 July 17, 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. 17 Jul 2019.

Vancouver:

Zhang Z. A formal approach to contract verification for high-integrity applications. [Internet] [Doctoral dissertation]. Kansas State University; 2016. [cited 2019 Jul 17]. 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 Illinois – Urbana-Champaign

17. 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 July 17, 2019. http://hdl.handle.net/2142/29614.

MLA Handbook (7th Edition):

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

Vancouver:

Katelman M. A meta-language for functional verification. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2012. [cited 2019 Jul 17]. 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


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 July 17, 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. 17 Jul 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 Jul 17]. 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


Université de Grenoble

19. 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 July 17, 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. 17 Jul 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 Jul 17]. 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

20. 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 July 17, 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. 17 Jul 2019.

Vancouver:

FARIAS ACd. Abstraction of infinite and communicating CSPZ processes . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2009. [cited 2019 Jul 17]. 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

21. 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 July 17, 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. 17 Jul 2019.

Vancouver:

Power J. Institutional approaches to programming language specification. [Internet] [Thesis]. Dublin City University; 1994. [cited 2019 Jul 17]. 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

22. 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 July 17, 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. 17 Jul 2019.

Vancouver:

Bockenek JA. USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow. [Internet] [Masters thesis]. Virginia Tech; 2017. [cited 2019 Jul 17]. 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


University of Texas – Austin

23. 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 July 17, 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. 17 Jul 2019.

Vancouver:

Swords SO. A verified framework for symbolic execution in the ACL2 theorem prover. [Internet] [Thesis]. University of Texas – Austin; 2010. [cited 2019 Jul 17]. 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


Universitat Politècnica de València

24. 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 July 17, 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. 17 Jul 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 Jul 17]. 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

25. 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 July 17, 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. 17 Jul 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 Jul 17]. 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

26. 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 July 17, 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. 17 Jul 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 Jul 17]. 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

27. 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 July 17, 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. 17 Jul 2019.

Vancouver:

Souza DHOd. Joker: um realizador de desenhos animados para linguagens formais . [Internet] [Thesis]. Universidade do Rio Grande do Norte; 2011. [cited 2019 Jul 17]. 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

28. 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 July 17, 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. 17 Jul 2019.

Vancouver:

Moustafa IS. Formal Specification and Verification of Data-Centric Web Services. [Internet] [Doctoral dissertation]. Virginia Tech; 2012. [cited 2019 Jul 17]. 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

29. Ksystra, Aikaterini. Enabling reasoning and verification support for intelligent agent systems, using formal methods.

Degree: 2017, National Technical University of Athens (NTUA); Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ)

Formal methods are techniques, languages and tools based on mathematics, which provide an unambiguous, strict mathematical description or specication which is used for eective design,… (more)

Subjects/Keywords: Έξυπνα συστήματα; Τυπικές μέθοδοι; Intelligent agents; Formal methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ksystra, A. (2017). Enabling reasoning and verification support for intelligent agent systems, using formal methods. (Thesis). National Technical University of Athens (NTUA); Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ). Retrieved from http://hdl.handle.net/10442/hedi/42255

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):

Ksystra, Aikaterini. “Enabling reasoning and verification support for intelligent agent systems, using formal methods.” 2017. Thesis, National Technical University of Athens (NTUA); Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ). Accessed July 17, 2019. http://hdl.handle.net/10442/hedi/42255.

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

MLA Handbook (7th Edition):

Ksystra, Aikaterini. “Enabling reasoning and verification support for intelligent agent systems, using formal methods.” 2017. Web. 17 Jul 2019.

Vancouver:

Ksystra A. Enabling reasoning and verification support for intelligent agent systems, using formal methods. [Internet] [Thesis]. National Technical University of Athens (NTUA); Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ); 2017. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/10442/hedi/42255.

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

Council of Science Editors:

Ksystra A. Enabling reasoning and verification support for intelligent agent systems, using formal methods. [Thesis]. National Technical University of Athens (NTUA); Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ); 2017. Available from: http://hdl.handle.net/10442/hedi/42255

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


University of Alberta

30. Delfani, Parisa. Behavioral Verification of Small Networks of State-Machines Built with Arduino-like Processors.

Degree: MS, Department of Computing Science, 2012, University of Alberta

 Inexpensive yet versatile limited-capability processors enable computing to be embedded in many kinds of devices and situations. Most applications are simple purpose-programmed reactive systems that… (more)

Subjects/Keywords: Software Engineering; Model Checking; Sensor Networks; Formal Methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Delfani, P. (2012). Behavioral Verification of Small Networks of State-Machines Built with Arduino-like Processors. (Masters Thesis). University of Alberta. Retrieved from https://era.library.ualberta.ca/files/t722hb17m

Chicago Manual of Style (16th Edition):

Delfani, Parisa. “Behavioral Verification of Small Networks of State-Machines Built with Arduino-like Processors.” 2012. Masters Thesis, University of Alberta. Accessed July 17, 2019. https://era.library.ualberta.ca/files/t722hb17m.

MLA Handbook (7th Edition):

Delfani, Parisa. “Behavioral Verification of Small Networks of State-Machines Built with Arduino-like Processors.” 2012. Web. 17 Jul 2019.

Vancouver:

Delfani P. Behavioral Verification of Small Networks of State-Machines Built with Arduino-like Processors. [Internet] [Masters thesis]. University of Alberta; 2012. [cited 2019 Jul 17]. Available from: https://era.library.ualberta.ca/files/t722hb17m.

Council of Science Editors:

Delfani P. Behavioral Verification of Small Networks of State-Machines Built with Arduino-like Processors. [Masters Thesis]. University of Alberta; 2012. Available from: https://era.library.ualberta.ca/files/t722hb17m

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

.