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:(Specification Mining). Showing records 1 – 14 of 14 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Illinois – Urbana-Champaign

1. Lee, Choonghwan. Preparation-free and comprehensive runtime verification tool for testing Java programs.

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

 Runtime verification is an effective and accurate technique for ensuring that an execution of a program conform to certain specifications at runtime. Although excessive runtime… (more)

Subjects/Keywords: parametric specification; specification mining; runtime verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lee, C. (2014). Preparation-free and comprehensive runtime verification tool for testing Java programs. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/46910

Chicago Manual of Style (16th Edition):

Lee, Choonghwan. “Preparation-free and comprehensive runtime verification tool for testing Java programs.” 2014. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 23, 2019. http://hdl.handle.net/2142/46910.

MLA Handbook (7th Edition):

Lee, Choonghwan. “Preparation-free and comprehensive runtime verification tool for testing Java programs.” 2014. Web. 23 Jan 2019.

Vancouver:

Lee C. Preparation-free and comprehensive runtime verification tool for testing Java programs. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2014. [cited 2019 Jan 23]. Available from: http://hdl.handle.net/2142/46910.

Council of Science Editors:

Lee C. Preparation-free and comprehensive runtime verification tool for testing Java programs. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/46910


University of Manitoba

2. Siddiqui, Taha. Interactive specification mining for debugging embedded software systems.

Degree: Computer Science, 2017, University of Manitoba

Specification mining techniques are typically used to extract the specification of a software in the absence of (up-to-date) specification documents. Several research projects have targeted… (more)

Subjects/Keywords: Specification Mining; State Machine; Mining Repositories; Program comprehension; Debugging

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Siddiqui, T. (2017). Interactive specification mining for debugging embedded software systems. (Masters Thesis). University of Manitoba. Retrieved from http://hdl.handle.net/1993/32392

Chicago Manual of Style (16th Edition):

Siddiqui, Taha. “Interactive specification mining for debugging embedded software systems.” 2017. Masters Thesis, University of Manitoba. Accessed January 23, 2019. http://hdl.handle.net/1993/32392.

MLA Handbook (7th Edition):

Siddiqui, Taha. “Interactive specification mining for debugging embedded software systems.” 2017. Web. 23 Jan 2019.

Vancouver:

Siddiqui T. Interactive specification mining for debugging embedded software systems. [Internet] [Masters thesis]. University of Manitoba; 2017. [cited 2019 Jan 23]. Available from: http://hdl.handle.net/1993/32392.

Council of Science Editors:

Siddiqui T. Interactive specification mining for debugging embedded software systems. [Masters Thesis]. University of Manitoba; 2017. Available from: http://hdl.handle.net/1993/32392


Iowa State University

3. Khairunnesa, Samantha Syeda. Exploiting implicit belief to resolve sparse usage problem in usage-based specification mining.

Degree: 2017, Iowa State University

 Frameworks and libraries provide application programming interfaces (APIs) that serve as building blocks in modern software development. As APIs present the opportunity of increased productivity,… (more)

Subjects/Keywords: Implicit Belief; Specification Inference; Usage-based Mining; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Khairunnesa, S. S. (2017). Exploiting implicit belief to resolve sparse usage problem in usage-based specification mining. (Thesis). Iowa State University. Retrieved from https://lib.dr.iastate.edu/etd/16391

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

Khairunnesa, Samantha Syeda. “Exploiting implicit belief to resolve sparse usage problem in usage-based specification mining.” 2017. Thesis, Iowa State University. Accessed January 23, 2019. https://lib.dr.iastate.edu/etd/16391.

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

MLA Handbook (7th Edition):

Khairunnesa, Samantha Syeda. “Exploiting implicit belief to resolve sparse usage problem in usage-based specification mining.” 2017. Web. 23 Jan 2019.

Vancouver:

Khairunnesa SS. Exploiting implicit belief to resolve sparse usage problem in usage-based specification mining. [Internet] [Thesis]. Iowa State University; 2017. [cited 2019 Jan 23]. Available from: https://lib.dr.iastate.edu/etd/16391.

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

Council of Science Editors:

Khairunnesa SS. Exploiting implicit belief to resolve sparse usage problem in usage-based specification mining. [Thesis]. Iowa State University; 2017. Available from: https://lib.dr.iastate.edu/etd/16391

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


