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). Showing records 1 – 30 of 753 total matches.

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

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Languages

Country

▼ Search Limiters

1. WANG, Xi. A Pattern-based Approach to Requirements Formalization and Its Supporting Tool : パターンに基づく要求仕様の形式化方法及び支援ツールに関する研究.

Degree: 博士(理学), 2014, Hosei University / 法政大学

 Despite the effectiveness of requirements formalization in producing accurate requirements documentation and deepening the developers' understanding of the envisioned systems, this technique can hardly be… (more)

Subjects/Keywords: Formal specification; Specification pattern; Finite State Machine

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

WANG, X. (2014). A Pattern-based Approach to Requirements Formalization and Its Supporting Tool : パターンに基づく要求仕様の形式化方法及び支援ツールに関する研究. (Thesis). Hosei University / 法政大学. Retrieved from http://hdl.handle.net/10114/8868

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

WANG, Xi. “A Pattern-based Approach to Requirements Formalization and Its Supporting Tool : パターンに基づく要求仕様の形式化方法及び支援ツールに関する研究.” 2014. Thesis, Hosei University / 法政大学. Accessed June 25, 2019. http://hdl.handle.net/10114/8868.

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

MLA Handbook (7th Edition):

WANG, Xi. “A Pattern-based Approach to Requirements Formalization and Its Supporting Tool : パターンに基づく要求仕様の形式化方法及び支援ツールに関する研究.” 2014. Web. 25 Jun 2019.

Vancouver:

WANG X. A Pattern-based Approach to Requirements Formalization and Its Supporting Tool : パターンに基づく要求仕様の形式化方法及び支援ツールに関する研究. [Internet] [Thesis]. Hosei University / 法政大学; 2014. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/10114/8868.

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

Council of Science Editors:

WANG X. A Pattern-based Approach to Requirements Formalization and Its Supporting Tool : パターンに基づく要求仕様の形式化方法及び支援ツールに関する研究. [Thesis]. Hosei University / 法政大学; 2014. Available from: http://hdl.handle.net/10114/8868

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


University of Illinois – Urbana-Champaign

2. 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 June 25, 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. 25 Jun 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 Jun 25]. 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


Anna University

3. Lala mathai. Fuzzy logic for requirement analysis In environmental pollution;.

Degree: Fuzzy logic for requirement analysis In environmental pollution, 2014, Anna University

Success in software development is measured by the quality of the newlineproduct delivered to the customer Requirements engineering is a critical newlinephase for the success… (more)

Subjects/Keywords: Requirements engineering; Software requirements specification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

mathai, L. (2014). Fuzzy logic for requirement analysis In environmental pollution;. (Thesis). Anna University. Retrieved from http://shodhganga.inflibnet.ac.in/handle/10603/28457

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

mathai, Lala. “Fuzzy logic for requirement analysis In environmental pollution;.” 2014. Thesis, Anna University. Accessed June 25, 2019. http://shodhganga.inflibnet.ac.in/handle/10603/28457.

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

MLA Handbook (7th Edition):

mathai, Lala. “Fuzzy logic for requirement analysis In environmental pollution;.” 2014. Web. 25 Jun 2019.

Vancouver:

mathai L. Fuzzy logic for requirement analysis In environmental pollution;. [Internet] [Thesis]. Anna University; 2014. [cited 2019 Jun 25]. Available from: http://shodhganga.inflibnet.ac.in/handle/10603/28457.

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

Council of Science Editors:

mathai L. Fuzzy logic for requirement analysis In environmental pollution;. [Thesis]. Anna University; 2014. Available from: http://shodhganga.inflibnet.ac.in/handle/10603/28457

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


University of Georgia

4. Kannan, Gopinathan. Specification and rapid deployment of communication protocols for peer-to-peer systems.

Degree: MS, Computer Science, 2002, University of Georgia

 Protocol Specification techniques have been used traditionally for verification of communication protocols. With the fast growing Internet and increasing uses of mobile devices, ubiquitous computing… (more)

Subjects/Keywords: PROTOCOL SPECIFICATION

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kannan, G. (2002). Specification and rapid deployment of communication protocols for peer-to-peer systems. (Masters Thesis). University of Georgia. Retrieved from http://purl.galileo.usg.edu/uga_etd/kannan_gopinathan_200208_ms

Chicago Manual of Style (16th Edition):

Kannan, Gopinathan. “Specification and rapid deployment of communication protocols for peer-to-peer systems.” 2002. Masters Thesis, University of Georgia. Accessed June 25, 2019. http://purl.galileo.usg.edu/uga_etd/kannan_gopinathan_200208_ms.

MLA Handbook (7th Edition):

Kannan, Gopinathan. “Specification and rapid deployment of communication protocols for peer-to-peer systems.” 2002. Web. 25 Jun 2019.

Vancouver:

Kannan G. Specification and rapid deployment of communication protocols for peer-to-peer systems. [Internet] [Masters thesis]. University of Georgia; 2002. [cited 2019 Jun 25]. Available from: http://purl.galileo.usg.edu/uga_etd/kannan_gopinathan_200208_ms.

Council of Science Editors:

Kannan G. Specification and rapid deployment of communication protocols for peer-to-peer systems. [Masters Thesis]. University of Georgia; 2002. Available from: http://purl.galileo.usg.edu/uga_etd/kannan_gopinathan_200208_ms

5. Lynas, Angel Robert. Expressive reversible language : aspects of semantics and implementation.

Degree: 2011, Teesside University

 In this thesis we investigate some of the issues involved in creating a reversible variant of the formal software development language B. We consider the… (more)

Subjects/Keywords: reversible computation : formal specification : translation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lynas, A. R. (2011). Expressive reversible language : aspects of semantics and implementation. (Doctoral Dissertation). Teesside University. Retrieved from http://hdl.handle.net/10149/132190

