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

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of South Africa

1. 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 September 21, 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. 21 Sep 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 Sep 21]. 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

2. Li, Mo. A Systematic Inspection Approach to Verifying and Validating Formal Specifications based on Specification Animation and Traceability : 仕様アニメーションとトレーサビリティーに基づく形式仕様の検証と実証の系統的な検査アプローチ.

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

Subjects/Keywords: formal specification; animation; traceability; verification; validation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Li, M. (2015). A Systematic Inspection Approach to Verifying and Validating Formal Specifications based on Specification Animation and Traceability : 仕様アニメーションとトレーサビリティーに基づく形式仕様の検証と実証の系統的な検査アプローチ. (Thesis). Hosei University / 法政大学. Retrieved from http://hdl.handle.net/10114/12172

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, Mo. “A Systematic Inspection Approach to Verifying and Validating Formal Specifications based on Specification Animation and Traceability : 仕様アニメーションとトレーサビリティーに基づく形式仕様の検証と実証の系統的な検査アプローチ.” 2015. Thesis, Hosei University / 法政大学. Accessed September 21, 2019. http://hdl.handle.net/10114/12172.

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

MLA Handbook (7th Edition):

Li, Mo. “A Systematic Inspection Approach to Verifying and Validating Formal Specifications based on Specification Animation and Traceability : 仕様アニメーションとトレーサビリティーに基づく形式仕様の検証と実証の系統的な検査アプローチ.” 2015. Web. 21 Sep 2019.

Vancouver:

Li M. A Systematic Inspection Approach to Verifying and Validating Formal Specifications based on Specification Animation and Traceability : 仕様アニメーションとトレーサビリティーに基づく形式仕様の検証と実証の系統的な検査アプローチ. [Internet] [Thesis]. Hosei University / 法政大学; 2015. [cited 2019 Sep 21]. Available from: http://hdl.handle.net/10114/12172.

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

Council of Science Editors:

Li M. A Systematic Inspection Approach to Verifying and Validating Formal Specifications based on Specification Animation and Traceability : 仕様アニメーションとトレーサビリティーに基づく形式仕様の検証と実証の系統的な検査アプローチ. [Thesis]. Hosei University / 法政大学; 2015. Available from: http://hdl.handle.net/10114/12172

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

3. SUN JING. Tools and verification techniques for integrated formal methods.

Degree: 2004, National University of Singapore

Subjects/Keywords: Integrated Formal Methods; TCOZ; UML; XML/XSL; specification animation; formal reasoning.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

JING, S. (2004). Tools and verification techniques for integrated formal methods. (Thesis). National University of Singapore. Retrieved from http://scholarbank.nus.edu.sg/handle/10635/13631

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

JING, SUN. “Tools and verification techniques for integrated formal methods.” 2004. Thesis, National University of Singapore. Accessed September 21, 2019. http://scholarbank.nus.edu.sg/handle/10635/13631.

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

MLA Handbook (7th Edition):

JING, SUN. “Tools and verification techniques for integrated formal methods.” 2004. Web. 21 Sep 2019.

Vancouver:

JING S. Tools and verification techniques for integrated formal methods. [Internet] [Thesis]. National University of Singapore; 2004. [cited 2019 Sep 21]. Available from: http://scholarbank.nus.edu.sg/handle/10635/13631.

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

Council of Science Editors:

JING S. Tools and verification techniques for integrated formal methods. [Thesis]. National University of Singapore; 2004. Available from: http://scholarbank.nus.edu.sg/handle/10635/13631

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

4. HUANG XIAONING. XML-based formal specification comprehension.

Degree: 2004, National University of Singapore

Subjects/Keywords: specification; formal language; Z/Object-Z/TCOZ; UML; statechart; animation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

XIAONING, H. (2004). XML-based formal specification comprehension. (Thesis). National University of Singapore. Retrieved from http://scholarbank.nus.edu.sg/handle/10635/13819

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

XIAONING, HUANG. “XML-based formal specification comprehension.” 2004. Thesis, National University of Singapore. Accessed September 21, 2019. http://scholarbank.nus.edu.sg/handle/10635/13819.

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

MLA Handbook (7th Edition):

XIAONING, HUANG. “XML-based formal specification comprehension.” 2004. Web. 21 Sep 2019.

Vancouver:

XIAONING H. XML-based formal specification comprehension. [Internet] [Thesis]. National University of Singapore; 2004. [cited 2019 Sep 21]. Available from: http://scholarbank.nus.edu.sg/handle/10635/13819.

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

Council of Science Editors:

XIAONING H. XML-based formal specification comprehension. [Thesis]. National University of Singapore; 2004. Available from: http://scholarbank.nus.edu.sg/handle/10635/13819

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

.