Rochester Institute of Technology

4. Dominguez, Danilo. Analyzing Android applications for specifications and bugs.

Degree: Computer Science (GCCIS), 2013, Rochester Institute of Technology

 Android has become one of the leader operating systems for smartphones. Moreover, Android has a big community of developers with over 696500 applications on its… (more)

Subjects/Keywords: Android; Control flow; Program analysis; Specification mining; Static analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dominguez, D. (2013). Analyzing Android applications for specifications and bugs. (Thesis). Rochester Institute of Technology. Retrieved from https://scholarworks.rit.edu/theses/5521

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

Dominguez, Danilo. “Analyzing Android applications for specifications and bugs.” 2013. Thesis, Rochester Institute of Technology. Accessed January 23, 2019. https://scholarworks.rit.edu/theses/5521.

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

MLA Handbook (7th Edition):

Dominguez, Danilo. “Analyzing Android applications for specifications and bugs.” 2013. Web. 23 Jan 2019.

Vancouver:

Dominguez D. Analyzing Android applications for specifications and bugs. [Internet] [Thesis]. Rochester Institute of Technology; 2013. [cited 2019 Jan 23]. Available from: https://scholarworks.rit.edu/theses/5521.

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

Council of Science Editors:

Dominguez D. Analyzing Android applications for specifications and bugs. [Thesis]. Rochester Institute of Technology; 2013. Available from: https://scholarworks.rit.edu/theses/5521

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


University of Waterloo

5. Benann Rajendra, Nirmal Joshi. A Study on the Acceleration of Arrival Curve Construction and Regular Specification Mining using GPUs.

Degree: 2018, University of Waterloo

 Data analytics is a process of examining datasets using various analytical and statistical techniques. Several tools have been proposed in the literature to extract hidden… (more)

Subjects/Keywords: GPU; Acceleration; Arrival Curves; Specification Mining; Nested Word; Timed Regular Expression; Data Analytics; Execution Traces

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Benann Rajendra, N. J. (2018). A Study on the Acceleration of Arrival Curve Construction and Regular Specification Mining using GPUs. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/14284

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

Benann Rajendra, Nirmal Joshi. “A Study on the Acceleration of Arrival Curve Construction and Regular Specification Mining using GPUs.” 2018. Thesis, University of Waterloo. Accessed January 23, 2019. http://hdl.handle.net/10012/14284.

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

MLA Handbook (7th Edition):

Benann Rajendra, Nirmal Joshi. “A Study on the Acceleration of Arrival Curve Construction and Regular Specification Mining using GPUs.” 2018. Web. 23 Jan 2019.

Vancouver:

Benann Rajendra NJ. A Study on the Acceleration of Arrival Curve Construction and Regular Specification Mining using GPUs. [Internet] [Thesis]. University of Waterloo; 2018. [cited 2019 Jan 23]. Available from: http://hdl.handle.net/10012/14284.

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

Council of Science Editors:

Benann Rajendra NJ. A Study on the Acceleration of Arrival Curve Construction and Regular Specification Mining using GPUs. [Thesis]. University of Waterloo; 2018. Available from: http://hdl.handle.net/10012/14284

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

6. SANDEEP KUMAR. Mining behavioral specifications of distributed systems.

Degree: 2012, National University of Singapore

Subjects/Keywords: Specification Mining; Distributed Systems; Program Comprehension

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

KUMAR, S. (2012). Mining behavioral specifications of distributed systems. (Thesis). National University of Singapore. Retrieved from http://scholarbank.nus.edu.sg/handle/10635/35803 ; http://scholarbank.nus.edu.sg/bitstream/10635%2F35803/2/bitstream ; http://scholarbank.nus.edu.sg/bitstream/10635%2F35803/1/bitstream

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

KUMAR, SANDEEP. “Mining behavioral specifications of distributed systems.” 2012. Thesis, National University of Singapore. Accessed January 23, 2019. http://scholarbank.nus.edu.sg/handle/10635/35803 ; http://scholarbank.nus.edu.sg/bitstream/10635%2F35803/2/bitstream ; http://scholarbank.nus.edu.sg/bitstream/10635%2F35803/1/bitstream.

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

MLA Handbook (7th Edition):

KUMAR, SANDEEP. “Mining behavioral specifications of distributed systems.” 2012. Web. 23 Jan 2019.