Chicago Manual of Style (16th Edition):

Lynas, Angel Robert. “Expressive reversible language : aspects of semantics and implementation.” 2011. Doctoral Dissertation, Teesside University. Accessed June 25, 2019. http://hdl.handle.net/10149/132190.

MLA Handbook (7th Edition):

Lynas, Angel Robert. “Expressive reversible language : aspects of semantics and implementation.” 2011. Web. 25 Jun 2019.

Vancouver:

Lynas AR. Expressive reversible language : aspects of semantics and implementation. [Internet] [Doctoral dissertation]. Teesside University; 2011. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/10149/132190.

Council of Science Editors:

Lynas AR. Expressive reversible language : aspects of semantics and implementation. [Doctoral Dissertation]. Teesside University; 2011. Available from: http://hdl.handle.net/10149/132190

6. Amaral, Nádia Bentz de Souza. Estudo sobre critérios para a especificação de transformadores elevadores de estações geradoras (\"generator step-up transformers\").

Degree: Mestrado, Sistemas de Potência, 2007, University of São Paulo

Esse trabalho mostra alguns aspectos construtivos e de sistema que devem fazer parte do projeto e da especificação de um transformador elevador, também conhecido na… (more)

Subjects/Keywords: Especificação; Gsu; Specification; Transformador elevador

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Amaral, N. B. d. S. (2007). Estudo sobre critérios para a especificação de transformadores elevadores de estações geradoras (\"generator step-up transformers\"). (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/3/3143/tde-09082007-182328/ ;

Chicago Manual of Style (16th Edition):

Amaral, Nádia Bentz de Souza. “Estudo sobre critérios para a especificação de transformadores elevadores de estações geradoras (\"generator step-up transformers\").” 2007. Masters Thesis, University of São Paulo. Accessed June 25, 2019. http://www.teses.usp.br/teses/disponiveis/3/3143/tde-09082007-182328/ ;.

MLA Handbook (7th Edition):

Amaral, Nádia Bentz de Souza. “Estudo sobre critérios para a especificação de transformadores elevadores de estações geradoras (\"generator step-up transformers\").” 2007. Web. 25 Jun 2019.

Vancouver:

Amaral NBdS. Estudo sobre critérios para a especificação de transformadores elevadores de estações geradoras (\"generator step-up transformers\"). [Internet] [Masters thesis]. University of São Paulo; 2007. [cited 2019 Jun 25]. Available from: http://www.teses.usp.br/teses/disponiveis/3/3143/tde-09082007-182328/ ;.

Council of Science Editors:

Amaral NBdS. Estudo sobre critérios para a especificação de transformadores elevadores de estações geradoras (\"generator step-up transformers\"). [Masters Thesis]. University of São Paulo; 2007. Available from: http://www.teses.usp.br/teses/disponiveis/3/3143/tde-09082007-182328/ ;

7. Huang, Siyi. A CONVERGENCE OF EXTRINSIC AND INTRINSIC SIGNALS FOR POSTMITOTIC DIFFERENTIATION OF NOCICEPTORS.

Degree: 2013, Johns Hopkins University

 Diverse neuronal subtypes are the building blocks of functional neural circuits that underlie behaviors. The generation of correct types of neurons at appropriate times and… (more)

Subjects/Keywords: NGF; Runx1; CBFbeta; nociceptor; specification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Huang, S. (2013). A CONVERGENCE OF EXTRINSIC AND INTRINSIC SIGNALS FOR POSTMITOTIC DIFFERENTIATION OF NOCICEPTORS. (Thesis). Johns Hopkins University. Retrieved from http://jhir.library.jhu.edu/handle/1774.2/37846

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

Huang, Siyi. “A CONVERGENCE OF EXTRINSIC AND INTRINSIC SIGNALS FOR POSTMITOTIC DIFFERENTIATION OF NOCICEPTORS.” 2013. Thesis, Johns Hopkins University. Accessed June 25, 2019. http://jhir.library.jhu.edu/handle/1774.2/37846.

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

MLA Handbook (7th Edition):

Huang, Siyi. “A CONVERGENCE OF EXTRINSIC AND INTRINSIC SIGNALS FOR POSTMITOTIC DIFFERENTIATION OF NOCICEPTORS.” 2013. Web. 25 Jun 2019.

Vancouver:

Huang S. A CONVERGENCE OF EXTRINSIC AND INTRINSIC SIGNALS FOR POSTMITOTIC DIFFERENTIATION OF NOCICEPTORS. [Internet] [Thesis]. Johns Hopkins University; 2013. [cited 2019 Jun 25]. Available from: http://jhir.library.jhu.edu/handle/1774.2/37846.

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

Council of Science Editors:

Huang S. A CONVERGENCE OF EXTRINSIC AND INTRINSIC SIGNALS FOR POSTMITOTIC DIFFERENTIATION OF NOCICEPTORS. [Thesis]. Johns Hopkins University; 2013. Available from: http://jhir.library.jhu.edu/handle/1774.2/37846

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


Oregon State University

8. Reed, Dale Holmes. A purchasing specification sharing model for community colleges in Oregon.

Degree: EdD, Vocational Education, 1981, Oregon State University

 This dissertation addresses the problem of how best to share purchasing specifications among the community colleges of the State of Oregon. In order for Oregon's… (more)

Subjects/Keywords: Specification writing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Reed, D. H. (1981). A purchasing specification sharing model for community colleges in Oregon. (Doctoral Dissertation). Oregon State University. Retrieved from http://hdl.handle.net/1957/42024

Chicago Manual of Style (16th Edition):

Reed, Dale Holmes. “A purchasing specification sharing model for community colleges in Oregon.” 1981. Doctoral Dissertation, Oregon State University. Accessed June 25, 2019. http://hdl.handle.net/1957/42024.

MLA Handbook (7th Edition):

Reed, Dale Holmes. “A purchasing specification sharing model for community colleges in Oregon.” 1981. Web. 25 Jun 2019.

Vancouver:

Reed DH. A purchasing specification sharing model for community colleges in Oregon. [Internet] [Doctoral dissertation]. Oregon State University; 1981. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/1957/42024.

Council of Science Editors:

Reed DH. A purchasing specification sharing model for community colleges in Oregon. [Doctoral Dissertation]. Oregon State University; 1981. Available from: http://hdl.handle.net/1957/42024


Oregon State University

9. Mahdavifar, Vahid. Cyclic performance of connections used in hybrid cross-laminated timber.

Degree: PhD, 2017, Oregon State University

 One of the recent additions to the panoply of engineered wood products is cross-laminated timber (CLT). CLT is a prefabricated, large-scale, solid wood panel that… (more)

Subjects/Keywords: National Design Specification NDS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mahdavifar, V. (2017). Cyclic performance of connections used in hybrid cross-laminated timber. (Doctoral Dissertation). Oregon State University. Retrieved from http://hdl.handle.net/1957/61477

Chicago Manual of Style (16th Edition):

Mahdavifar, Vahid. “Cyclic performance of connections used in hybrid cross-laminated timber.” 2017. Doctoral Dissertation, Oregon State University. Accessed June 25, 2019. http://hdl.handle.net/1957/61477.

MLA Handbook (7th Edition):

Mahdavifar, Vahid. “Cyclic performance of connections used in hybrid cross-laminated timber.” 2017. Web. 25 Jun 2019.

Vancouver:

Mahdavifar V. Cyclic performance of connections used in hybrid cross-laminated timber. [Internet] [Doctoral dissertation]. Oregon State University; 2017. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/1957/61477.

Council of Science Editors:

Mahdavifar V. Cyclic performance of connections used in hybrid cross-laminated timber. [Doctoral Dissertation]. Oregon State University; 2017. Available from: http://hdl.handle.net/1957/61477


University of Oxford

10. Whitby, Andrew. Asymptotic analysis of the 1-step recursive Chow test (and variants) in time series model.

Degree: PhD, 2013, University of Oxford

 This thesis concerns the asymptotic behaviour of the sequence of 1-step recursive Chow statistics and various tests derived therefrom. The 1-step statistics are produced as… (more)

Subjects/Keywords: 330.01; Econometrics; autoregressions; specification testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Whitby, A. (2013). Asymptotic analysis of the 1-step recursive Chow test (and variants) in time series model. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:0bb70f36-580d-44f0-bb13-98429f75e31f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604470

Chicago Manual of Style (16th Edition):

Whitby, Andrew. “Asymptotic analysis of the 1-step recursive Chow test (and variants) in time series model.” 2013. Doctoral Dissertation, University of Oxford. Accessed June 25, 2019. http://ora.ox.ac.uk/objects/uuid:0bb70f36-580d-44f0-bb13-98429f75e31f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604470.

MLA Handbook (7th Edition):

Whitby, Andrew. “Asymptotic analysis of the 1-step recursive Chow test (and variants) in time series model.” 2013. Web. 25 Jun 2019.

Vancouver:

Whitby A. Asymptotic analysis of the 1-step recursive Chow test (and variants) in time series model. [Internet] [Doctoral dissertation]. University of Oxford; 2013. [cited 2019 Jun 25]. Available from: http://ora.ox.ac.uk/objects/uuid:0bb70f36-580d-44f0-bb13-98429f75e31f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604470.

Council of Science Editors:

Whitby A. Asymptotic analysis of the 1-step recursive Chow test (and variants) in time series model. [Doctoral Dissertation]. University of Oxford; 2013. Available from: http://ora.ox.ac.uk/objects/uuid:0bb70f36-580d-44f0-bb13-98429f75e31f ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604470


University of Oxford

11. Sohkanen, Jouni S. Properties of tests for mis-specification in non-stationary autoregressions.

Degree: PhD, 2012, University of Oxford

 We are interested in the stochastic properties, individual and joint, of mis- specification testing when the data are generated by an autoregressive process. Good mis-specification(more)

Subjects/Keywords: 519.536; Econometrics; autoregressions; specification testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sohkanen, J. S. (2012). Properties of tests for mis-specification in non-stationary autoregressions. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:bc4abf3a-993c-4c69-9361-8debe538b696 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.567932

Chicago Manual of Style (16th Edition):

Sohkanen, Jouni S. “Properties of tests for mis-specification in non-stationary autoregressions.” 2012. Doctoral Dissertation, University of Oxford. Accessed June 25, 2019. http://ora.ox.ac.uk/objects/uuid:bc4abf3a-993c-4c69-9361-8debe538b696 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.567932.

MLA Handbook (7th Edition):

Sohkanen, Jouni S. “Properties of tests for mis-specification in non-stationary autoregressions.” 2012. Web. 25 Jun 2019.

Vancouver:

Sohkanen JS. Properties of tests for mis-specification in non-stationary autoregressions. [Internet] [Doctoral dissertation]. University of Oxford; 2012. [cited 2019 Jun 25]. Available from: http://ora.ox.ac.uk/objects/uuid:bc4abf3a-993c-4c69-9361-8debe538b696 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.567932.

Council of Science Editors:

Sohkanen JS. Properties of tests for mis-specification in non-stationary autoregressions. [Doctoral Dissertation]. University of Oxford; 2012. Available from: http://ora.ox.ac.uk/objects/uuid:bc4abf3a-993c-4c69-9361-8debe538b696 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.567932


University of Toronto

12. DeVeale, Brian. Lineage Specification of Pluripotent Populations in Murine Development.

Degree: 2013, University of Toronto

“The scientist, by the very nature of his commitment, creates more and more questions, never fewer. Indeed the measure of our intellectual maturity, one philosopher… (more)

Subjects/Keywords: Lineage specification; Pluripotency; Imprinting; 0369

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

DeVeale, B. (2013). Lineage Specification of Pluripotent Populations in Murine Development. (Doctoral Dissertation). University of Toronto. Retrieved from http://hdl.handle.net/1807/65504

Chicago Manual of Style (16th Edition):

DeVeale, Brian. “Lineage Specification of Pluripotent Populations in Murine Development.” 2013. Doctoral Dissertation, University of Toronto. Accessed June 25, 2019. http://hdl.handle.net/1807/65504.

MLA Handbook (7th Edition):

DeVeale, Brian. “Lineage Specification of Pluripotent Populations in Murine Development.” 2013. Web. 25 Jun 2019.

Vancouver:

DeVeale B. Lineage Specification of Pluripotent Populations in Murine Development. [Internet] [Doctoral dissertation]. University of Toronto; 2013. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/1807/65504.

Council of Science Editors:

DeVeale B. Lineage Specification of Pluripotent Populations in Murine Development. [Doctoral Dissertation]. University of Toronto; 2013. Available from: http://hdl.handle.net/1807/65504


University of Texas – Austin

13. Narayanan, Vidya Priyadarshini. Milao : a novel framework for mixed imperative and declarative formulation and solving of structural constraints.

Degree: Electrical and Computer Engineering, 2009, University of Texas – Austin

 Advances in constraint solving and increases in processing power have enabled new approaches for automating specification-based testing. However, writing specifications and scaling techniques that utilize… (more)

Subjects/Keywords: Specification-based testing; Constraint solving

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Narayanan, V. P. (2009). Milao : a novel framework for mixed imperative and declarative formulation and solving of structural constraints. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2009-12-700

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

Narayanan, Vidya Priyadarshini. “Milao : a novel framework for mixed imperative and declarative formulation and solving of structural constraints.” 2009. Thesis, University of Texas – Austin. Accessed June 25, 2019. http://hdl.handle.net/2152/ETD-UT-2009-12-700.

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

MLA Handbook (7th Edition):

Narayanan, Vidya Priyadarshini. “Milao : a novel framework for mixed imperative and declarative formulation and solving of structural constraints.” 2009. Web. 25 Jun 2019.

Vancouver:

Narayanan VP. Milao : a novel framework for mixed imperative and declarative formulation and solving of structural constraints. [Internet] [Thesis]. University of Texas – Austin; 2009. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/2152/ETD-UT-2009-12-700.

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

Council of Science Editors:

Narayanan VP. Milao : a novel framework for mixed imperative and declarative formulation and solving of structural constraints. [Thesis]. University of Texas – Austin; 2009. Available from: http://hdl.handle.net/2152/ETD-UT-2009-12-700

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


University of Texas – Austin

14. Bhaskar, Kilnagar S. Enhancing usability and applicability of Korat.

Degree: Electrical and Computer Engineering, 2015, University of Texas – Austin

 Software testing is an integral part of the software development cycle, and involves various techniques to test software components and applications. Specification-based testing focuses on… (more)

Subjects/Keywords: Korat; Specification-based testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bhaskar, K. S. (2015). Enhancing usability and applicability of Korat. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/32320

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

Bhaskar, Kilnagar S. “Enhancing usability and applicability of Korat.” 2015. Thesis, University of Texas – Austin. Accessed June 25, 2019. http://hdl.handle.net/2152/32320.

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

MLA Handbook (7th Edition):

Bhaskar, Kilnagar S. “Enhancing usability and applicability of Korat.” 2015. Web. 25 Jun 2019.

Vancouver:

Bhaskar KS. Enhancing usability and applicability of Korat. [Internet] [Thesis]. University of Texas – Austin; 2015. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/2152/32320.

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

Council of Science Editors:

Bhaskar KS. Enhancing usability and applicability of Korat. [Thesis]. University of Texas – Austin; 2015. Available from: http://hdl.handle.net/2152/32320

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


McMaster University

15. Assiri, Mohammed. Modeling Elevator System With Coloured Petri Nets.

Degree: MASc, 2015, McMaster University

A fairly general model of the elevator system is presented. Coloured Petri Nets (CPN) and CPN tools are adopted as modeling tools. The model, which… (more)

Subjects/Keywords: Formal Specification; Coloured Petri Nets; Software Specification Benchmarks; Elevator System

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Assiri, M. (2015). Modeling Elevator System With Coloured Petri Nets. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/18040

Chicago Manual of Style (16th Edition):

Assiri, Mohammed. “Modeling Elevator System With Coloured Petri Nets.” 2015. Masters Thesis, McMaster University. Accessed June 25, 2019. http://hdl.handle.net/11375/18040.

MLA Handbook (7th Edition):

Assiri, Mohammed. “Modeling Elevator System With Coloured Petri Nets.” 2015. Web. 25 Jun 2019.

Vancouver:

Assiri M. Modeling Elevator System With Coloured Petri Nets. [Internet] [Masters thesis]. McMaster University; 2015. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/11375/18040.

Council of Science Editors:

Assiri M. Modeling Elevator System With Coloured Petri Nets. [Masters Thesis]. McMaster University; 2015. Available from: http://hdl.handle.net/11375/18040


University of Akron

16. Cwikla, Joseph J. Specifying, Implementing and Verifying Layered Network Protocols.

Degree: MS, Computer Science, 2008, University of Akron

  As computing power increases, software is developed to make use of the increased capacity. A transition is currently in progress as the growth of… (more)

Subjects/Keywords: Computer Science; specification; verification; simulation; network; 802.11

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cwikla, J. J. (2008). Specifying, Implementing and Verifying Layered Network Protocols. (Masters Thesis). University of Akron. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=akron1217270536

Chicago Manual of Style (16th Edition):

Cwikla, Joseph J. “Specifying, Implementing and Verifying Layered Network Protocols.” 2008. Masters Thesis, University of Akron. Accessed June 25, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=akron1217270536.

MLA Handbook (7th Edition):

Cwikla, Joseph J. “Specifying, Implementing and Verifying Layered Network Protocols.” 2008. Web. 25 Jun 2019.

Vancouver:

Cwikla JJ. Specifying, Implementing and Verifying Layered Network Protocols. [Internet] [Masters thesis]. University of Akron; 2008. [cited 2019 Jun 25]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=akron1217270536.

Council of Science Editors:

Cwikla JJ. Specifying, Implementing and Verifying Layered Network Protocols. [Masters Thesis]. University of Akron; 2008. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=akron1217270536


NSYSU

17. Hung, Fu-Mei. Using Job Analysis to Establish Job Description and Job Specification-J Company Is The Case Company.

Degree: Master, Human Resource Management, 2008, NSYSU

 âJob Analysisâ is the basic constitution of human resource management, and it is also a management activity in an organization. The main purpose is to… (more)

Subjects/Keywords: Job Description; Job Analysis; Job Specification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hung, F. (2008). Using Job Analysis to Establish Job Description and Job Specification-J Company Is The Case Company. (Thesis). NSYSU. Retrieved from http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0908108-150640

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

Hung, Fu-Mei. “Using Job Analysis to Establish Job Description and Job Specification-J Company Is The Case Company.” 2008. Thesis, NSYSU. Accessed June 25, 2019. http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0908108-150640.

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

MLA Handbook (7th Edition):

Hung, Fu-Mei. “Using Job Analysis to Establish Job Description and Job Specification-J Company Is The Case Company.” 2008. Web. 25 Jun 2019.

Vancouver:

Hung F. Using Job Analysis to Establish Job Description and Job Specification-J Company Is The Case Company. [Internet] [Thesis]. NSYSU; 2008. [cited 2019 Jun 25]. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0908108-150640.

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

Council of Science Editors:

Hung F. Using Job Analysis to Establish Job Description and Job Specification-J Company Is The Case Company. [Thesis]. NSYSU; 2008. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0908108-150640

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


Michigan Technological University

18. Groenvik, Henriette. A SELF-NORMALIZING APPROACH TO THE SPECIFICATION TEST OF MIXED FREQUENCY MODELS.

Degree: MS, Department of Mathematical Sciences, 2016, Michigan Technological University

  In econometrics and finance, variables are collected at different frequencies. If a higher frequency variable can help predict a lower frequency variable, it would… (more)

Subjects/Keywords: mixed frequency model; specification test; self-normalization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Groenvik, H. (2016). A SELF-NORMALIZING APPROACH TO THE SPECIFICATION TEST OF MIXED FREQUENCY MODELS. (Masters Thesis). Michigan Technological University. Retrieved from http://digitalcommons.mtu.edu/etdr/127

Chicago Manual of Style (16th Edition):

Groenvik, Henriette. “A SELF-NORMALIZING APPROACH TO THE SPECIFICATION TEST OF MIXED FREQUENCY MODELS.” 2016. Masters Thesis, Michigan Technological University. Accessed June 25, 2019. http://digitalcommons.mtu.edu/etdr/127.

MLA Handbook (7th Edition):

Groenvik, Henriette. “A SELF-NORMALIZING APPROACH TO THE SPECIFICATION TEST OF MIXED FREQUENCY MODELS.” 2016. Web. 25 Jun 2019.

Vancouver:

Groenvik H. A SELF-NORMALIZING APPROACH TO THE SPECIFICATION TEST OF MIXED FREQUENCY MODELS. [Internet] [Masters thesis]. Michigan Technological University; 2016. [cited 2019 Jun 25]. Available from: http://digitalcommons.mtu.edu/etdr/127.

Council of Science Editors:

Groenvik H. A SELF-NORMALIZING APPROACH TO THE SPECIFICATION TEST OF MIXED FREQUENCY MODELS. [Masters Thesis]. Michigan Technological University; 2016. Available from: http://digitalcommons.mtu.edu/etdr/127


University of Manchester

19. Yang, Naikuo. Formalism of Privacy Preserving Access Control.

Degree: 2011, University of Manchester

 There is often a misalignment between requirements for keeping data owners’ information private and real data processing practices, and this can lead to violations of… (more)

Subjects/Keywords: Privacy Preserving; Formal Specification; Distributed Collaborative Organisations

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yang, N. (2011). Formalism of Privacy Preserving Access Control. (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:119367

Chicago Manual of Style (16th Edition):

Yang, Naikuo. “Formalism of Privacy Preserving Access Control.” 2011. Doctoral Dissertation, University of Manchester. Accessed June 25, 2019. http://www.manchester.ac.uk/escholar/uk-ac-man-scw:119367.

MLA Handbook (7th Edition):

Yang, Naikuo. “Formalism of Privacy Preserving Access Control.” 2011. Web. 25 Jun 2019.

Vancouver:

Yang N. Formalism of Privacy Preserving Access Control. [Internet] [Doctoral dissertation]. University of Manchester; 2011. [cited 2019 Jun 25]. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:119367.

Council of Science Editors:

Yang N. Formalism of Privacy Preserving Access Control. [Doctoral Dissertation]. University of Manchester; 2011. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:119367

20. Xuexin, Wang. Three essays on specification testing.

Degree: 2018, Universidad Carlos III de Madrid

Subjects/Keywords: Specification testing; Economía

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Xuexin, W. (2018). Three essays on specification testing. (Thesis). Universidad Carlos III de Madrid. Retrieved from http://hdl.handle.net/10016/15106

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

Xuexin, Wang. “Three essays on specification testing.” 2018. Thesis, Universidad Carlos III de Madrid. Accessed June 25, 2019. http://hdl.handle.net/10016/15106.

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

MLA Handbook (7th Edition):

Xuexin, Wang. “Three essays on specification testing.” 2018. Web. 25 Jun 2019.

Vancouver:

Xuexin W. Three essays on specification testing. [Internet] [Thesis]. Universidad Carlos III de Madrid; 2018. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/10016/15106.

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

Council of Science Editors:

Xuexin W. Three essays on specification testing. [Thesis]. Universidad Carlos III de Madrid; 2018. Available from: http://hdl.handle.net/10016/15106

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


Oklahoma State University

21. Balasundaram, Deepa. Formal Specification Of Design Patterns: A Comparison Of Three Existing Approaches And Proposing Two-Level Grammars As A New Approach.

Degree: Computer Science Department, 2010, Oklahoma State University

 Patterns are Object-Oriented reusable units. The principal idea behind patterns is to capture and reuse the abstractions that have been formed by expert programmers and… (more)

Subjects/Keywords: design patterns; formal specification; two-level grammars

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Balasundaram, D. (2010). Formal Specification Of Design Patterns: A Comparison Of Three Existing Approaches And Proposing Two-Level Grammars As A New Approach. (Thesis). Oklahoma State University. Retrieved from http://hdl.handle.net/11244/8120

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

Balasundaram, Deepa. “Formal Specification Of Design Patterns: A Comparison Of Three Existing Approaches And Proposing Two-Level Grammars As A New Approach.” 2010. Thesis, Oklahoma State University. Accessed June 25, 2019. http://hdl.handle.net/11244/8120.

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

MLA Handbook (7th Edition):

Balasundaram, Deepa. “Formal Specification Of Design Patterns: A Comparison Of Three Existing Approaches And Proposing Two-Level Grammars As A New Approach.” 2010. Web. 25 Jun 2019.

Vancouver:

Balasundaram D. Formal Specification Of Design Patterns: A Comparison Of Three Existing Approaches And Proposing Two-Level Grammars As A New Approach. [Internet] [Thesis]. Oklahoma State University; 2010. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/11244/8120.

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

Council of Science Editors:

Balasundaram D. Formal Specification Of Design Patterns: A Comparison Of Three Existing Approaches And Proposing Two-Level Grammars As A New Approach. [Thesis]. Oklahoma State University; 2010. Available from: http://hdl.handle.net/11244/8120

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


University of Minnesota

22. Gacek, Andrew Jude. A framework for specifying, prototyping, and reasoning about computational systems.

Degree: PhD, Computer Science, 2009, University of Minnesota

 A major motivation for formal systems such as programming languages and logics is that they support the ability to perform computations in a safe, secure,… (more)

Subjects/Keywords: Specification Language; Expressive Reasoning Logic; Computer Science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gacek, A. J. (2009). A framework for specifying, prototyping, and reasoning about computational systems. (Doctoral Dissertation). University of Minnesota. Retrieved from http://purl.umn.edu/56664

Chicago Manual of Style (16th Edition):

Gacek, Andrew Jude. “A framework for specifying, prototyping, and reasoning about computational systems.” 2009. Doctoral Dissertation, University of Minnesota. Accessed June 25, 2019. http://purl.umn.edu/56664.

MLA Handbook (7th Edition):

Gacek, Andrew Jude. “A framework for specifying, prototyping, and reasoning about computational systems.” 2009. Web. 25 Jun 2019.

Vancouver:

Gacek AJ. A framework for specifying, prototyping, and reasoning about computational systems. [Internet] [Doctoral dissertation]. University of Minnesota; 2009. [cited 2019 Jun 25]. Available from: http://purl.umn.edu/56664.

Council of Science Editors:

Gacek AJ. A framework for specifying, prototyping, and reasoning about computational systems. [Doctoral Dissertation]. University of Minnesota; 2009. Available from: http://purl.umn.edu/56664


University of Illinois – Urbana-Champaign

23. Kao, Yu-Hsien. Three essays on spatial econometrics with an emphasis on testing.

Degree: PhD, Economics, 2016, University of Illinois – Urbana-Champaign

 Spatial Modeling has been one of the important parts in Applied Econometrics as well as Econometrics Theory in the past thirty years, not only because… (more)

Subjects/Keywords: Spatial Dependence; Specification Tests; Spatial Econometrics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kao, Y. (2016). Three essays on spatial econometrics with an emphasis on testing. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/90727

Chicago Manual of Style (16th Edition):

Kao, Yu-Hsien. “Three essays on spatial econometrics with an emphasis on testing.” 2016. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed June 25, 2019. http://hdl.handle.net/2142/90727.

MLA Handbook (7th Edition):

Kao, Yu-Hsien. “Three essays on spatial econometrics with an emphasis on testing.” 2016. Web. 25 Jun 2019.

Vancouver:

Kao Y. Three essays on spatial econometrics with an emphasis on testing. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2016. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/2142/90727.

Council of Science Editors:

Kao Y. Three essays on spatial econometrics with an emphasis on testing. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2016. Available from: http://hdl.handle.net/2142/90727


University of Illinois – Urbana-Champaign

24. Goldberg, Leah. The role of notch signaling in the regulation of proliferation and cell differentiation during embryonic and postnatal pituitary development.

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

 The pituitary develops in two distinct waves in mice, one occurring during embryogenesis and a second taking place during early postnatal development. During both periods,… (more)

Subjects/Keywords: Pituitary development; Notch signaling; Proliferation; Cell specification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Goldberg, L. (2014). The role of notch signaling in the regulation of proliferation and cell differentiation during embryonic and postnatal pituitary development. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/49851

Chicago Manual of Style (16th Edition):

Goldberg, Leah. “The role of notch signaling in the regulation of proliferation and cell differentiation during embryonic and postnatal pituitary development.” 2014. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed June 25, 2019. http://hdl.handle.net/2142/49851.

MLA Handbook (7th Edition):

Goldberg, Leah. “The role of notch signaling in the regulation of proliferation and cell differentiation during embryonic and postnatal pituitary development.” 2014. Web. 25 Jun 2019.

Vancouver:

Goldberg L. The role of notch signaling in the regulation of proliferation and cell differentiation during embryonic and postnatal pituitary development. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2014. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/2142/49851.

Council of Science Editors:

Goldberg L. The role of notch signaling in the regulation of proliferation and cell differentiation during embryonic and postnatal pituitary development. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/49851


Colorado State University

25. Al Lail, Mustafa. Unified Modeling Language framework for specifying and analyzing temporal properties, A.

Degree: PhD, Computer Science, 2018, Colorado State University

 In the context of Model-Driven Engineering (MDE), designers use the Unified Modeling Language (UML) to create models that drive the entire development process. Once UML… (more)

Subjects/Keywords: Properties; Temporal; Verification; Specification; Model Checking; UML

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Al Lail, M. (2018). Unified Modeling Language framework for specifying and analyzing temporal properties, A. (Doctoral Dissertation). Colorado State University. Retrieved from http://hdl.handle.net/10217/191492

Chicago Manual of Style (16th Edition):

Al Lail, Mustafa. “Unified Modeling Language framework for specifying and analyzing temporal properties, A.” 2018. Doctoral Dissertation, Colorado State University. Accessed June 25, 2019. http://hdl.handle.net/10217/191492.

MLA Handbook (7th Edition):

Al Lail, Mustafa. “Unified Modeling Language framework for specifying and analyzing temporal properties, A.” 2018. Web. 25 Jun 2019.

Vancouver:

Al Lail M. Unified Modeling Language framework for specifying and analyzing temporal properties, A. [Internet] [Doctoral dissertation]. Colorado State University; 2018. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/10217/191492.

Council of Science Editors:

Al Lail M. Unified Modeling Language framework for specifying and analyzing temporal properties, A. [Doctoral Dissertation]. Colorado State University; 2018. Available from: http://hdl.handle.net/10217/191492


Vilnius University

26. Morkevičius, Albertas. Reikalavimų specifikavimo šablonais modelis ir jo programinis prototipas.

Degree: Master, 2014, Vilnius University

Darbe pristatomas reikalavimų specifikavimo šablonais modelis. Aptariama aukštos kokybės reikalavimų proceso nauda kuriamoms sistemoms. Pateikiami išanalizuotų reikalavimų specifikacijos dokumento standartų ir reikalavimų inžinerijos programinių įrankių… (more)

Subjects/Keywords: Reikalavimų specifikavimas; Reikalavimų specifikavimo šablonai; Requirements specification templates; Specifikavimas šablonais; Template based requirement specification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Morkevičius, Albertas. (2014). Reikalavimų specifikavimo šablonais modelis ir jo programinis prototipas. (Masters Thesis). Vilnius University. Retrieved from http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2008~D_20140623_182827-23893 ;

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Chicago Manual of Style (16th Edition):

Morkevičius, Albertas. “Reikalavimų specifikavimo šablonais modelis ir jo programinis prototipas.” 2014. Masters Thesis, Vilnius University. Accessed June 25, 2019. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2008~D_20140623_182827-23893 ;.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

MLA Handbook (7th Edition):

Morkevičius, Albertas. “Reikalavimų specifikavimo šablonais modelis ir jo programinis prototipas.” 2014. Web. 25 Jun 2019.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

Morkevičius, Albertas. Reikalavimų specifikavimo šablonais modelis ir jo programinis prototipas. [Internet] [Masters thesis]. Vilnius University; 2014. [cited 2019 Jun 25]. Available from: http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2008~D_20140623_182827-23893 ;.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Council of Science Editors:

Morkevičius, Albertas. Reikalavimų specifikavimo šablonais modelis ir jo programinis prototipas. [Masters Thesis]. Vilnius University; 2014. Available from: http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2008~D_20140623_182827-23893 ;

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

27. Júlio Resende Ribeiro. J-sdl: um framework para a simulação de especificações em sdl e geração automática de casos de teste.

Degree: 2008, Instituto Nacional de Pesquisas Espaciais

O objetivo, dos testes de software, é detectar faltas latentes antes que produtos de software sejam colocados em funcionamento. Existem métodos para a geração automática… (more)

Subjects/Keywords: Specification and description language (SDL); simulação; especificação; verificação e validação; casos de teste; specification and description language (SDL); simulation; specification; verification and validation; test cases

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ribeiro, J. R. (2008). J-sdl: um framework para a simulação de especificações em sdl e geração automática de casos de teste. (Thesis). Instituto Nacional de Pesquisas Espaciais. Retrieved from http://urlib.net/sid.inpe.br/[email protected]/2008/12.02.12.01

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

Ribeiro, Júlio Resende. “J-sdl: um framework para a simulação de especificações em sdl e geração automática de casos de teste.” 2008. Thesis, Instituto Nacional de Pesquisas Espaciais. Accessed June 25, 2019. http://urlib.net/sid.inpe.br/[email protected]/2008/12.02.12.01.

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

MLA Handbook (7th Edition):

Ribeiro, Júlio Resende. “J-sdl: um framework para a simulação de especificações em sdl e geração automática de casos de teste.” 2008. Web. 25 Jun 2019.

Vancouver:

Ribeiro JR. J-sdl: um framework para a simulação de especificações em sdl e geração automática de casos de teste. [Internet] [Thesis]. Instituto Nacional de Pesquisas Espaciais; 2008. [cited 2019 Jun 25]. Available from: http://urlib.net/sid.inpe.br/[email protected]/2008/12.02.12.01.

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

Council of Science Editors:

Ribeiro JR. J-sdl: um framework para a simulação de especificações em sdl e geração automática de casos de teste. [Thesis]. Instituto Nacional de Pesquisas Espaciais; 2008. Available from: http://urlib.net/sid.inpe.br/[email protected]/2008/12.02.12.01

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


University of South Africa

28. Dongmo, Cyrille. Formalising non-functional requirements embedded in user requirements notation (URN) models.

Degree: 2016, University of South Africa

 The growing need for computer software in different sectors of activity, (health, agriculture, industries, education, aeronautic, science and telecommunication) together with the increasing reliance of… (more)

Subjects/Keywords: Semi-formal specification techniques; URN; GRL; UCMs; Goal model; NFR; CNF-actions; Formal methods; Z; Object-Z; Specification validation; Enterprise organogram; Specification animation; Z/Eves; Four-way framework

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dongmo, C. (2016). Formalising non-functional requirements embedded in user requirements notation (URN) models. (Doctoral Dissertation). University of South Africa. Retrieved from http://hdl.handle.net/10500/23395

Chicago Manual of Style (16th Edition):

Dongmo, Cyrille. “Formalising non-functional requirements embedded in user requirements notation (URN) models.” 2016. Doctoral Dissertation, University of South Africa. Accessed June 25, 2019. http://hdl.handle.net/10500/23395.

MLA Handbook (7th Edition):

Dongmo, Cyrille. “Formalising non-functional requirements embedded in user requirements notation (URN) models.” 2016. Web. 25 Jun 2019.

Vancouver:

Dongmo C. Formalising non-functional requirements embedded in user requirements notation (URN) models. [Internet] [Doctoral dissertation]. University of South Africa; 2016. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/10500/23395.

Council of Science Editors:

Dongmo C. Formalising non-functional requirements embedded in user requirements notation (URN) models. [Doctoral Dissertation]. University of South Africa; 2016. Available from: http://hdl.handle.net/10500/23395


Indian Institute of Science

29. Kale, Kishor B. Specification and Verification of Tolerances for Parts with Free-Form Surfaces.

Degree: 2013, Indian Institute of Science

 The need for increased product variety and improved aesthetics require the manufacturing enterprise to reduce time to market and to increase use of free-form surfaces… (more)

Subjects/Keywords: Free-Form Surfaces; Tolerance Specification; Medial Axis Transform (MAT); Tolerance Verification; Freeform Surface Modelling; Specification of Tolerances; Mechanical Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kale, K. B. (2013). Specification and Verification of Tolerances for Parts with Free-Form Surfaces. (Thesis). Indian Institute of Science. Retrieved from http://hdl.handle.net/2005/2815

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

Kale, Kishor B. “Specification and Verification of Tolerances for Parts with Free-Form Surfaces.” 2013. Thesis, Indian Institute of Science. Accessed June 25, 2019. http://hdl.handle.net/2005/2815.

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

MLA Handbook (7th Edition):

Kale, Kishor B. “Specification and Verification of Tolerances for Parts with Free-Form Surfaces.” 2013. Web. 25 Jun 2019.

Vancouver:

Kale KB. Specification and Verification of Tolerances for Parts with Free-Form Surfaces. [Internet] [Thesis]. Indian Institute of Science; 2013. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/2005/2815.

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

Council of Science Editors:

Kale KB. Specification and Verification of Tolerances for Parts with Free-Form Surfaces. [Thesis]. Indian Institute of Science; 2013. Available from: http://hdl.handle.net/2005/2815

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


Indian Institute of Science

30. Kale, Kishor B. Specification and Verification of Tolerances for Parts with Free-Form Surfaces.

Degree: 2013, Indian Institute of Science

 The need for increased product variety and improved aesthetics require the manufacturing enterprise to reduce time to market and to increase use of free-form surfaces… (more)

Subjects/Keywords: Free-Form Surfaces; Tolerance Specification; Medial Axis Transform (MAT); Tolerance Verification; Freeform Surface Modelling; Specification of Tolerances; Mechanical Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kale, K. B. (2013). Specification and Verification of Tolerances for Parts with Free-Form Surfaces. (Thesis). Indian Institute of Science. Retrieved from http://etd.iisc.ernet.in/handle/2005/2815 ; http://etd.ncsi.iisc.ernet.in/abstracts/3588/G25566-Abs.pdf

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

Kale, Kishor B. “Specification and Verification of Tolerances for Parts with Free-Form Surfaces.” 2013. Thesis, Indian Institute of Science. Accessed June 25, 2019. http://etd.iisc.ernet.in/handle/2005/2815 ; http://etd.ncsi.iisc.ernet.in/abstracts/3588/G25566-Abs.pdf.

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

MLA Handbook (7th Edition):

Kale, Kishor B. “Specification and Verification of Tolerances for Parts with Free-Form Surfaces.” 2013. Web. 25 Jun 2019.

Vancouver:

Kale KB. Specification and Verification of Tolerances for Parts with Free-Form Surfaces. [Internet] [Thesis]. Indian Institute of Science; 2013. [cited 2019 Jun 25]. Available from: http://etd.iisc.ernet.in/handle/2005/2815 ; http://etd.ncsi.iisc.ernet.in/abstracts/3588/G25566-Abs.pdf.

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

Council of Science Editors:

Kale KB. Specification and Verification of Tolerances for Parts with Free-Form Surfaces. [Thesis]. Indian Institute of Science; 2013. Available from: http://etd.iisc.ernet.in/handle/2005/2815 ; http://etd.ncsi.iisc.ernet.in/abstracts/3588/G25566-Abs.pdf

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

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

.