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 +publisher:"McMaster University" +contributor:("Parnas, David L."). Showing records 1 – 4 of 4 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


McMaster University

1. Bharadwaj, Ramesh. Tools to Support a Formal Verification Method for Systems with Concurrency and Nondeterminism.

Degree: PhD, 1996, McMaster University

  With the availability of inexpensive computer hardware, software intensive systems are becoming sophisticated and pervasive, creating a need for software design methods that deliver… (more)

Subjects/Keywords: Electrical and Electronics; Electrical and Electronics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bharadwaj, R. (1996). Tools to Support a Formal Verification Method for Systems with Concurrency and Nondeterminism. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/6965

Chicago Manual of Style (16th Edition):

Bharadwaj, Ramesh. “Tools to Support a Formal Verification Method for Systems with Concurrency and Nondeterminism.” 1996. Doctoral Dissertation, McMaster University. Accessed August 15, 2020. http://hdl.handle.net/11375/6965.

MLA Handbook (7th Edition):

Bharadwaj, Ramesh. “Tools to Support a Formal Verification Method for Systems with Concurrency and Nondeterminism.” 1996. Web. 15 Aug 2020.

Vancouver:

Bharadwaj R. Tools to Support a Formal Verification Method for Systems with Concurrency and Nondeterminism. [Internet] [Doctoral dissertation]. McMaster University; 1996. [cited 2020 Aug 15]. Available from: http://hdl.handle.net/11375/6965.

Council of Science Editors:

Bharadwaj R. Tools to Support a Formal Verification Method for Systems with Concurrency and Nondeterminism. [Doctoral Dissertation]. McMaster University; 1996. Available from: http://hdl.handle.net/11375/6965


McMaster University

2. Peters, Dennis K. Deriving real-time monitors from system requirements documentation.

Degree: PhD, 2000, McMaster University

When designing safety- or mission-critical real-time systems, a specification of the required behaviour of the system should be produced and reviewed by domain experts.… (more)

Subjects/Keywords: Electrical and Computer Engineering; Electrical and Computer Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Peters, D. K. (2000). Deriving real-time monitors from system requirements documentation. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/6346

Chicago Manual of Style (16th Edition):

Peters, Dennis K. “Deriving real-time monitors from system requirements documentation.” 2000. Doctoral Dissertation, McMaster University. Accessed August 15, 2020. http://hdl.handle.net/11375/6346.

MLA Handbook (7th Edition):

Peters, Dennis K. “Deriving real-time monitors from system requirements documentation.” 2000. Web. 15 Aug 2020.

Vancouver:

Peters DK. Deriving real-time monitors from system requirements documentation. [Internet] [Doctoral dissertation]. McMaster University; 2000. [cited 2020 Aug 15]. Available from: http://hdl.handle.net/11375/6346.

Council of Science Editors:

Peters DK. Deriving real-time monitors from system requirements documentation. [Doctoral Dissertation]. McMaster University; 2000. Available from: http://hdl.handle.net/11375/6346


McMaster University

3. Shi, Hongying. Inspection of OO Software with Incomplete Documentation Using A Document Driven Approach.

Degree: MSc, 2004, McMaster University

Critical software requires formal and rigorous inspection to achieve the required quality, and good documentation provides a solid basis for inspection. The Document Driven… (more)

Subjects/Keywords: Computing and Software; Computer Engineering; Computer Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Shi, H. (2004). Inspection of OO Software with Incomplete Documentation Using A Document Driven Approach. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/13095

Chicago Manual of Style (16th Edition):

Shi, Hongying. “Inspection of OO Software with Incomplete Documentation Using A Document Driven Approach.” 2004. Masters Thesis, McMaster University. Accessed August 15, 2020. http://hdl.handle.net/11375/13095.

MLA Handbook (7th Edition):

Shi, Hongying. “Inspection of OO Software with Incomplete Documentation Using A Document Driven Approach.” 2004. Web. 15 Aug 2020.

Vancouver:

Shi H. Inspection of OO Software with Incomplete Documentation Using A Document Driven Approach. [Internet] [Masters thesis]. McMaster University; 2004. [cited 2020 Aug 15]. Available from: http://hdl.handle.net/11375/13095.

Council of Science Editors:

Shi H. Inspection of OO Software with Incomplete Documentation Using A Document Driven Approach. [Masters Thesis]. McMaster University; 2004. Available from: http://hdl.handle.net/11375/13095


McMaster University

4. Duan, Hong. A Comparative Study of Pre/postcondition and Relational Approaches to Program Development.

Degree: MS, 2004, McMaster University

With so many software-related failures happening these days, there is an increasing demand for software quality. Rigorous development approaches, which apply mathematical techniques to… (more)

Subjects/Keywords: Computing and Software; Computer Engineering; Other Engineering; Computer Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Duan, H. (2004). A Comparative Study of Pre/postcondition and Relational Approaches to Program Development. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/13110

Chicago Manual of Style (16th Edition):

Duan, Hong. “A Comparative Study of Pre/postcondition and Relational Approaches to Program Development.” 2004. Masters Thesis, McMaster University. Accessed August 15, 2020. http://hdl.handle.net/11375/13110.

MLA Handbook (7th Edition):

Duan, Hong. “A Comparative Study of Pre/postcondition and Relational Approaches to Program Development.” 2004. Web. 15 Aug 2020.

Vancouver:

Duan H. A Comparative Study of Pre/postcondition and Relational Approaches to Program Development. [Internet] [Masters thesis]. McMaster University; 2004. [cited 2020 Aug 15]. Available from: http://hdl.handle.net/11375/13110.

Council of Science Editors:

Duan H. A Comparative Study of Pre/postcondition and Relational Approaches to Program Development. [Masters Thesis]. McMaster University; 2004. Available from: http://hdl.handle.net/11375/13110

.