Vancouver:

KUMAR S. Mining behavioral specifications of distributed systems. [Internet] [Thesis]. National University of Singapore; 2012. [cited 2019 Jan 23]. Available from: http://scholarbank.nus.edu.sg/handle/10635/35803 ; http://scholarbank.nus.edu.sg/bitstream/10635%2F35803/2/bitstream ; http://scholarbank.nus.edu.sg/bitstream/10635%2F35803/1/bitstream.

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

Council of Science Editors:

KUMAR S. Mining behavioral specifications of distributed systems. [Thesis]. National University of Singapore; 2012. Available from: http://scholarbank.nus.edu.sg/handle/10635/35803 ; http://scholarbank.nus.edu.sg/bitstream/10635%2F35803/2/bitstream ; http://scholarbank.nus.edu.sg/bitstream/10635%2F35803/1/bitstream

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


University of California – Irvine

7. Nassar, Ahmed. Specification and Runtime Verification of Distributed Multiprocessor Systems: Languages, Tools and Architectures.

Degree: Electrical and Computer Engineering, 2016, University of California – Irvine

 Post-Deployment runtime verification (RV) has recently emerged as a complementary technology to extend coverage of conventional software verification and testing methods. This thesis is an… (more)

Subjects/Keywords: Computer engineering; Computer science; Electrical engineering; Finite automata; Graphical representations; Logic; Multiprocessor systems; Runtime verification; Specification mining

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nassar, A. (2016). Specification and Runtime Verification of Distributed Multiprocessor Systems: Languages, Tools and Architectures. (Thesis). University of California – Irvine. Retrieved from http://www.escholarship.org/uc/item/2f63n8px

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

Nassar, Ahmed. “Specification and Runtime Verification of Distributed Multiprocessor Systems: Languages, Tools and Architectures.” 2016. Thesis, University of California – Irvine. Accessed January 23, 2019. http://www.escholarship.org/uc/item/2f63n8px.

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

MLA Handbook (7th Edition):

Nassar, Ahmed. “Specification and Runtime Verification of Distributed Multiprocessor Systems: Languages, Tools and Architectures.” 2016. Web. 23 Jan 2019.

Vancouver:

Nassar A. Specification and Runtime Verification of Distributed Multiprocessor Systems: Languages, Tools and Architectures. [Internet] [Thesis]. University of California – Irvine; 2016. [cited 2019 Jan 23]. Available from: http://www.escholarship.org/uc/item/2f63n8px.

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

Council of Science Editors:

Nassar A. Specification and Runtime Verification of Distributed Multiprocessor Systems: Languages, Tools and Architectures. [Thesis]. University of California – Irvine; 2016. Available from: http://www.escholarship.org/uc/item/2f63n8px

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


University of California – Berkeley

8. Li, Wenchao. Specification Mining: New Formalisms, Algorithms and Applications.

Degree: Electrical Engineering & Computer Sciences, 2013, University of California – Berkeley

Specification is the first and arguably the most important step for formal verification and correct-by-construction synthesis. These tasks require understanding precisely a design's intended behavior,… (more)

Subjects/Keywords: Computer engineering; Computer science; Logic; Bug Localization; Controller Synthesis; Counterstrategy-Guided; Environment Assumption; Sparse Coding; Specification Mining

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Li, W. (2013). Specification Mining: New Formalisms, Algorithms and Applications. (Thesis). University of California – Berkeley. Retrieved from http://www.escholarship.org/uc/item/4027r49r

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

Li, Wenchao. “Specification Mining: New Formalisms, Algorithms and Applications.” 2013. Thesis, University of California – Berkeley. Accessed January 23, 2019. http://www.escholarship.org/uc/item/4027r49r.

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

MLA Handbook (7th Edition):

Li, Wenchao. “Specification Mining: New Formalisms, Algorithms and Applications.” 2013. Web. 23 Jan 2019.

Vancouver:

Li W. Specification Mining: New Formalisms, Algorithms and Applications. [Internet] [Thesis]. University of California – Berkeley; 2013. [cited 2019 Jan 23]. Available from: http://www.escholarship.org/uc/item/4027r49r.

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

Council of Science Editors:

Li W. Specification Mining: New Formalisms, Algorithms and Applications. [Thesis]. University of California – Berkeley; 2013. Available from: http://www.escholarship.org/uc/item/4027r49r

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

9. Pinquié, Romain. Proposition d'un environnement numérique dédié à la fouille et à la synthèse collaborative d'exigences en ingénierie de produits : A collaborative requirement mining framework.

Degree: Docteur es, Conception, 2016, Paris, ENSAM

Il est communément admis que 70 % des coûts du cycle de vie d’un produit sont engagés dès la phase de spécification. Or, aujourd’hui, dans… (more)

Subjects/Keywords: Exigence; Spécification; Fouille de données; Graphe; Aide à la décision; Ingénierie; Requirement; Specification; Data mining; Graph; Decision-Making; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pinquié, R. (2016). Proposition d'un environnement numérique dédié à la fouille et à la synthèse collaborative d'exigences en ingénierie de produits : A collaborative requirement mining framework. (Doctoral Dissertation). Paris, ENSAM. Retrieved from http://www.theses.fr/2016ENAM0030

Chicago Manual of Style (16th Edition):

Pinquié, Romain. “Proposition d'un environnement numérique dédié à la fouille et à la synthèse collaborative d'exigences en ingénierie de produits : A collaborative requirement mining framework.” 2016. Doctoral Dissertation, Paris, ENSAM. Accessed January 23, 2019. http://www.theses.fr/2016ENAM0030.

MLA Handbook (7th Edition):

Pinquié, Romain. “Proposition d'un environnement numérique dédié à la fouille et à la synthèse collaborative d'exigences en ingénierie de produits : A collaborative requirement mining framework.” 2016. Web. 23 Jan 2019.

Vancouver:

Pinquié R. Proposition d'un environnement numérique dédié à la fouille et à la synthèse collaborative d'exigences en ingénierie de produits : A collaborative requirement mining framework. [Internet] [Doctoral dissertation]. Paris, ENSAM; 2016. [cited 2019 Jan 23]. Available from: http://www.theses.fr/2016ENAM0030.

Council of Science Editors:

Pinquié R. Proposition d'un environnement numérique dédié à la fouille et à la synthèse collaborative d'exigences en ingénierie de produits : A collaborative requirement mining framework. [Doctoral Dissertation]. Paris, ENSAM; 2016. Available from: http://www.theses.fr/2016ENAM0030


Iowa State University

10. Nguyen, Hoan Anh. Analyzing repetitiveness in big code to support software maintenance and evolution.

Degree: 2015, Iowa State University

 Software systems inevitably contain a large amount of repeated artifacts at different level of abstraction – from ideas, requirements, designs, algorithms to implementation. This dissertation focuses… (more)

Subjects/Keywords: Computer Engineering; code repetitiveness; pattern mining; software evolution; software maintenance; software quality; specification inference; Computer Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nguyen, H. A. (2015). Analyzing repetitiveness in big code to support software maintenance and evolution. (Thesis). Iowa State University. Retrieved from https://lib.dr.iastate.edu/etd/14591

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

Nguyen, Hoan Anh. “Analyzing repetitiveness in big code to support software maintenance and evolution.” 2015. Thesis, Iowa State University. Accessed January 23, 2019. https://lib.dr.iastate.edu/etd/14591.

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

MLA Handbook (7th Edition):

Nguyen, Hoan Anh. “Analyzing repetitiveness in big code to support software maintenance and evolution.” 2015. Web. 23 Jan 2019.

Vancouver:

Nguyen HA. Analyzing repetitiveness in big code to support software maintenance and evolution. [Internet] [Thesis]. Iowa State University; 2015. [cited 2019 Jan 23]. Available from: https://lib.dr.iastate.edu/etd/14591.

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

Council of Science Editors:

Nguyen HA. Analyzing repetitiveness in big code to support software maintenance and evolution. [Thesis]. Iowa State University; 2015. Available from: https://lib.dr.iastate.edu/etd/14591

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

11. Reger, Giles Matthew. Automata based monitoring and mining of execution traces.

Degree: PhD, 2014, University of Manchester

 This thesis contributes work to the fields of runtime monitoring and specification mining. It develops a formalism for specifying patterns of behaviour in execution traces… (more)

Subjects/Keywords: 004; Runtime monitoring; Runtime verification; Specification mining; Trace analysis

…239 10 Evaluating the Specification Mining Technique 240 10.1 Selecting models… …287 12.1.3 Accurate specification mining… …233 10.1 Evaluation framework for specification mining tool… …This thesis contributes work to the fields of runtime monitoring and specification mining. It… …field of specification mining aims to explain the behaviour present in execution traces by… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Reger, G. M. (2014). Automata based monitoring and mining of execution traces. (Doctoral Dissertation). University of Manchester. Retrieved from https://www.research.manchester.ac.uk/portal/en/theses/automata-based-monitoring-and-mining-of-execution-traces(08eb0a62-53a3-4171-b4d2-36bfe450b9a7).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618017

Chicago Manual of Style (16th Edition):

Reger, Giles Matthew. “Automata based monitoring and mining of execution traces.” 2014. Doctoral Dissertation, University of Manchester. Accessed January 23, 2019. https://www.research.manchester.ac.uk/portal/en/theses/automata-based-monitoring-and-mining-of-execution-traces(08eb0a62-53a3-4171-b4d2-36bfe450b9a7).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618017.

MLA Handbook (7th Edition):

Reger, Giles Matthew. “Automata based monitoring and mining of execution traces.” 2014. Web. 23 Jan 2019.

Vancouver:

Reger GM. Automata based monitoring and mining of execution traces. [Internet] [Doctoral dissertation]. University of Manchester; 2014. [cited 2019 Jan 23]. Available from: https://www.research.manchester.ac.uk/portal/en/theses/automata-based-monitoring-and-mining-of-execution-traces(08eb0a62-53a3-4171-b4d2-36bfe450b9a7).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618017.

Council of Science Editors:

Reger GM. Automata based monitoring and mining of execution traces. [Doctoral Dissertation]. University of Manchester; 2014. Available from: https://www.research.manchester.ac.uk/portal/en/theses/automata-based-monitoring-and-mining-of-execution-traces(08eb0a62-53a3-4171-b4d2-36bfe450b9a7).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618017

12. Reger, Giles Matthew. Automata Based Monitoring and Mining of Execution Traces.

Degree: 2014, University of Manchester

 This thesis contributes work to the fields of runtime monitoring and specification mining. It develops a formalism for specifying patterns of behaviour in execution traces… (more)

Subjects/Keywords: Runtime monitoring; Runtime verification; Specification mining; Trace analysis

…239 10 Evaluating the Specification Mining Technique 240 10.1 Selecting models… …287 12.1.3 Accurate specification mining… …233 10.1 Evaluation framework for specification mining tool… …This thesis contributes work to the fields of runtime monitoring and specification mining. It… …field of specification mining aims to explain the behaviour present in execution traces by… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Reger, G. M. (2014). Automata Based Monitoring and Mining of Execution Traces. (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:225931

Chicago Manual of Style (16th Edition):

Reger, Giles Matthew. “Automata Based Monitoring and Mining of Execution Traces.” 2014. Doctoral Dissertation, University of Manchester. Accessed January 23, 2019. http://www.manchester.ac.uk/escholar/uk-ac-man-scw:225931.

MLA Handbook (7th Edition):

Reger, Giles Matthew. “Automata Based Monitoring and Mining of Execution Traces.” 2014. Web. 23 Jan 2019.

Vancouver:

Reger GM. Automata Based Monitoring and Mining of Execution Traces. [Internet] [Doctoral dissertation]. University of Manchester; 2014. [cited 2019 Jan 23]. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:225931.

Council of Science Editors:

Reger GM. Automata Based Monitoring and Mining of Execution Traces. [Doctoral Dissertation]. University of Manchester; 2014. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:225931

13. Shankar, Arunprasath. ONTOLOGY-DRIVEN SEMI-SUPERVISED MODEL FOR CONCEPTUAL ANALYSIS OF DESIGN SPECIFICATIONS.

Degree: MSs (Engineering), EECS - Computer Engineering, 2014, Case Western Reserve University

 The integration of reusable IP blocks/cores is a common process in system-on-chip design and involves manually comparing/mapping IP specifications against system requirements. The informal nature… (more)

Subjects/Keywords: Computer Engineering; Information Systems; Computer Science; Systems Design; Ontology, Specification Mining, Neuro-fuzzy, Information Retrieval, Artificial Intelligence, Expert Systems, Fuzzy Logic, Knowledge Representation, Data Mining, Specification Analysis, Natural Language Processing

Specification Mining URI Universal Resource Identifier RDF Resource Data Finder UAG Undirected… …specification analysis, which involves concept mining of specifications to generate domain ontologies… …x29; IPs. On the other hand, specification mining in itself is a complex process involving… …specification mining system must be such that, it is able to process these fuzzy queries into… …follows: Chapter 2 discusses the thematic background and related work on specification mining… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Shankar, A. (2014). ONTOLOGY-DRIVEN SEMI-SUPERVISED MODEL FOR CONCEPTUAL ANALYSIS OF DESIGN SPECIFICATIONS. (Masters Thesis). Case Western Reserve University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=case1401706747

Chicago Manual of Style (16th Edition):

Shankar, Arunprasath. “ONTOLOGY-DRIVEN SEMI-SUPERVISED MODEL FOR CONCEPTUAL ANALYSIS OF DESIGN SPECIFICATIONS.” 2014. Masters Thesis, Case Western Reserve University. Accessed January 23, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=case1401706747.

MLA Handbook (7th Edition):

Shankar, Arunprasath. “ONTOLOGY-DRIVEN SEMI-SUPERVISED MODEL FOR CONCEPTUAL ANALYSIS OF DESIGN SPECIFICATIONS.” 2014. Web. 23 Jan 2019.

Vancouver:

Shankar A. ONTOLOGY-DRIVEN SEMI-SUPERVISED MODEL FOR CONCEPTUAL ANALYSIS OF DESIGN SPECIFICATIONS. [Internet] [Masters thesis]. Case Western Reserve University; 2014. [cited 2019 Jan 23]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=case1401706747.

Council of Science Editors:

Shankar A. ONTOLOGY-DRIVEN SEMI-SUPERVISED MODEL FOR CONCEPTUAL ANALYSIS OF DESIGN SPECIFICATIONS. [Masters Thesis]. Case Western Reserve University; 2014. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=case1401706747

14. Pileththuwasan Gallege, Lahiru Sandakith. Design, development and experimentation of a discovery service with multi-level matching.

Degree: 2013, IUPUI

Indiana University-Purdue University Indianapolis (IUPUI)

The contribution of this thesis focuses on addressing the challenges of improving and integrating the UniFrame Discovery Service (URDS) and… (more)

Subjects/Keywords: Discovery Service; Distributed Systems; Multi-level Matching; Software Services; Software Specification; Distributed operating systems (Computers)  – Research; Software support; Component software  – Development; Programming languages (Electronic computers)  – Semantics; Programming languages (Electronic computers)  – Syntax; Computer software  – Specifications; Computer software  – Development; Data mining  – Mathematical models; Web services  – Research; Semantic computing  – Research; Ontologies (Information retrieval)  – Research; Computer networks  – Quality control; Web portals  – Geographic information systems; Cloud computing  – Research

…level specification . . . . . . . . . . . . . . . . . . 24 4.6 Communication protocols used… …and CSS . . . . . . . . . . . . . 47 5.9 Multi-level specification of a Land Cover Data… …components and services with ARs by presenting their information in a specification format. New… …service entry produces a intermediate specification. These specifications are matched against… …information into levels inside the specification. Although initial versions had incorporated this… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pileththuwasan Gallege, L. S. (2013). Design, development and experimentation of a discovery service with multi-level matching. (Thesis). IUPUI. Retrieved from http://hdl.handle.net/1805/3695

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

Pileththuwasan Gallege, Lahiru Sandakith. “Design, development and experimentation of a discovery service with multi-level matching.” 2013. Thesis, IUPUI. Accessed January 23, 2019. http://hdl.handle.net/1805/3695.

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

MLA Handbook (7th Edition):

Pileththuwasan Gallege, Lahiru Sandakith. “Design, development and experimentation of a discovery service with multi-level matching.” 2013. Web. 23 Jan 2019.

Vancouver:

Pileththuwasan Gallege LS. Design, development and experimentation of a discovery service with multi-level matching. [Internet] [Thesis]. IUPUI; 2013. [cited 2019 Jan 23]. Available from: http://hdl.handle.net/1805/3695.

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

Council of Science Editors:

Pileththuwasan Gallege LS. Design, development and experimentation of a discovery service with multi-level matching. [Thesis]. IUPUI; 2013. Available from: http://hdl.handle.net/1805/3695

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

.